1.Proposisi tunggal terdiri dari satu subjek dan satu predikat. Contohnya, "Saya membaca" atau "Adik bermain".
Proposisi majemuk terdiri dari satu subjek dan lebih dari satu predikat. 
2.Implikasi
Menyatakan hubungan sebab akibat antara dua pernyataan, dengan kata hubung "jika... maka...". Implikasi hanya bernilai salah jika pernyataan kedua (q) bernilai salah. 
 
Biimplikasi
Menyatakan bahwa dua pernyataan saling menjadi sebab akibat, dengan kata hubung "jika dan hanya jika". Biimplikasi bernilai benar jika dua pernyataan (p dan q) keduanya benar atau keduanya salah. 
 
Perbedaan antara implikasi dan biimplikasi adalah: Implikasi menyatakan hubungan sebab akibat antara dua pernyataan, Biimplikasi menyatakan bahwa dua pernyataan saling menjadi sebab akibat, Implikasi disimbolkan dengan tanda “→”, Biimplikasi diwakili oleh "↔".