Page 12 - E-Modul Logika Matematika

3. Jenis-jenis Penarikan kesimpulan.

Argumen adalah penarikan kesimpulan dari serangkaian premis. Argumen adalah sah jika

bentuk argumen merupakan tautologi. Metode penarikan kesimpulan yang akan

dipelajari pada bagian ini adalah silogisme, modus ponens, dan modus tollens.

Berikut ini merupakan tabel kebenaran dari pernyataan majemuk konjungsi

P q ~p -q p ˅ q ~p ˅ ~q ~(p ˅ q)

B B S S B S S
B S S B B S S
S B B S B B S
S S B B S B B

Tabel Kebenaran Pernyataan majemuk:

P Q ~p ~q p p ˅ q p q p q (p q) ^ (q p) ~ p ˅ q “bukan
atau”

B B S S B B B B B B
B S S B S B S S S S

S B B S S B B S S B
S S B B S S B B B B

Tabel Kebenaran Ingkaran Pernyataan majemuk: ekivalen

P Q ~p ~q p ~p ˅ ~q p ˅ q ~p ^~ q

B B S S B S B S
B S S B S B B S
S B B S S B B S

S S B B S B S B

negasi negasi

9

Aria Susana : E- Modul Logika Matematika