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.
Contoh :
Selidiki pernyataan di bawah ini apakah suatu tautologi, kontradiksi atau kontingensi!
( ~p ∧ q ) v ( q → p )
( ~p ∧ q ) v ( q → p )
p q ~ p ~ p ∧ q q → p ( ~p ∧ q ) v ( q → p )
------------------------------------------------------------------
B B S S B B
B S S S B B
S B B B S B
S S B S B B
Karena pada tabel kebenaran di atas benar semua, maka pernyataan di atas suatu tautologi.
0 komentar:
Posting Komentar