Sülogismide lahendamine
otsustus. Kui kõik otsustused on implikatiivsed, siis nimetatakse seda süllogismi puhtaks
hüpoteetiliseks süllogismiks.
Suurem eeldus pq
Väiksem eeldus qz
Tuletis pz
Kui enne panime süllogisme sümbolites kirja nagu eelpool, siis nüüd võtame kasutusele uue viisi:
[ ( p q) ( q z ) ] ( p z)
Kui väiksem eeldus on kategooriline otsustus, siis on ka tuletis kategooriline:
[ ( p q ) p] q
SEGATÜÜBILINE HÜPOTEETILINE SÜLLOGISM
Modus ponensi reegel: kui väiksemas eelduses kinnitatakse (jaatatakse) alust, siis tuletiseks on
tagajärje kinnitus (jaatus). Tuletist ei anna:
[( p q ) p] q [( p q ) p] ?
[( p q ) p ] q [( p q ) p ] ?
[( p q ) p ] q Tuletist ei anna:
annaabi.ee 
