Koşul Eklemi: İse (=>)

Günlük dilde "ise", "se", "sa", "ancak" gibi sözcüklerle ifade edilen ekleme, koşul eklemi denir. İki basit önerme "ise" eklemiyle birleştirilmişse buna koşul önermesi adı verilir. Koşul önermesinde ön bileşen doğru, art bileşen yanlış değer almışsa bileşik önerme yanlış değer alır. Diğer durumlarda önerme doğru değer alır.





Örneğin, "Dürüst davranırsan insanlar seni sever." önermesinde birinci önerme "dürüst davranır" (p) doğru fakat ikinci "önerme insanlar seni sever" (q) yanlışsa koşul yerine gelmemiş demektir. Yani dürüst davranmış olmasına rağmen insanların onu sevdiği doğru değildir. Bu durumda, önermenin bütünü yanlış değer alır. Çünkü aradaki eklem, "san" ekiyle beraber "ise" (=>) olmuştur.

Hazırlayan: Sosyolog Ömer YILDIRIM
Kaynak: Ömer YILDIRIM'ın Kişisel Ders Notları. Atatürk Üniversitesi Sosyoloji Bölümü 3. Sınıf "Klasik Mantık" ve "Modern Mantık" Dersleri Ders Notları (Ömer YILDIRIM)