Buka menu utama

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 pq (pq) ∧ ~q [(pq) ∧ ~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.

Lihat jugaSunting