Çıkarsama kuralları olarakta isimlendirebileceğimiz bu konu başlığında mantık konusunda dair sonuçlandırma aşamasına geçeceğiz. Bu alanda yer alan bir takım kuralları inceleyeceğiz.
6. Sonuç Çıkarma Kuralları
Herhangi bir koşulun gerçekleşmesine bağlı olarak doğacak sonuçları kanıtlarıyla gösterebiliriz. Bunun için belirlenen bir takım isimler vardır. Bu isimlerle anılırlar ve gereksiz tekrarları ortadan kaldırmış olurlar.
6.1 Modus Ponens
p : Veli'nin para biriktirmesi
q : Veli'nin yeni bir bilgisayar alması
p → q : Eğer Veli para biriktirirse bilgisayar alacak
p : Veli para biriktirdi.
q : Öyleyse Veli bilgisayarı aldı.
6.2 Modus Tollens
p : Veli'nin para biriktirmesi
q : Veli'nin yeni bir bilgisayar alması
p → q : Eğer Veli para biriktirirse bilgisayar alacak
¬q : Veli bir bilgisayar alamadı.
¬p : Öyleyse Veli para biriktirmedi.
6.3 Disjunctive Syllogism (Ayırıcı Kıyas)
p : Arabanın anahtarı masada
q : Arabanın anahtarı cebimde
p v q : Arabanın anahtarı masada veya cebimde
¬p : Arabanın anahtarı masada değil
q : Öyleyse arabanın anahtarı cebimde
6.4 Hypothetical Syllogism (Varsayımlı Kıyas)
p : Bugün hava güneşli
q : Arkadaşımdan araba alacağım
r : Pikniğe gideceğim
p → q : Bugün hava güneşliyse arkadaşımdan arabayı alacağım
q → r : Arkadaşımdan arabayı alırsam pikniğe gideceğim
p → r : Hava güveşli olursa pikniğe gidebileceğim
(Tüm olay havanın güneşli olup olmamasına bağlı!)