 Comparez et opposez une instruction biconditionnelle à une instruction conditionnelle.
Une déclaration conditionnelle est une déclaration qui peut être exprimée comme "si P alors Q", où P est une hypothèse et Q est une conclusion. Une déclaration biconditionnelle est une déclaration qui peut être exprimée comme "P si et seulement si Q", où P et Q sont les deux hypothèses ou les deux conclusions. La différence est que dans un énoncé conditionnel, l'hypothèse peut être vraie mais la conclusion peut être fausse, alors que dans un énoncé biconditionnel, les hypothèses et les conclusions doivent toutes deux être vraies pour que l'énoncé soit vrai.