Transcript NEGASI PERNYATAAN MAJEMUK

NEGASI PERNYATAAN MAJEMUK
1. Negasi Konjungsi.
p ^ q ditulis ~ ( p ^ q )  ~P v ~q.
2. Negasi Disjungsi.
p v q ditulis ~ ( p v q )  ~ p ^ ~ q
3. Negasi Implikasi .
p  q ditulis ~(p q )  ~(~p v q )  p ^ ~q
4. Negasi Biimplikasi.
p  q ditulis ~(p  q )  ~[(~pvq)^(pv~q)]

Konvers,Invers dan Kontraposisi
Dari pernyataan p q dapat disusun pernyataan-pernyataan
implikasi baru yang terbentuk .
1. Konvers. q  p.
2. Invers
p  q.
3. Kontraposisi
p  q.
Penarikan Kesimpulan.
Agar kesimpulan yang diambil merupakan kesimpulan yang
sah,ada beberapa prinsip yang dapat digunakan. Perlu
diperhatikan bahwa premis-premis ( argumen ) harus bernilai
benar ..
1.
Prinsip Modus Ponens.
p q
Premis 1. :
Premis 2. : p
Konklusi : q
Artinya : Jika premis 1 benar dan premis 2
benar maka q benar .
2. Prinsip Modus Tollens.
p  q
Premis 1 :
Premis 2 :
q
Konklusi :
p
Artinya : Jika p  qbenar dan ~q benar,maka ~p
benar.
3. Prinsip Silogisme.
pq
Premis 1 :
Premis 2 : q  r
Konklusi :