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 | 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".
This article uses material from the Wikipedia Bahasa Indonesia article Tautologi (logika), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Konten tersedia di bawah CC BY-SA 4.0 kecuali dinyatakan lain. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Bahasa Indonesia (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.