Pernyataan Majemuk yang Ekuivalen

Agar paham mengenai pernyataan majemuk yang ekuivalen, sebelumnya mari kita pahami dulu apa itu tautologi, kontradiksi, dan kontingensi. Tautologi, kontradiksi, dan kontingensi erat hubungannya dengan pernyataan majemuk dan nilai kebenarannya. Sebuah pernyataan majemuk disebut tautologi jika pernyataan majemuk tersebut mempunyai nilai kebenaran yang semuanya benar. Sedangkan kontradiksi adalah sebutan bagi pernyataan majemuk yang nilai kebenarannya semuanya salah. Jika pernyataan majemuk tersebut mempunyai nilai kebenaran campuran benar dan salah, maka pernyataan majemuk tersebut disebut sebagai kontingensi. Contoh dari tautologi adalah pernyataan majemuk p v ~p. Contoh dari kontradiksi adalah pernyataan majemuk p ^ ~p. Sedangkan contoh kontingensi adalah pernyataan majemuk p v q, p ^ q, p → q, p ↔ q.

Setelah dijelaskan mengenai tautologi, kontradiksi, dan kontingensi, mari kita lanjutkan ke pembahasan mengenai pernyataan majemuk yang ekuivalen. Agar lebih paham apa itu pernyataan majemuk yang ekuivalen, terlebih dahulu coba perhatikan tabel nilai kebenaran dari p v q dan tabel nilai kebenaran dari q v p berikut ini.

p q p v q q v p
B B B B
B S B B
S B B B
S S S S

Bagaimana nilai kebenaran dari kedua pernyataan majemuk tersebut? Sama, kan? Nah kalo kedua pernyataan tersebut dihubungkan dengan operasi biimplikasi, (p v q) ↔ (q v p) apa yang akan terjadi? Karena nilai kebenaran dari p v q sama dengan q v p, Nilai kebenaran (p v q) ↔ (q v p) pastilah semuanya benar (tautologi) karena kedua pernyataan yang dihubungkan dengan operasi biimplikasi masing-masing memiliki nilai kebenaran yang sama. Dari sinilah konsep ekuivalensi dimulai.

Jika pernyataan majemuk (p v q) ↔ (q v p) merupakan tautologi maka kita bisa menyebut p v q ekuivalen dengan q v p. Ekuivalen ditulis menggunakan notasi "≡". Dalam bentuk notasi, kalimat "p v q ekuivalen dengan q v p" dapat ditulis sebagai (p v q) ≡ (q v p). Jadi, syarat dua pernyataan majemuk dikatakan ekuivalen adalah jika kedua pernyataan majemuk tersebut memiliki nilai kebenaran yang sama. Berikut ini adalah contoh beberapa pernyataan majemuk yang ekuivalen.

  • p v q ≡ q v p (Komutatif)
  • p ^ q ≡ q ^ p (Komutatif)
  • p v (q v r) ≡ (p v q) v r (Asosiatif)
  • p ^ (q ^ r) ≡ (p ^ q) ^ r (Asosiatif)
  • p v (q ^ r) ≡ (p v q) ^ (p v r) (Distributif)
  • p ^ (q v r) ≡ (p ^ q) v (p ^ r) (Distributif)
  • ~(p v q) ≡ ~p ^ ~q (De Morgan)
  • ~(p ^ q) ≡ ~p v ~q (De Morgan)
  • p → q ≡ ~p v q (Implikasi)
  • p ↔ q ≡ (p → q) ^ (q → p) (Biimplikasi)
  • ~(p → q) ≡ p ^ ~q (Negasi Implikasi)
  • ~(p ↔ q) ≡ (p ^ ~q) v (q ^ ~p) (Negasi biimplikasi)

Pembuktiannya bisa diperoleh dengan membuat tabel nilai kebenaran dan perlihatkan bahwa kedua pernyataan majemuk tersebut memiliki nilai kebenaran yang sama. Silakan sebagai latihan. :)

Demi menghargai hak kekayaan intelektual, mohon untuk tidak menyalin sebagian atau seluruh halaman web ini dengan cara apa pun untuk ditampilkan di halaman web lain atau diklaim sebagai karya milik Anda. Tindakan tersebut hanya akan merugikan diri Anda sendiri. Jika membutuhkan halaman ini dengan tujuan untuk digunakan sendiri, silakan unduh atau cetak secara langsung.

KOMENTAR

Tulisan Terkait

DMCA.com Protected by Copyscape Web Copyright Checker