Page 27 - 8 e modulo logika-dikonversi

E. Ingkaran dari Pernyataan Majemuk
Negasi dalam logika matematika memiliki makna kebalikan dari

pernyataan awal. Jika nilai kebenaran sebuah pernyataan awal benar
maka negasinya salah. Sebaliknya, jika nilai kebenaran sebuah

pernyataan salah, maka negasinya benar. Cukup mudah untuk

menentukan negasi dari pernyataan tunggal.

Namun, bagaimana dengan negasi
pernyataan majemuk? Apakah
hanya cukup menambahkan kata

“tidak”? Tentu saja tidak
sesederhana itu.

Nah, untuk memahami

negasi pernyataan majemuk.
Mari kita perhatikan tabel

dibawah ini.

Tabel Negasi Dari Pernyataan Majemuk

~ (p ˄ q) ≡ ~ p ˅ ~ q

~ (p ˅ q) ≡ ~ p ˄ ~ q
~ (p → q) ≡ p ˄ ~ q

~ (p ↔ q) ≡ (p ˄ ~ q) ˅ (q ˄ ~ p)

23
Logika matematika