Perangkai Kata (Tanda Hubung) untuk Proporsi


Misalkan kita mempunyai dua proposisi, sebut p dan q. Dari dua proposisi ini kita dapat membuat proposisi baru (proposisi majemuk) dengan menghubungkan kedua proposisi tersebut menggunakan kata-kata perangkai (tanda hubung) kalimat. Terdapat lima macam perangkai dasar untuk membentuk proposisi majemuk, yaitu :

  1. Ingkaran atau Negasi, dilambangkan dengan \sim
  2. Konjugasi (dan), dilambangkan dengan \wedge
  3. Disjungsi (atau), dilambangkan dengan \vee
  4. Implikasi (jika … maka …), dilambangkan dengan \Rightarrow
  5. Bi-implikasi (…jika dan hanya jika …), dilambangkan dengan \Leftrightarrow

Sumber :

Bahri, S., 2006, Logika dan Himpunan, Universitas Mataram, Mataram.