Če iščemo izraz bicondicional v slovarju Kraljeve španske akademije ( RAE ), ga ne bomo našli. Koncept pa se pogosto uporablja na področju filozofije in logike .

Bikondicionalna je predlog, ki ima dvojno pogojenost, ki ga določajo formule, ki se nanašajo na binarni način. V pogovornem jeziku je ideja povezana z izrazom "če in samo če" : dvokomponentna je resnična, če izrazi, ki jih povezuje, deli vrednost resnice (to je, če sta pravi dve formuli ali če sta dve formuli napačni) ). Po drugi strani, kadar imajo formule različne resnične vrednosti (ker je ena napačna in druga resnična), je bikondicionalna napačna.

Z drugimi besedami, dikondicionalna pomeni, da je R zadosten in potreben pogoj za S. Lahko se tudi navede, da "če R, potem S" in da "če S, potem R" .

Vzemimo primer naslednje trditve: "Človeško bitje pripada biološko moškemu spolu, če ima moške reproduktivne organe . " Če pustimo ob strani kulturna in identitetna vprašanja, lahko trdimo, da je človek del moškega spola »če in samo če« ima moške reproduktivne organe.

Če se vrnemo k zgoraj navedenim formulam: "Če človeško bitje biološko pripada moškemu spolu, potem ima moške reproduktivne organe . " To se lahko izrazi tudi v obratnem vrstnem redu: "Če ima človek moške reproduktivne organe, potem pripada biološko moškemu spolu . " Kot lahko vidite, imamo dvosmerno trditev : zahteva, da imata oba izraza enako resnično vrednost, da je resnična.

Poleg »delcev« ali »neksusov«, ki smo jih omenili in so bistveni v dikondicionalni, ne moremo prezreti drugih elementov, ki so v njem enako uporabljeni. Nanašamo se na primer na "je potrebno in zadostno za" ali "enakovredno".

Na enak način ne moremo spregledati drugih resnično pomembnih vidikov bikondicionalnosti. Sklicujemo se, na primer, na dejstvo, da se uporablja tudi na področju matematike. V tem primeru je treba navesti, da so simboli, ki se uporabljajo za vplivanje na bikondicijo, dvosmerne puščice, ena v vsaki smeri.

Prav tako se moramo zavedati, da se z napredkom tehnologije srečujemo tudi z dejstvom, da je to pomembno tudi v okviru tistega, kar je znano kot digitalna logika. V tem primeru je dvokomponentni operater, ki ga je treba uporabiti, XNOR.

Poleg tega, kar je navedeno, da bi povzeli nekatere zamisli, moramo izhajati iz dejstva, da ima dvostranski predlog različne oblike prevajanja, med katerimi lahko izpostavimo naslednje:
-P je potreben in zadosten pogoj za q.
-P da in samo da q. Primer bi bil: "P = trikotnik je pravokotnik. Q = Trikotnik ima pravi kot ", iz katerega se izkaže, da je trikotnik pravokotnik, če in samo če ima pravokoten".
-Si p, nato q in vzajemno.
-Q je nujen in zadosten pogoj za str.
-Q da in samo da p.
- Če je potem q in vzajemno.