Logika Informatika Part 5

Tautologi, Kontradiksi, dan Kontingensi

Tautologi

Merupakan proposisi majemuk yang selalu bernilai benar, tidak tergantung pada nilai kebenaran masing-masing proposisi pembentuknya.

Contoh :

–Ekspresi logika p v ~p

–Ekspresi logika ~(p ^ q) v q

–Ekspresi logika (p ^ q)à[r v (~qà~r)]

v Ekspresi logika p v ~p

Ekspresi logika ~(p ^ q) v q

Ekspresi logika (p ^ q)à[r v (~qà~r)]

Kontradiksi

Merupakan proposisi majemuk yang selalu bernilai benar, tidak tergantung pada nilai masing-

masing proposisi pembentuknya

Contoh :

–Ekspresi logika p ^ ~p

–Ekspresi logika ~(p v q) ^ p

Ekspresi logika p ^ ~p

Ekspresi logika ~(p v q) ^ p

Kontingensi

Proposisi majemuk yang bukan tautologi juga bukan kontradiksi

Merupakan bentuk campuran dari nilai benar (B) dan nilai salah (S)

Contoh :

–Disjungsi

–Konjungsi

–Implikasi

–Biimplikasi

–NAND, NOR, XOR

v Sekian postingan dari saya semoga dapat bermaanfaat bagi para pengunjung semua. Terimakasih.

Materi di atas saya dapat dari materi mata kuliah Logika Informatika Politeknik Negeri Lampung semester 1.