Inplikazio bikoitz

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.