Bağımlı önermeler
Bağımsız olmayan, başka bir deyişle en az bir öğesi öbür öğelerince içerilen önerme kümesi. ...
Çelişik önermeler
Biri öbürünün değillemesi durumunda olan iki önerme.T. : mütenakız kaziyeler ...
Denk önermeler
Bkz. eşdeğer önermeler. ..
Doğrusal eşdeğer önermeler
(…) . ..
Eşdeğer önermeler
Birbirini içeren önermeler; bütün yorumlarda aynı doğruluk değerini kazanan önermeler. ..
Kategorik önermeler mantığı
Bk. tasımsal mantık. ...
Mantıkça kapalı önermeler kümesi
Tüm mantıksal sonuçlarını kapsayan önermeler kümesi. ...
Önermeler mantığı
Bk. eklemler mantığı. ..
Tambağımsız önermeler
Bütün değerlemeleri gerçekleşebilir olan önerme kümesi.