Koşullu Önerme

Etiketler : felsefe mantık matematik önerme sembolik mantık

Koşullu önerme, mantıkta bir şarta bağlı olarak kurulan önermelerdir. Şartın gerçekleşme durumuna göre koşullu önermenin doğruluk durumu değişiklik gösterir. p → q şeklinde yazılır ve şu anlama gelir: "p doğruyken q önermesi yanlış ise bileşik önerme yanlış, diğer tüm durumlarda önerme doğru olur. "Yağmur yağarsa yerler ıslanır" önermesi bir koşula bağlı olduğundan ise bağlacı ile kurulmuş bir bileşik önermedir. "yağmur yağıyorsa" (p), "yerler ıslaktır" (q) gibi iki ayrı önerme birbirine bağlaçla (ise) bağlanmıştır. "yağmur yağıyorsa" (p ≡ 1) "yerler ıslanmaz" (q≡0) durumu mümkün olmadığından yani 1 → 0 ≡ 0 olacağından bu durumda bileşik önerme yanlış olur. Bunun harici tüm durumlarda önerme doğru olur.

 Tabloda verilen tüm durumları inceleyelim.

1 → 1 yağmur yağıyor, yerler ıslanıyor → Beklendiği gibi, önerme doğru 

1 → 0 Yağmur yağıyor ama yerler ıslanmıyor → Beklenen olmadı, önerme yanlış.

0 → 1 Yağmur yağmıyor ama yerler başka bir sebeple ıslanmış → Yine de önerme doğru sayılır.

0 → 0 Yağmur yağmıyor, yerler ıslanmıyor → Koşul gerçekleşmediği için önerme doğru kabul edilir.

---

Koşullu önermelerin mantığında, sadece koşul gerçekleşip sonuç gerçekleşmezse önerme yanlıştır. Bunun (1 → 0 ≡ 0) haricindeki tüm durumlarda önerme doğru olur.  Ayrıca bir koşullu önermenin karşıt tersi de kendisine doğruluk durumu bakımından denk olur. Örneğin "Eğer yağmur yağarsa, zemin ıslanır." (A → B) "Eğer zemin ıslanmıyorsa, yağmur yağmamıştır." (B^' →A^') Bu iki cümle birbirinin denk önermeleridir (A → B) ≡ (B^' →A^') çünkü her durumda, biri doğruysa, diğeri de doğru olur; biri yanlışsa, diğeri de yanlış olur. 

Bir koşullu önermenin tersi, karşıtı ve karşıt tersi bulunabilir. Buna göre "Yağmur yağarsa yerler ıslanır." (p → q) önermesini inceleyelim: 

(p → q): "Yağmur yağarsa yerler ıslanır."

Koşullu Önermenin karşıtı (Converse) (q → p)
"Yağmur yağarsa yerler ıslanır." önermesinde iki önermenin yerleri değiştirilir. Yani sonuç ile koşulun yerleri değişir.  Karşıt önerme, orijinal önerme ile doğruluk durumu bakımından eşdeğer değildir.

(q → p): "Yerler ıslanırsa, yağmur yağar."

Koşullu Önermenin tersi ((Inverse) (p' → q')
"Yağmur yağarsa yerler ıslanır." önermesinde her iki önermenin yerleri değiştirilmeden olumsuzları alınır. Yani her iki tarafın sadece değili alınır. Ters önerme, orijinal önerme ile doğruluk durumu bakımından eşdeğer değildir.

 (p' → q'): "Yağmur yağmazsa, yerler ıslanmaz." 

Koşullu Önermenin karşıt tersi (Contrapositive) (q' → p') "Yağmur yağarsa yerler ıslanır." önermesinde her iki önermenin hem yerleri değiştirilir hem de olumsuzları alınır.  Karşıt ters önerme, orijinal önerme ile doğruluk durumu bakımından eşdeğerdir. Bu önerme, orijinal önerme ile mantıksal olarak denk kabul edilir..Yani biri doğruysa diğeri de kesinlikle doğrudur. (p → q) ≡ (q^' →p^')

(q' → p') "Yerler ıslanmazsa, yağmur yağmaz."

"İse" bağlacı ile kurulmuş bi koşullu önerme "veya" bağlacı kullanılarak da yazılabilir. Her ne kadar günlük kullanımda böyle bir kullanım yaygın olmasa da mantıksal açıdan (p → q) ≡ (p^' ∨ q) önermesi birbirine doğruluk durumu bakımından denktir. "Eğer çalışırsan, başarılı olursun." (p → q) önermesi (p: çalışırsın, q: başarılı olursun) "Veya" bağlacıyla "Çalışmazsan veya başarılı olursun." (p' ∨ q) şeklinde yazılır.