Hubungan bi-implikasi dengan disjungsi eksklusif

p\leftrightarrow q \equiv \neg \left(p \veebar q\right)
pq p \leftrightarrow q p \veebar q
SSBS
SBSB
BSSB
BBBS

Latihan

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

    1. (pq) ∧ (qp)
    2. (p ⇒ ¬q) ∧ (¬qp)
    3. ¬pq
  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

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika biimplikasi implikasi