Tautologi dan Kontradiksi

Kalimat majemuk dapat selalu bernilai benar untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya atau selalu bernilai salah untuk berbagai kemungkinan nilai kebenaran dari proposisi-proposisinya. Kondisi semacam ini dinyatakan dalam definisi berikut.

Definition

Sebuah kalimat majemuk disebut Tautologi jika ia benar untuk semua kasus dan disebut Kontradiksi jika ia salah untuk semua kasus.

Terkait

• Equivalen
• Inferensi
• Proposisi
• Logika
• Logika Proposisi
• Varian Proposisi
• Disjungsi Inklusif dan Eksklusif
• Kuantor
• Operasi Himpunan
• Bilangan Biner
• Bilangan Oktal
• Diagram Venn
• Operasi Himpunan
• Gerbang Logika Dasar