Download - Logika mat. tautologi-ekivalensi
Transcript
![Page 1: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/1.jpg)
LOGIKAMATEMATIKA
IMPLIKASI LOGIS
KONTRADIKSI TAUTOLOGI
KONTINGENSI
EKUIVALENSI
Created By: Wawan Indarko
![Page 2: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/2.jpg)
KONTRADIKSIPernyataan yang
nilai kebenarannya selalu salah.Contoh
(p q) ∧~(p q)∧ ∨
![Page 3: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/3.jpg)
TAUTOLOGIPernyataan yang
nilai kebenarannya selalu benar.Contoh
(p q) ~(~p ~q)∨ ∨ ∧
![Page 4: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/4.jpg)
KONTINGENSIPernyataan yang bukan merupakan
kontradiksi & tautologi.Contoh
~(~p ~q)∧
![Page 5: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/5.jpg)
EKUIVALENSI
Contoh
(p q) ~(~p ~q)∨ ∧
![Page 6: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/6.jpg)
IMPLIKASI LOGISImplikasi yang merupakan tautologi,Contoh
~(p q) ~(p q)∨ ∧
![Page 7: Logika mat. tautologi-ekivalensi](https://reader035.vdocuments.site/reader035/viewer/2022062522/5875ea301a28ab7d5a8b6f31/html5/thumbnails/7.jpg)
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