LOGIKA MATEMATIKA

KELOMPOK I

 RIFKI
 MUJUR
 IRFAN
 LISMA
 ARYA AHMAD
 NADILA SAFITRI
 INDA TANDE
 FERYANSYAH
 MUH.FUAD
 ALGI SAPUTRA

PRODI REKAYASA PERANGKAT LUNAK

FAKULTAS KOMPUTER
UNIVERSITAS MUHAMMADIYAH PALOPO
2022/2023
 POKOK PEMBAHASAN

SILOGISME MODUS TOLENS

MODUS PONEN

BUATLAH MASING-MASING
CONTOH KALIMAT DARI
BUKTIKAN DENGAN TABEL KETIGA PENARIKAN
KEBENARAN PERNYATAAN KESIMPULAN : SILOGISMA,
YANG EQUIVALENT BERIKUT MODUS TOLENS,DAN MODUS
POLENS
 SILOGISME
Menyatakan bahwa jika p maka q dan jika q maka r keduanya
bernilai benar menghasilkan kesimpulan jika p maka r juga bernilai
benar

Premis 1 : pq
Premis 2 : pr
Kesimpulan : pr
 Modus tollens

Premis 1 : pq
Premis 2 : q
Kesipulan : p

2
jika p maka q (pq) bernilai benar.

1
Sehingga,agar implikasi dari p dan q
bernilai benar maka ingkaran
p(q)bernilai benar maka ingkaran p(p)
harus benar.
 Modus ponens

Jika p maka q sedangkan premis kedua berupa

proposisi tunggal yaitu p

Premis 1 : pq
Premis 2 : p
Kesimpulan : q
 TABEL EQUIVALENT

P q R Pvr p(q ~q P-q (p-

vr) q)r
B B B B B S S B
B B S B B S S B
B S B B B B B B
B S S S B B B B
S B B B B S S B
S B S B B S S B
S S B B B B S B
S S S S B B S B
THANK YOU