Karşılıklı Koşul Eklemi: Ancak ve Ancak
Günlük dilde “ancak ve ancak” sözcükleriyle ifade edilen ekleme karşılıklı koşul eklemi denir. Karşılıklı koşul ekleminin sembolik gösterimi ise şöyledir: ⇔
İki basit önerme “ancak ve ancak” ile birleştirilmişse, ortaya çıkan bileşik önermeye de karşılıklı koşul önermesi adı verilir.
Bu önerme türünde, bileşenlerin hepsi de aynı değeri almışsa önerme doğru, diğer hâllerde yanlıştır. Dolayısıyla, karşılıklı koşul ekleminin doğru olabilmesi için, bileşenlerden ikisi de doğru ya da ikisi de yanlış olmalıdır.
Örneğin, “Doğa Nil ancak ve ancak avukat olursa başarılı olur.” önermesinde Doğa Nil’in avukat olmadığı takdirde başarılı olamayacağı anlaşılmaktadır. Bu önermenin doğru olması, Doğa Nil’in avukat olup başarılı olmasına ya da Doğa Nil’in avukat olmayıp başarılı olamamasına bağlıdır.
Ancak ve ancak bağlacının matematiksel gösteriminin tablosu ise aşağıdaki gibidir:
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)