Що таке двокондиціонал?

Біумова — це твердження у формі «якщо і тільки якщо» (скорочено до «якщо»). Це логічний сполучник, який поєднує два твердження та означає, що вони еквівалентні, тобто одне твердження є істинним тоді і тільки тоді, коли інше твердження є істинним.

Наприклад, двоумовне «Якщо йде дощ, то вулиці будуть мокрими» може записується в символічній формі як:

P → Q

де P означає «іде дощ», а Q означає «вулиці будуть мокрими». Стрілка (→) вказує на те, що P передбачає Q, тобто якщо P істинне, то Q також має бути істинним.

У цьому випадку двоумовне твердження говорить, що якщо йде дощ, то вулиці будуть мокрими, але воно не говорить що вулиці будуть мокрими просто тому, що йде дощ. Замість цього він говорить, що два твердження еквівалентні, і одне не може бути істинним без іншого.