Venn-en diagrama
Matematikaren eta logikaren zenbait testuingurutan, **inplikazio bikoitza** (**bikondizionala** edo **baliokidetasuna**) eragile logiko bitarra da, hau da, {\displaystyle \leftrightarrow :B\times B\rightarrow B} funtzio bat, B edozein multzo non {\displaystyle |B|=2} izanik, ohikoa den arren B {\displaystyle B=\{V,F\}} edo {\displaystyle B=\{0,1\}} moduan kontsideratzea. Inplikazio bikoitza ere lokailu logikotzat hartzen da eta «P baldin eta soilik baldin Q» motako adierazpenak formulatzeko aukera ematen du, egia dena bi osagaiel egiazko balio bera badute. 
Beste testuinguru batean, bi proposizioren arteko baliokidetasun logikoa adierazten du inplikazio bikoitzak.

Definizioa
----------

Inplikazio bikoitz baten egiazko balioa «p baldin eta soilik baldin q» egaia da proposizio biak (p eta *q*) egiazko balio bera dutenean, hau da, biak aldi berean egiazkoak edo gezurrezkoak direnean; bestela, gezurra da.

Hala, bada, «p baldin eta soilik baldin q» baieztapena, hurrengo bi baieztapenen logikoki baliokidea da: «baldin eta p, orduan q» eta «baldin eta q, orduan p». 

Lokailu logikoak erabiliz: 

> 
> {\displaystyle p\leftrightarrow q\equiv (p\to q)\wedge (q\to p)}.
> 
> 
> 

Modu zehatzagoan esanda, inplikazio bikoitzak egiazkotasun taula hau du:

**baldin eta soilik baldin**| p | q |  **p**  |
| E | E | E |
| E | G | G |
| G | E | G |
| G | G | E |

Irudikapena eta irakurketa
--------------------------

Inplikazio bikoitza adierazteko modu bat Q P-rentzat **beharrezkoa eta nahikoa den baldintza** dela esatea da. **Koinplikazio** ere esaten zaio.

Gaztelaniaz **sii**, **ssi** eta **syss** laburdurak erabiltzen dira; beraz, *p ↔ q* "p **sii** q" da baliokidea. Ingelesez **iff** (If and only if) laburtzen da.

Logikan eta matematikan, hauek dira inplikazio bikoitza adierazteko erabiltzen diren ikurrak: {\displaystyle \leftrightarrow },{\displaystyle \iff }eta ≡. Aipatutako {\displaystyle \leftrightarrow } notazioa konektibo edo eragile logiko gisa erabiltzen da sarritan, bi proposizio sinpleago konbinatzeko aukera ematen duena {\displaystyle P\leftrightarrow Q} formako proposizio konposatu bat sortzeko. Bigarren eta hirugarren notazioak, aldiz, ia beti erabiltzen dira bi proposizio logikoren arteko baliokidetasun logikoaren erlazioa adierazteko. Notazio bakoitzaren esanahia testuinguruaren araberakoa da.

Horrez gain, logika digitalaren eremuan, operadore bikondizionalaren funtzionamendua XNOR ate logikoaren bidez emulatu daiteke, eta XOR atearen ukapena.

Adibideak
---------

* «{\displaystyle 2<10\leftrightarrow 5|20}» eta «{\displaystyle 5>9\leftrightarrow {\sqrt {17}}<{\sqrt[{3}]{6}}}» egiazko inplikazio bikoitzak dira.

* {\displaystyle c={\text{mkt}}(a,b)\iff c\mathbb {Z} =a\mathbb {Z} \ \cap \ b\mathbb {Z} }, non {\displaystyle n\mathbb {Z} } n-ren multiplo osoak adierazten dituen.

Funtsezkoa da inplikazio bikoitzeko erlazioak eta baldintzazkoak soilik direnak bereiztea.

Adibidez, bi proposizio hauen arteko aldeaz ohartu:

> Pertsona bat adinez nagusia da, gidabaimena legez badu.
> 
> 

Edo,

> Pertsona bat adinez nagusia da baldin eta soilik baldin legez gidabaimena badu.
> 
> 

Lehenengokoa proposizio zuzena da, adin txikikoa izanik ezin baita legez gidabaimena eduki. Beraz, gidabaimena izanez gero, nahitaez adinez nagusia ezan behar da.

Bigarrena aldiz ez da zuzena, "gidabaimena edukitzearen" eta "adinez nagusia izatearen" arteko erlazioa ez baita baldintza bikoitza. Beste modu batean esanda: adin nagusikoa izan daiteke gidabaimenik gabe.

Erreferentziak
--------------

1. ↑   Trelles Montero, Óscar.  (2000). *Introducción a la lógica.*  (2a ed. argitaraldia) PUCP, Fondo Editoriala ISBN 9972-42-182-1. PMC 698396093. (Noiz kontsultatua: 2022-12-06).
2. ↑  Korfhage, Robert R.: "Lógica y Algoritmos", (1970) Limusa Editoriala -Wiley, S.A. México 1, D.F. 60. orr.
3. ↑  D. Hilbert y A. Ackermann «Elementos de lógica teórica» Tecnos Editoriala, Madrid, ISBN 84-309-0581-2
4. ↑  Copi, Irving M.: "Lógica Simbólica" (2000) ISBN 968-26-0134-7, Cecsa. México D.F. hemeritzigarren inprimazioa 45. orr.
5. ↑  Russell, Bertrand y Whitehead, Alfred North : *Principia Mathematica (\*56-era arte)* (1981) Paraninfo S. A. Madril, 60. orr.
6. ↑  Herrialde batetik bestera alda daitekeen lege-testuinguruari buruz ari da.
7. ↑  Ez dago inplikazio bikoitz «zuzenik» edo «okerrik», artikuluaren barnerakoari erreparatuz gero.

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q949972
* Commonscat Multimedia: If and only if

---

 |

* Wd Datuak: Q949972
* Commonscat Multimedia: If and only if