p ⇒ q önermesinin doğruluk değeri 1 olduğunda, bu bileşik önermeye gerektirme adı verilir.

Örnek:
p: “-6⁶ > 3² dir.”
q: “5² < -2⁵ tir.”
verilen önermelere göre p ⇒ q koşullu önermesini yazıp bu önermenin bir gerektirme olduğunu gösterelim.
Çözüm: “-6⁶ > 3² ise 5² < -2⁵ tir.”
p ≡ 0 ve q ≡ 0 olduğundan,
p ⇒ q ≡ 0 ⇒ 0 ≡ 1 dir.
Böylece p ⇒ q koşullu önermesinin bir gerektirme olduğu görülür.

Örnek: “Cansu İstanbul’da ise Cansu Türkiye’dedir.” koşullu önermesi bir gerektirmedir.

p ⇔ q önermesinin doğruluk değeri 1 olduğunda, bu bileşik önermeye çift gerektirme adı verilir.

Örnek: “Bir üçgen eşkenar üçgendir ancak ve ancak üçgenin iç açıları eşitse.” bileşik önermesi bir çift gerektirmedir.

Açık Önermeler konusuna devam etmek için bağlantıya tıklayın.