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~pp ∨ ~pBSBBSBSBBSBB

pq~p~qp → q(p → q) ∧ ~q[(p → q) ∧ ~q] → ~pBBSSBSBBSSBSSBSBBSBSBSSBBBBB
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 
 Kontradiksi
 Kontingensi

Kategori:Logika matematika