Qu'est-ce qu'un biconditionnel ?

Un biconditionnel est une instruction de la forme « si et seulement si » (abrégé en « iff »). Il s'agit d'un connecteur logique qui combine deux énoncés et implique qu'ils sont équivalents, ce qui signifie qu'un énoncé est vrai si et seulement si l'autre énoncé est vrai.

Par exemple, le biconditionnel « S'il pleut, alors les rues seront mouillées » peut s'écrire sous forme symbolique comme suit :

P → Q

où P représente « il pleut » et Q représente « les rues seront mouillées ». La flèche (→) indique que P implique Q, ce qui signifie que si P est vrai, alors Q doit également être vrai.

Dans ce cas, l'énoncé biconditionnel dit que s'il pleut, alors les rues seront mouillées, mais il ne dit pas que les rues seront mouillées simplement parce qu'il pleut. Au lieu de cela, il dit que les deux affirmations sont équivalentes et que l’une ne peut être vraie sans que l’autre le soit.