Latihan
Ubahlah biimplikasi atau implikasi kalimat-kalimat simbolik berikut ini dalam bentuk ekivalennya.
- (p ⇒ q) ∧ (q ⇒ p)
- (p ⇒ ¬q) ∧ (¬q ⇒ p)
- ¬p ⇔ q
Ubahlah kalimat biimplikasi menjadi implikasi, dan sebaliknya.
- Kalau Bomi meludah, ia akan dibayar, sedangkan kalau Bomi tidak meludah, ia tidak akan dibayar.
- Jika dan hanya jika jempol Bomi gatal, ia akan menggaruknya.
- Jika uangnya banyak, berarti ia orang kaya, dan jika ia orang kaya, maka uangnya banyak.
- Wajahnya tidak berseri jika dan hanya jika ia melihatnya.
Berikutnya: Logika Simbolik