Proposisi

Kategori proposisi kondisional sendiri dapat dibedakan menjadi dua kategori, yakni hipotesis dan disjungtif. Proposisi Kondisional Hipotesis adalah proposisi yang menunjuk pada pembenaran yang bersyarat. Artinya bila proposisi terpenuhi, maka kebenaran terjadi. Hal ini bisa kita lihat dalam kalimat "Jika hujan terjadi, tanah becek", jadi tanah akan becek jika terjadi hujan. Lain halnya dengan proposisi kondisional hipotesis, Proposisi Kondisional Disjungtif disebut juga alternatif. Hal ini didasarkan pada pembenaran yang berupa pilihan. Proposisi ini kerap kali menggunakan kata atau seperti dalam kalimat: "Amir harus membantu orang tuanya atau membersihkan halaman rumah".