Tautologi, Kontradiksi dan Kontingensi

1.       Tautologi

                Adalah proposisi komposit yang selalu bernilai benar untuk setiap nilai kebenaran dari proposisi.

Contoh: (pɅq)→p selalu bernilai benar.

2.       Kontradiksi

                Adalah proposisi komposit yang selalu bernilai salah untuk setiap nilai kebenaran dari proposisi elementernya.

Contoh: pɅ(pVq) selalu bernilai salah.

3.       Kontingensi

                Adalah proposisi komposit yang bukan tautologi dan kontradiksi.

Contoh: p→(pɅq) dan (pɅq)→r masing-masing bukan tautologi dan kontradiksi.