Ada tiga jenis silogisme. Pertama, kategoris, jika A maka B dan B maka ce, maka A maka ce. Kedua, hipotetis yang menggunakan hubungan jika pe maka ki. Dan ketiga, disjungtif yang menggunakan pilihan atau, jika A atau B dan bukan A, maka kesimpulannya adalah B.