Modern sembolik mantık konusu Önerme eklemleri nelerdir? Önerme eklemleri ile ilgili örnekler ve konu anlatımı.
Önerme Eklemleri Örnekler – Konu Anlatımı
Önermeleri birbirine bağlayan bağlaçlar ve önermeleri olumsuzlaştıran eklere önerme eklemleri denir.
Modern mantıkta beş temel önerme eklemi vardır.
• Değilleme Eklemi (~): Değilleme eklemi (~) sembolü ile gösterilir. İsim cümlelerinde “değil”, fiil cümlelerinde “…me”, “…ma” karşılığı olarak kullanılır.
“değil” ve “…me”, “…ma” olumsuzluk eklerinin kullanıldığı tüm cümlelerde (~) sembolü kullanılır.
“Ali okula gitti”, “p”
“Ali okula gitmedi.”, “~p”
“Taş ağırdır.”, “q”
“Taş ağır değildir.”, “~q”
Kural: Önermeler sembolleştirilirken ;
Aynı önermelerin yerine aynı sembollerin, farklı önermelerin yerine farklı sembollerin kullanılmasına,
Önermede geçen “değil”, “…me”, “…ma” gibi olumsuzluk bildiren eklerin yerine mutlaka değilleme ekinin (~)
kullanılmasına dikkat edilmelidir.
• Tümel Evetleme Eklemi ( Û ): Tümel evetleme eklemi” Ü ” sembolü ile gösterilir “ve” anlami veren tüm bağlaçların karşılığında” Û ” sembolü kullanılır.
“Ali okula gitti” “p”
“Ali derse girdi” “q”
“Ali okula gitti ve derse girdi” “p Û q”
“Ali ne okula gitti ne derse girdi” “~p Û ~q”
“Ali’nin okula gitti ve derse girdiği doğru değildir.” ~(p Û q)”
• Tikel Evetleme Eklemi ( Û ): Tikel evetleme eklemi” Û ” sembolü ile gösterilir. “Veya” anlamı veren tüm bağlaçların karşılığı olarak” Û ” sembolü kullanilir.
“Vaya”, “Yahut”, “ya da” bağlaçlarının tümünün karşılığında tikel evetleme eklemi” Û ” kullanılır.
“Ali okula gitti” “p”
“Ali maça gitti” “q”
“Ali okula gitti veya maça gitti.” “p Û q”
“Ali okula gitmedi veya maça gitmedi.” “~p Û ~q”
“Ali’nin okula gitmediği veya maça gitmediği doğru değildir.” “~(~p Û ~q)”
• Koşul Eklemi ( ? ): Koşul eklemi” ? ” sembolü ile gösterilir, “ise” anlamı veren tüm bağlaçların karşılığında ” ?” sembolü kullanılır.
“Zaman”, “ise, “…se”, “…sa”, “…ce”, “için ki”, “yeter ki” gibi koşul bildiren tüm bağlaçların karşılığında koşul eklemi” ? ” kullanılır.
“Kar yağar”, “p”
“Hava soğuk olur”, “q”
“Kar yağarsa kava soğuk olur.” “p ? q”
• Karşılığında Koşul Eklemi ( Û ): Karşılıklı koşul eklemi” Û ” sembolü ile gösterilir. “Ancak ve ancak” anlamı veren tüm bağlaçlar karşılığında ” Û ” sembolü kullanılır.
“Su, normal koşullarda 100 ° ‘de ısınır.” “p”
“Su kaynar.” “q”
“Su ancak ve ancak normal koşullarda 100 ° ‘de kaynar.”, “p Û q”
