LOGIKA MATEMATIKA EKUIVALENSI TAUTOLOGI KONTRADIKSI DAN KONTINGENSI DISUSUN

LOGIKA MATEMATIKA EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI DISUSUN OLEH : v Musfira septiana v Rini widarti v Ramsida v Anissa v Rudi eko s

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI Ekuivalensi Kedua bentuk pernyataan majemuk yang memiliki nilai kebenaran yang sama dikatakan setara (ekuivalen) secara logika.

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI TAUTOLOGI Tautologi adalah pernyataan majemuk yg slelalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan komponennya. Definisi : Suatu ekspresi logika yg selalu benilai benar didalam tabel kebenaranya , tanpa mempedulikan nilai kebenaran dari proposisi – proposisi yg berada didalamnya disebut tautologi

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI contoh : 1 tinjaulah pernyataan majemuk dari [(p⇒q) ˄ p ]⇒q dengan menggunakan tabel kebenaran !!! Dari tabel kebenaran di atas dapat disimpulkan, nilai kebenaranya BBBB yg dinyatakan dengan tautologi

p q P˅q P ⇒(p ˅ q ) B B B S B B B S S S B

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI KONTRADIKSI Kontradiksi adalah kebalikan dari tautologi , yaitu suatu bentuk pernyataan yg hanya mempunyai contoh substansi yg salah , atau sebuah pernyataan majemuk yg salah dalam segala hal tanpa memandang nilai kebenaran dari komponennya. Definisi : suatu ekspresi logika yg selalu bernilai salah didalam tabel kebenaranya dari proposisi – poposisi yg berada didalamnya , disebut kontradiksi.

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI Jika semua nilai kebenaran menghasilkan nilai salah dan benar maka terjadi contingent atau formula campuran (mixed formulae)

EKUIVALENSI, TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI

1. 2. p˄ q p q B B B S B S S B S S S B p q r B p˅q (p˅q)⇒ r B B B B B S B B S S B B B B S B S S S B B B S S B

THANKS. . .