Какво е двуусловно?

Двуусловното е изявление от формата "ако и само ако" (съкратено до "iff"). Това е логическа връзка, която съчетава две твърдения и предполага, че те са еквивалентни, което означава, че едно твърдение е вярно, ако и само ако другото твърдение е вярно.

Например, двуусловното "Ако вали, тогава улиците ще бъдат мокри" може да бъдат написани в символна форма като:

P → Q

където P представлява "вали" и Q представлява "улиците ще бъдат мокри". Стрелката (→) показва, че P предполага Q, което означава, че ако P е вярно, тогава Q също трябва да е вярно.

В този случай двуусловното твърдение казва, че ако вали, тогава улиците ще бъдат мокри, но не казва че улиците ще бъдат мокри просто защото вали. Вместо това се казва, че двете твърдения са еквивалентни и едното не може да бъде вярно, без другото да е вярно.