Tautologi adalah suatu bentuk kalimat yang selalu benar (T), tidak peduli bagaimanapun nilai
kebenaran masing-masing kalimat penyusunnya.. Sebaliknya Kontradiksi adalah suatu bentuk
kalimat yang selalu salah (F), tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat
penyusunnya.
Contoh 1.10
Tunjukkanlah bahwa kalimat di bawah ini adalah tautology dengan menggunakan tabel
kebenaran .
a. (p˄q)→q
b. q→(pvq)
Penyelasaian:
Tabel 1.7a.
p q p˄q (p˄q)→q
T T T T
T F F T
F T F T
F F F T
Oleh karena semua baris pada kolom (p˄q)→q benilai T, maka (p˄q)→q merupakan tautologi.
Tabel 1.7b.
p q pvq q→(pvq)
T T T T
T F T T
F T T T
F F F T
LATIHAN SOAL