mastermath sonny@2016

LOGIKA MATEMATIKA
www.ligan.id
MATERI PENUNJANG
I.

KONVERS, INVERS, KONTRAPOSISI

Dari pernyataan implikasi : p q maka bentuk:
Implikasi
Invers
Konvers Kontraposisi
pq

~p~q

qp

~q~p

II. EQUIVALENSI
Adalah Pernyataan yang senilai atau pernyataan yang memiliki kesetaraan atau pernyataan yang
mempunyai nilai tabel kebenaran yang sama. Symbol .
Pernyataan yang equivalen :
Implikasi kontraposisi
: p q ~q ~p
Konvers invers

: q p ~p ~q

p q ~p q
III. NEGASI PERNYATAAN
Pernyataan
pq
pq
pq
pq
semua yang p (x)
ada yang p (x)

Negasi
~(p q) = ~p ~q
~(p q) = ~p ~q
~(p q) = p ~q
(p ~q) (q ~p)
ada yang tidak p (x)
semua yang tidak p (x)

IV. PENARIKAN KESIMPULAN

Modus Ponen :
Premis umum: p q (B)
Premis khusus: p
(B)
Kesimpulan : q (B)

Modus Tollens :
Premis umum:p q (B)
Premis khusus: ~q (B)
Kesimpulan : ~p (B)

Prinsip Sillogisma:
:pq
:qr
Kesimpulan : p r

www.ligan.id

LIGAN EDUKASI CENTER@2016 | Logika Matematika