Tautologi (logika)

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, semua pernyataan di atas tetap bernilai benar, sehingga di-golongkan sebagai "Tautologi".

Lihat juga

sunting