Latihan

1. Ubahlah biimplikasi atau implikasi kalimat-kalimat simbolik berikut ini dalam bentuk ekivalennya.

   1. (p ⇒ q) ∧ (q ⇒ p)
   2. (p ⇒ ¬q) ∧ (¬q ⇒ p)
   3. ¬p ⇔ q

2. Ubahlah kalimat biimplikasi menjadi implikasi, dan sebaliknya.

   1. Kalau Bomi meludah, ia akan dibayar, sedangkan kalau Bomi tidak meludah, ia tidak akan dibayar.
   2. Jika dan hanya jika jempol Bomi gatal, ia akan menggaruknya.
   3. Jika uangnya banyak, berarti ia orang kaya, dan jika ia orang kaya, maka uangnya banyak.
   4. Wajahnya tidak berseri jika dan hanya jika ia melihatnya.

Berikutnya: Tautologi, kontradiksi, dan kontingensi