Mantıkta- ve -matematik- ve -psikoloji- gibi alanlarda -ancak ve ancak-, iki ifade arasındaki iki koşullu -mantık bağlacını- belirtir. Birbirine bağlı olan iki ifadenin birinin -doğruluğu- için ötekinin doğru olması gerekmektedir, dolayısıyla ya iki ifade de doğru, ya da her ikisi de yanlıştır. Yazılışta, -ancak ve ancak-a alternatif olarak -Q P için gerekli ve yeterlidir-, -Q ise P- ifadeleri de kullanılır.-
