NEGASI PERNYATAAN MAJEMUK 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 . Konvers. Invers Kontraposisi 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 ..
Prinsip Modus Ponens. Premis 1. : Premis 2. : p Konklusi : q Artinya : Jika premis 1 benar dan premis 2 benar maka q benar . 2. Prinsip Modus Tollens. Premis 1 : Premis 2 : Konklusi : Artinya : Jika benar dan ~q benar,maka ~p benar. 3. Prinsip Silogisme. Premis 1 : Premis 2 : Konklusi :