Tautologi (logika)

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Langsung ke: navigasi, cari

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 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]