Co je to dvoupodmínečné?

Dvoupodmínečné je vyjádření ve tvaru „když a jen když“ (zkráceno na „iff“). Je to logické spojení, které kombinuje dva výroky a implikuje, že jsou ekvivalentní, což znamená, že jeden výrok je pravdivý právě tehdy, když je pravdivý druhý výrok.……Například dvoupodmínečné „Pokud bude pršet, budou mokré ulice“ může být zapsán v symbolické formě jako:

P → Q

, kde P představuje „prší“ a Q představuje „ulice budou mokré“. Šipka (→) ukazuje, že P implikuje Q, což znamená, že pokud je P pravdivé, pak Q musí být také pravdivé.

V tomto případě dvoupodmínkové tvrzení říká, že pokud bude pršet, budou ulice mokré, ale neříká že ulice budou mokré jen proto, že prší. Místo toho říká, že tyto dva výroky jsou ekvivalentní a jeden nemůže být pravdivý, aniž by byl pravdivý druhý.