Inferensi
Jika kita diberikan beberapa proposisi, maka kita dapat menarik kesimpulan baru dari deretan proposisi tersebut. Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi. Terdapat beberapa kaidah inferensi atau penarikan kesimpulan, diantarabnya:
- Modus Ponen
- Modus Tollen
- Silogisme Hipotesis
- Silogisme Disjungtif
- Simplikasi
- Penjumlahan
- Konjungsi