İki koşullu bağlaç (ancak ve ancak)

İki önermeyi karşılıklı olarak birbirine bağlayan iki koşullu bağlaç, sembolik mantığın en kesin bağlacıdır: “ancak ve ancak” sözcükleriyle kurulur ve iki yargının aynı anda doğru ya da aynı anda yanlış olmasını ifade eder. Bu derste bağlacın anlamını, doğruluk tablosunu, koşul bağlacıyla ilişkisini ve sık yapılan hataları baştan sona işliyoruz. Bağlaçlara genel bir bakış için mantıksal bağlaçlar dersine, tüm konularımız için Mantık dersleri sayfamıza göz atabilirsin.

İki Koşullu Bağlaç Nedir?

İki koşullu bağlaç (öteki adıyla ekivalans ya da karşılıklı koşul), “p ancak ve ancak q ise” kalıbıyla kurulan bileşik önermedir ve p ↔ q biçiminde gösterilir. Bazı kaynaklarda p ⇔ q ya da p ≡ q yazımlarıyla da karşılaşabilirsin. Bu bileşik önerme, p ile q'nun her durumda aynı doğruluk değerinde olmasını öne sürer: p doğruysa q da doğru, p yanlışsa q da yanlış olmalıdır. Buradaki p ve q harfleri önerme değişkenleridir; örneğin “Bu sayı çifttir ancak ve ancak 2 ile tam bölünürse” önermesi her doğal sayı için doğru bir yargı kurar, çünkü çift olma ile 2'ye tam bölünme her zaman birlikte gerçekleşir.

“Ancak” ile “Ancak ve Ancak” Arasındaki Fark

Türkçede bu iki ifade birbirinin vurgulu hâli gibi görünse de mantıkta anlamları kökten farklıdır:

• “p ise q” → tek yönlü koşul bildirir; p → q yazılır.
• “q ancak p ise” → bu da tek yönlüdür; q → p yazılır. “Sınavı ancak çalışırsan geçersin” cümlesi, geçmenin çalışmanın gerektirdiği bir sonuç olduğunu söyler; tersini öne sürmez.
• “p ancak ve ancak q ise” → çift yönlüdür; p ↔ q yazılır. Hem “p ise q” hem “q ise p” aynı anda iddia edilmiş olur.

Yani “ancak ve ancak” ifadesi günlük dildeki “ve” bağlacının güçlendirilmiş bir biçimi değildir; iki yönlü bağımlılık bildiren, mantıkta kendine özgü bir kalıptır.

İki Koşullu Bağlacın Doğruluk Tablosu

p ↔ q önermesinin doğruluk değeri, yalnızca p ve q'nun değerlerine bağlıdır. Doğruluk tablosu kurma tekniğini henüz görmediysen önce doğruluk tablosu nedir? dersine bakmanı öneririz. İki değişkenli tabloda dört satır olur:

1. p doğru, q doğru → p ↔ q doğru
2. p doğru, q yanlış → p ↔ q yanlış
3. p yanlış, q doğru → p ↔ q yanlış
4. p yanlış, q yanlış → p ↔ q doğru

Tablodan çıkan kural tek cümledir: değerler aynıysa doğru, farklıysa yanlış. Dördüncü satır öğrencileri en çok şaşırtan satırdır; oysa iki tarafın birden yanlış olması, “iki yargı eş değerlidir” iddiasını çürütmez, tersine doğrular. Örneğin p: “x = 4” ve q: “x² = 16” değişkenleri için x = 5 seçilirse iki yargı da yanlıştır ve p ↔ q doğru kalır; ama x = −4 seçilirse p yanlış, q doğru olur ve önerme yanlışa döner.

Koşul Bağlacıyla İlişkisi: Gerek ve Yeter Koşul

İki koşullu önerme, iki tek yönlü koşulun birlikte söylenmesine denktir: p ↔ q ≡ (p → q) ∧ (q → p). “p ancak ve ancak q ise” demek ile “p ise q ve q ise p” demek aynı şeydir. Matematikte bu duruma “p, q için gerek ve yeter koşuldur” denir. Tek yönlü koşulun kuruluşunu koşul bağlacı (eğer… ise) dersinde, iki önermeyi birleştiren ∧ simgesini ise ve bağlacı dersinde ayrıca işledik.

Aynı denklik değilleme yardımıyla da yazılabilir: p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q). Okunuşu doğrudan tabloyu verir: “ikisi de doğru ya da ikisi de yanlış”. Buradaki ~ simgesinin kuralları değilleme dersinde, ∨ simgesinin kuralları ise veya bağlacı dersinde anlatılmıştır.

Örnek Önermeler

Aşağıdaki örneklerde önce iki koşullu bağlacın kurulduğuna, sonra bileşik önermenin doğruluk değerine bakalım:

• p: “Üçgen ikizkenardır”, q: “Üçgenin iki kenarı eşittir” → p ↔ q doğrudur; iki yön de tanımdan kaynaklanır.
• “Bir doğal sayı 6'ya bölünür ancak ve ancak 2 ile 3'e bölünürse” → doğrudur; 6'ya bölünme, 2 ve 3'e birlikte bölünmeye tam olarak denktir.
• “Bir sayı 4'e bölünür ancak ve ancak 2'ye bölünürse” → yanlıştır; 6 sayısı 2'ye bölünürken 4'e bölünmez, geri yön bozulur.
• “Sınavı geçersin ancak ve ancak konuyu kavramışsan” → günlük dilde karşılıklı bağımlılık kurar; sembolik yazımı p ↔ q'dur.

Sık Yapılan Hatalar ve Yanılgılar

1. “ancak”ı iki koşullu sanmak: “Sınavı ancak çalışırsan geçersin” cümlesi yalnızca geçersin → çalışırsan demektir; çalışmak geçmek için gerek koşuldur ama yeter koşulu değildir. “Ancak” sözcüğünün tek başına hiçbir zaman karşılıklı koşul bildirmediğini unutma.
2. İki taraf da yanlışken önermeyi yanlış saymak: p ↔ q, iki değişken de yanlışken doğrudur. Önerme eş değerlik iddia eder; iki yargının birlikte yanlış olması bu iddiayı destekler, çürütmez.
3. “ve” bağlacıyla karıştırmak: “Ancak ve ancak” içinde “ve” geçse de anlamı p ∧ q değildir. p ∧ q yalnızca iki taraf da doğruyken doğru çıkar; p ↔ q ise iki tarafın değerleri eşitken doğru çıkar.
4. Değilini yanlış almak: ~(p ↔ q), doğruluk değerleri farklı olduğunda doğrudur; “p ile q ayrışır” diye düşünülebilir. Yani iki koşullu önermenin değili, değerlerin birbirinden sapmasını bildirir.

Özetle p ↔ q okurken aklında tek bir soru bulunsun: “Bu iki yargının doğruluk değerleri her durumda birlikte mi değişiyor?” Yanıtın evet olduğu her yerde iki koşullu önerme doğrudur. Bileşik önermelerin bütününe dair genel çerçeve için bileşik önermeler dersine göz atabilirsin.