Denk Önerme : Doğruluk değerleri aynı olan önermelere denk önermeler denir.

Önermenin Değili (Olumsuzu ) : Bir önermenin hükmünün değiştirilmesi ile oluşturulan yeni önermeye bu önermenin değili denir.

Bileşik Önermeler : İki ya da daha fazla önermenin birbirine mantık bağlaçları ( veya, ve, ya da, ise, ancak ve ancak) ile bağlanmasıyla elde edilen yeni önermelere bileşik önerme denir.