Si nous cherchons le terme bicondicional dans le dictionnaire de la Royal Spanish Academy ( RAE ), nous ne le trouverons pas. Le concept, cependant, est souvent utilisé dans le domaine de la philosophie et de la logique .

Un biconditionnel est une proposition qui a une double conditionnalité, fixée par les formules qu'elle relie de manière binaire. En langage familier, l'idée est associée à l'expression "si et seulement si" : le biconditionnel est vrai si les termes qu'il associe partagent la valeur de la vérité (c'est-à-dire si les deux formules sont vraies ou si les deux formules sont fausses) ). D'autre part, lorsque les formules ont des valeurs de vérité différentes (l'une étant fausse et l'autre vraie), le biconditionnel est faux.

En d'autres termes, une bicondition implique que R est une condition suffisante et nécessaire pour S. On peut aussi indiquer que "si R, alors S" et que "si S, alors R" .

Prenons l'exemple de la proposition suivante: "Un être humain appartient biologiquement au genre masculin s'il a des organes de reproduction masculins . " Laissant de côté les questions culturelles et identitaires, on peut affirmer qu'un être humain fait partie du genre masculin "si et seulement si" il possède des organes de reproduction masculins.

Revenons aux formules mentionnées ci-dessus: "Si un être humain appartient biologiquement au genre masculin, il possède des organes de reproduction masculins . " Cela peut aussi être exprimé à l'inverse: "Si un être humain a des organes de reproduction masculins, il appartient alors biologiquement au sexe masculin . " Comme vous pouvez le constater, nous avons une proposition biconditionnelle : elle exige que les deux termes aient la même valeur de vérité pour être vrais.

Outre les "particules" ou "liens" que nous avons mentionnés et qui sont essentiels dans le biconditionnel, nous ne pouvons pas ignorer d'autres éléments qui, de la même manière, y sont utilisés. Nous faisons référence, par exemple, à "est nécessaire et suffisant pour" ou "est équivalent à".

De la même manière, nous ne pouvons pas négliger d'autres aspects vraiment importants du biconditional. Nous faisons référence, par exemple, au fait qu’il est également utilisé avec force dans le domaine des mathématiques. Dans ce cas, il faut préciser que les symboles utilisés pour avoir un impact sur le biconditionnel sont les flèches à deux pointes, une dans chaque direction.

En outre, nous devons garder à l’esprit que, avec les progrès technologiques, nous constatons également que c’est également important dans le cadre de ce que l’on appelle la logique numérique. Dans ce cas, l'opérateur biconditionnel à utiliser est XNOR.

Outre ce qui est indiqué, pour résumer certaines idées, nous devons partir du fait que la proposition biconditionnelle comporte différentes formes de traduction, parmi lesquelles nous pouvons souligner les suivantes:
-P est une condition nécessaire et suffisante pour q.
-P oui et seulement oui q. Un exemple serait: "P = Un triangle est un rectangle. Q = Un triangle a un angle droit ", d'où il ressort qu'un triangle est un rectangle si et seulement s'il a un angle droit".
-Si p puis q et réciproquement.
-Q est une condition nécessaire et suffisante pour p.
-Q oui et seulement oui p.
-Si alors q et réciproquement.