Als we de term bicondicional zoeken in het woordenboek van de Koninklijke Spaanse Academie ( RAE ), zullen we die niet vinden. Het concept wordt echter vaak gebruikt op het gebied van filosofie en logica .

Een biconditional is een propositie met een dubbele conditionaliteit, gefixeerd door de formules die het op een binaire manier relateert. In de omgangstaal is het idee geassocieerd met de uitdrukking "als en alleen als" : het biconditional is waar als de termen die ermee verband houden , de waarheidswaarde delen (dat wil zeggen, als de twee formules waar zijn of als de twee formules onjuist zijn) ). Aan de andere kant, als de formules verschillende waarheidswaarden hebben (aangezien de ene fout is en de andere waar), is de biconditional fout.

Met andere woorden, een biconditional impliceert dat R een voldoende en noodzakelijke voorwaarde is voor S. Het kan ook worden aangegeven dat "als R, dan S" en dat "als S, dan R" .

Neem het voorbeeld van de volgende stelling: "Een mens behoort biologisch tot het mannelijke geslacht als hij mannelijke voortplantingsorganen heeft . " Door culturele en identiteitsproblemen terzijde te schuiven, kan worden bevestigd dat een mens deel uitmaakt van het mannelijke geslacht "als en alleen als" het mannelijke reproductieve organen heeft.

Terugkeren naar de formules die hierboven zijn genoemd: "Als een mens biologisch behoort tot het mannelijke geslacht, dan heeft het mannelijke voortplantingsorganen . " Dit kan ook in omgekeerde volgorde worden uitgedrukt: "Als een mens mannelijke geslachtsorganen heeft, dan behoort hij biologisch tot het mannelijke geslacht . " Zoals je kunt zien, hebben we een onvoorwaardelijke propositie : het vereist dat beide termen dezelfde waarheidswaarde hebben om waar te zijn.

Naast de 'deeltjes' of 'nexuses' die we hebben genoemd en die essentieel zijn in het biconditionele, kunnen we niet andere elementen negeren die er op dezelfde manier in worden gebruikt. We verwijzen bijvoorbeeld naar "is noodzakelijk en voldoende voor" of "is equivalent met".

Op dezelfde manier kunnen we andere echt belangrijke aspecten van het biconditional niet over het hoofd zien. We verwijzen bijvoorbeeld naar het feit dat het ook met kracht wordt gebruikt op het gebied van de wiskunde. In dit geval moet worden gesteld dat de symbolen die worden gebruikt om een ​​impact te maken op de biconditional, de tweepuntige pijlen zijn, één in elke richting.

Ook moeten we in gedachten houden dat we met de vooruitgang van de technologie ook het feit tegenkomen dat het ook belangrijk is binnen wat bekend staat als digitale logica. In dit geval is de te gebruiken biconditional-operator de XNOR.

Naast wat wordt aangegeven, moeten we om bepaalde ideeën samen te vatten uitgaan van het feit dat het voorstel met de voorwaarden voor de organisatie verschillende vormen van vertaling bevat, waaronder we het volgende kunnen benadrukken:
-P is een noodzakelijke en voldoende voorwaarde voor q.
-P ja en alleen ja q. Een voorbeeld zou zijn: "P = Een driehoek is een rechthoek. Q = Een driehoek heeft een rechte hoek ", waaruit zou blijken dat een driehoek een rechthoek is als en alleen als deze een rechte hoek heeft".
-Si p dan q en reciprook.
-Q is een noodzakelijke en voldoende voorwaarde voor p.
-Q Ja en alleen ja p.
-Als dat het geval is q en omgekeerd.