“Ancak ve ancak”, önermeler mantığında iki önermeyi karşılıklı koşul ilişkisiyle birleştiren bağlaçtır. p ancak ve ancak q biçimi genellikle p ↔ q ile gösterilir ve “p, q için gerekli ve yeterli koşuldur” biçiminde de ifade edilebilir. Bu bağlaç, p ise q ile q ise p koşullarının birlikte sağlanmasına karşılık gelir; tek yöndeki gerektirme, tek başına iki yönlü koşulu kurmaz. Türkçe mantık öğretiminde “karşılıklı koşul” veya “iki yönlü koşullu önerme” terimleri de kullanılır. [1][2]
Doğruluk değeri
p ↔ q önermesi, p ile q aynı doğruluk değerine sahipse doğrudur: her ikisi doğruysa veya her ikisi yanlışsa sonuç doğrudur. Doğruluk değerleri farklı olduğunda bileşik önerme yanlıştır. Bu nedenle p ↔ q, (p → q) ∧ (q → p) biçiminde çözümlenebilir. Örneğin, “Bir tam sayı çifttir ancak ve ancak 2’ye kalansız bölünür” ifadesi, tam sayılar için çift sayı tanımıyla iki yönlü bir ilişki kurar. [1][2]
Kullanımı ve kapsamı
Bağlaç matematikte, biçimsel mantıkta ve öğretim metinlerinde tanım ya da önermeler arasındaki eşdeğerliği belirtmek için kullanılır. Ancak biçimsel mantıktaki sembolik gösterim ile gündelik dildeki her “ancak” sözcüğünü aynı kabul etmemek gerekir; anlam, cümlenin kuruluşuna ve bağlamına bağlıdır. Ayrıca iki önermenin mantıksal eşdeğerliği, aralarında neden-sonuç ilişkisi bulunduğunu kendiliğinden göstermez. Bir koşulun hem gerekli hem yeterli olduğunu söylemek, yalnızca ilgili önermelerin doğruluk koşullarını karşılaştırır; nedensellik hakkında ek bir kanıt sunmaz. Bu ayrım, matematiksel ifadeleri yorumlarken özellikle önemlidir. [1]