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 .
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".