Page 110 - Buku Pengantar Dasar Matematika (Penulis Sari Herlina M.Pd dan Ahmad Zamsuri, M.Kom)

Rangkuman

Dari uraian negasi kuantor universal dan kuantor
eksistensial kita mengetahui bahwa hal yang logis tentang
negasi berlaku :

[(∀x) p(x) ] ≡ (∃x) ~ p(x)
[(∃x) p(x) ] ≡ (∀x) ~ p(x)

Sehingga berlaku juga pernyataan yang memuat sebuah
kuantor, yaitu :

~[(∀x) p(x) ] ≡ (∃x) [~ p(x)]
~[(∃x) p(x) ] ≡ (∀x) [~ p(x)]

Buku Ajar Pengantar Dasar Matematika 106