Pertama, Silogisme Hipotesis. Pada Modus Ponens, jika p maka q dan diketahui p, maka kesimpulannya adalah q. Pada Modus Tollens, jika p maka q dan diketahui negasi q, maka kesimpulannya adalah negasi p. Terakhir, Silogisme Murni menyatakan jika p maka q dan q maka r, maka kesimpulannya adalah p maka r.