Se procurarmos o termo bicondicional no dicionário da Real Academia Espanhola ( RAE ), não o encontraremos. O conceito, no entanto, é freqüentemente usado no campo da filosofia e da lógica .

Um biconditional é uma proposição que tem uma dupla condicionalidade, fixada pelas fórmulas que relaciona de maneira binária. Na linguagem coloquial, a ideia é associada à expressão "se e somente se" : a bicondicional é verdadeira se os termos que ela relaciona compartilham o valor verdade (isto é, se as duas fórmulas são verdadeiras ou se as duas fórmulas são falsas) ). Por outro lado, quando as fórmulas têm valores de verdade diferentes (uma vez que uma é falsa e a outra é verdadeira), a bicondicional é falsa.

Em outras palavras, um bicondicional implica que R é uma condição suficiente e necessária para S. Também pode ser indicado que "se R, então S" e que "se S, então R" .

Tomemos o exemplo da seguinte proposição: "Um ser humano pertence biologicamente ao gênero masculino se ele tiver órgãos reprodutivos masculinos" . Deixando as questões culturais e de identidade de lado, pode-se afirmar que um ser humano faz parte do gênero masculino "se e somente se" tiver órgãos reprodutivos masculinos.

Voltando às fórmulas mencionadas acima: "Se um ser humano pertence biologicamente ao gênero masculino, então ele tem órgãos reprodutivos masculinos" . Isso também pode ser expresso ao contrário: "Se um ser humano tem órgãos reprodutivos masculinos, então ele pertence biologicamente ao gênero masculino" . Como você pode ver, temos uma proposição bicondicional : ela exige que ambos os termos tenham o mesmo valor de verdade para ser verdade.

Além das "partículas" ou "nexos" que mencionamos que são essenciais na bicondicional, não podemos ignorar outros elementos que, da mesma forma, são usados ​​nela. Estamos nos referindo, por exemplo, a "é necessário e suficiente para" ou "é equivalente a".

Da mesma forma, não podemos ignorar outros aspectos realmente importantes do bicondicional. Estamos nos referindo, por exemplo, ao fato de que também é usado com força no campo da matemática. Nesse caso, deve-se afirmar que os símbolos usados ​​para causar impacto na bicondicional são as setas de duas pontas, uma em cada direção.

Além disso, devemos ter em mente que, com o avanço da tecnologia, também nos deparamos com o fato de que ela também é importante dentro do que é conhecido como lógica digital. Nesse caso, o operador biconditional a ser usado é o XNOR.

Além do que é indicado, a fim de resumir certas idéias, devemos partir do fato de que a proposta biconditional tem várias formas de tradução, dentre as quais podemos destacar as seguintes:
-P é uma condição necessária e suficiente para q.
-P sim e só sim q. Um exemplo seria: "P = Um triângulo é um retângulo. Q = Um triângulo tem um ângulo reto ", do qual resultaria que Um triângulo é um retângulo se e somente se tiver um ângulo reto".
-Si p então q e reciprocamente.
-Q é uma condição necessária e suficiente para p.
-Q sim e apenas sim p.
-Se então q e reciprocamente.