Tautologi (logika)

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Jump to navigation Jump to search

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 pq (pq) ∧ ~q [(pq) ∧ ~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[sunting | sunting sumber]