Açık Önermeler konusuna devam etmek için bağlantıya tıklayın.
9. sınıf mantık gerektirme konu anlatımı
p ise q önermesinin doğruluk değeri 1 olduğunda, bu şartlı önermeye gerektirme adı verilir.
Örnek: yukarıda verilen önermelere göre p ise q koşullu şartlı önermesinin gerektirme olup olmadığını bulalım.
Çözüm: Hem p hem de q önermesi yanlış önerme olduğundan 0 ise 0 koşullu önermesi bire denktir. Bu koşullu önerme gerektirmedir.
Örnek: "Cansu İstanbul'da ise Cansu Türkiye'dedir." koşullu önermesi bir gerektirmedir.
p ancak ve ancek q önermesinin doğruluk değeri 1 olduğunda, bu bileşik önermeye çift yönlü gerektirme adı verilir.
"Bir üçgen eşkenar üçgendir ancak ve ancak üçgenin iç açıları eşitse." bileşik önermesi bir çift gerektirmedir.