Logika mat. tautologi-ekivalensi

Preview:

Citation preview

LOGIKAMATEMATIKA

IMPLIKASI LOGIS

KONTRADIKSI TAUTOLOGI

KONTINGENSI

EKUIVALENSI

Created By: Wawan Indarko

KONTRADIKSIPernyataan yang

nilai kebenarannya selalu salah.Contoh

(p q) ∧~(p q)∧ ∨

TAUTOLOGIPernyataan yang

nilai kebenarannya selalu benar.Contoh

(p q) ~(~p ~q)∨ ∨ ∧

KONTINGENSIPernyataan yang bukan merupakan

kontradiksi & tautologi.Contoh

~(~p ~q)∧

EKUIVALENSI

Contoh

(p q) ~(~p ~q)∨ ∧

IMPLIKASI LOGISImplikasi yang merupakan tautologi,Contoh

~(p q) ~(p q)∨ ∧

Soal-Soal( p∨q ) ~∧ p1

p∧q2

[( p∧~ r )∨q ] (∨ r∨~q )3

(~ p∧~q)→ [( ~ p∨q )∨~ r ]4

[(~ p∨q )∨~ r ]↔ [(~p∨q ) ~∨ r ]6

)5

Recommended