Bileşik önermeler, iki ya da daha fazla önermelere çözümlenebilen önermelerdir. Oysa basit bir önermenin (kendinden başka) hiç bir bölümü bir önerme değildir. Bileşik önermeler, ve, veya, ise, değil gibi eklemlerin aracılığı ile basit önermelerden kurulur. Basit önermeler çoğunluk ya özne-yüklem türünden, ya da ilişkisel önerme türünden