1. Tautologi
Toutologi adalah sebuah pernyataan
majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari
pernyataan-pernyataan komponennya
Contoh:
2. Kontradiksi
Kontradiksi adalah sebuah peryataan
yang selalu salah untuk semua kemungkinan nilai kebenaran dari pernyataan
pernyataan komponennya.
Contoh.
3. Ekuivalensi
Pernyataan majemuk P (p,q,r,……)
dikatakan ekivalen dengan Q(p,q,r,….)
jika kedua pernyataan itu memiliki nilai kebenaran yang sama untuk semua
kemungkinan dari nilai-nilai kebenaran komponen komponennya ditulis dengan
lambing P(p,q,r,…)
Q(p,q,r,) (dibaca “P(p,q,r,….) ekuivalen
Q(p,q,r,…)”)
Contoh:
