Upload
sokley-sokley
View
141
Download
0
Embed Size (px)
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