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