Шта је двоусловно?

Бикондиционал је изјава облика "ако и само ако" (скраћено на "ифф"). То је логички конектив који комбинује две изјаве и имплицира да су оне еквивалентне, што значи да је једна изјава тачна ако и само ако је друга изјава тачна.ӕӕНа пример, бикондиционал „Ако пада киша, улице ће бити мокре“ може бити написан у симболичком облику као:ӕӕП → Кӕӕгде П представља „киша” а К представља „улице ће бити мокре”. Стрелица (→) показује да П имплицира К, што значи да ако је П тачно, онда и К мора бити тачно.ӕӕУ овом случају, двоусловна изјава каже да ако пада киша, улице ће бити мокре, али не каже да ће улице бити мокре само зато што пада киша. Уместо тога, каже се да су те две изјаве еквивалентне и да једна не може бити истинита а да друга није истинита.