Tautologi (logika)

Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.

Contoh tautologi adalah:

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, pernyataan di atas tetap bernilai benar semua, sehingga digolongkan sebagai tautologi.

Lihat juga

• Kontradiksi
• Kontingensi