Bentuk Tautologi Kontradiksi dan Kontingensi
Bentuk tautologi kontradiksi dan kontingensi dari suatu ekspresi logika matematika secara berturut-turut memiliki karakteristik nilai kebenaran yang selalu benar, selalu salah, dan bisa benar/salah. Cara mengetahui suatu ekspresi logika memiliki bentuk tautologi kontradiksi dan kontingensi dapat ditentukan menggunakan tabel kebenaran dalam logika matematika. Tabel kebenaran adalah tabel yang memuat semua kemungkinan nilai kebenaran dari proposisi […]