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