İki koşullu nedir?

İki koşullu ifade, "eğer ve ancak eğer" ("iff" olarak kısaltılmıştır) biçimindeki bir ifadedir. İki ifadeyi birleştiren ve bunların eşdeğer olduğunu ima eden mantıksal bir bağlaçtır; yani bir ifadenin ancak ve ancak diğer ifade doğruysa doğru olduğu anlamına gelir.

Örneğin, "Yağmur yağarsa sokaklar ıslak olacaktır" iki koşullu ifadesi, sembolik formda şu şekilde yazılabilir:

P → Q

burada P "yağmur yağıyor"u ve Q "sokaklar ıslak olacak"ı temsil ediyor. Ok (→), P'nin Q'yu ima ettiğini belirtir, yani P doğruysa Q'nun da doğru olması gerekir.

Bu durumda, iki koşullu ifade yağmur yağarsa sokakların ıslak olacağını söylüyor ancak şunu söylemiyor: sırf yağmur yağdığı için sokaklar ıslanacak. Bunun yerine, iki ifadenin eşdeğer olduğunu ve birinin doğru olmadan diğerinin doğru olamayacağını söylüyor.