View source for Tautologi dan Kontradiksi

[[Kalimat Majemuk|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]]


[[Category:Matematika Diskrit]]