Page 16 - E-Modul Logika Matematika

C. Ringkasan

Pernyataan (proposisi) adalah kalimat Implikasi p q (dibaca”p jika dan hanya
yang bernilai benar saja atau salah saja, jika q“) hanya benar jika dan k q
tetapi tidak keduanya sekaligus keduanya adalah benar atau jika p dan
q keduanya adalah salah.

Ingkaran dari pernyataan p, Argumen adalah penarikan kesimpulan
dilambangkan dengan ~p dan dibaca dari serangkaian premis. Argumen
"bukan p", jika suatu pernyataan yang adalah sah jika bentuk argumen
nilai kebenarannya berlawanan dengan merupakan tautologi.
nilai kebenaran p. Jika p benar maka ~p
salah dan jika p salah maka ~p benar. 1. Modus Ponens
Modus Ponens adalah suatu argumen
yang sah dengan bentuk
Premis (1) : p q
premis (2) : q
konklusi : q

Konjungsi p q (dibaca”p dan “) hanya 2. Modus Tollens
benar jika p dan q keduanya adalah Modus Tollens adalah suatu argumen
benar. yang sah dengan bentuk
Premis (1) : p q
premis (2) : ~q
konklusi : q

Disjungsi p / q (dibaca”p dan “) hanya 3. Silogisme
salah jika p dan q keduanya adalah salah. Silogisme adalah suatu metode
penarikan kesimpulan yang sah dengan
bentuk
Premis (1) : p q
premis (2) : q r
konklusi : p r

13

Aria Susana : E- Modul Logika Matematika