Aturan penarikan kesimpulan yang umum

Terdapat banyak aturan penarikan kesimpulan yang sering dipakai. Tetapi kita pelajari beberapa saja.

1. Dalam logika proposisional

   1. Modus ponens
   2. Modus tollens
   3. Silogisme disjungtif
   4. Silogisme hipotetis

2. Dalam logika predikat

   1. Instansiasi universal
   2. Introduksi eksistensial

3. Aturan-aturan bantu

   1. Simplifikasi
   2. Introduksi konjungsi

Berikutnya: Modus ponens (MP)