Definiție biconditional

Dacă căutăm termenul bicondicional în dicționarul Academiei Regale Spaniole ( RAE ), nu o vom găsi. Conceptul, totuși, este adesea folosit în domeniul filozofiei și al logicii .

biconditional

O descriere bicondială este o propoziție care are o condiționalitate dublă, fixată de formulele pe care le relaționează într-un mod binar. În limbajul colocvial, ideea este asociată cu expresia "dacă și numai dacă" : bicondiența este adevărată dacă termenii pe care îi relaționează împărtășesc valoarea adevărului (adică dacă cele două formule sunt adevărate sau dacă cele două formule sunt false) ). Pe de altă parte, atunci când formulele au valori diferite ale adevărului (din moment ce unul este fals și celălalt adevărat), bicondina este falsă.

Cu alte cuvinte, un bicondițional implică faptul că R este o condiție suficientă și necesară pentru S. De asemenea, se poate indica faptul că "dacă R, atunci S" și "dacă S, atunci R" .

Luați exemplul următoarei propoziții: "O ființă umană aparține biologic sexului masculin dacă are organe reproductive masculine" . Lăsând la o parte problemele culturale și de identitate, se poate afirma că o ființă umană face parte din genul masculin "dacă și numai dacă" are organe de reproducere masculine.

Revenind la formulele menționate mai sus: "Dacă o ființă umană aparține biologic sexului masculin, atunci are organe de reproducere masculine" . Acest lucru poate fi exprimat și în sens invers: "Dacă o ființă umană are organe de reproducere masculine, atunci ea aparține biologic sexului masculin" . După cum puteți vedea, avem o propunere bicondială : impune ca ambii termeni să aibă aceeași valoare de adevăr pentru a fi adevărată.

În plus față de "particulele" sau "nexusurile" pe care le-am menționat că sunt esențiale în biconducă, nu putem ignora alte elemente care, în același mod, sunt folosite în ea. Ne referim, de exemplu, la "este necesar și suficient pentru" sau "este echivalent cu".

În același mod, nu putem trece cu vederea alte aspecte cu adevărat importante ale biconducătoarei. Ne referim, de exemplu, la faptul că este folosit, de asemenea, forțat în domeniul matematicii. În acest caz, trebuie să se afirme că simbolurile folosite pentru a face un impact asupra bicondienței sunt săgețile cu două puncte, una în fiecare direcție.

De asemenea, trebuie să ținem cont de faptul că, odată cu avansarea tehnologiei, întâlnim și faptul că este important și în ceea ce se numește logică digitală. În acest caz, operatorul bicondițional care urmează să fie utilizat este XNOR.

În afară de ceea ce este indicat, pentru a rezuma anumite idei, trebuie să pornim de la faptul că propunerea bicondială are diferite forme de traducere, dintre care putem evidenția următoarele:
-P este o condiție necesară și suficientă pentru q.
-P da și numai da q. Un exemplu ar fi: "P = Un triunghi este un dreptunghi. Q = Un triunghi are un unghi drept ", din care se va dovedi că un triunghi este un dreptunghi dacă și numai dacă are un unghi drept".
-Si p atunci q și reciproc.
-Q este o condiție necesară și suficientă pentru p.
-Q da și numai da p.
-Dacă atunci q și reciproc.

Recomandat