Tautologi (logika)
Loncat ke navigasi
Loncat ke pencarian
Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Jadi, tautologi berlawanan dengan kontradiksi. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.
Contoh tautologi adalah:
p | ~p | p ∨ ~p |
B | S | B |
B | S | B |
S | B | B |
S | B | B |
p | q | ~p | ~q | p → q | (p → q) ∧ ~q | [(p → q) ∧ ~q] → ~p |
B | B | S | S | B | S | B |
B | S | S | B | S | S | B |
S | B | B | S | B | S | B |
S | S | B | B | B | B | B |
Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis p dan q, pernyataan di atas tetap bernilai benar semua, sehingga digolongkan sebagai tautologi.