Implicarea este un termen cu mai multe utilizări, conform definițiilor indicate de dicționarul Academiei Regale Spaniole (RAE) . Poate fi consecința sau consecința unui lucru, o contradicție între termeni sau o incompatibilitate morală sau juridică de a lua o decizie justă .

Așa cum se întâmplă și cu alți termeni ai limbii noastre, cuvântul implicare este acceptat în special în unele țări din America de Sud, cum ar fi Argentina, Uruguay și Chile, în timp ce în Spania se folosește implicarea, care derivă direct dintr-un cuvânt latin. Deși semnificațiile lor sunt echivalente, ele au anumite diferențe, cum ar fi sensul uruguayan și chilian, care se referă la o incompatibilitate juridică sau morală, indicată în primul paragraf.

Știind că implicarea și implicarea sunt termeni sinonimi, este posibil să vorbim despre rolul lor în logică . Calculul logic, numit și derivare logică, este un sistem sau algoritm care oferă posibilitatea de a deduce sau de a deduce o declarație adevărată, bazată pe una sau mai multe care au fost validate ca fiind adevărate; Două dintre căile în care permite propozițiile de conectare și de legătură sunt adevăratele adevăruri funcționale și implicațiile .

Este posibil să se citească următoarea operație logică A -> B în două moduri, în funcție de faptul dacă este o condiție funcțională adevărată sau o implicare: în primul caz, citirea ei ar fi A, apoi B, iar acest lucru poate fi exemplificat de propoziția "Dacă suntem în anul 2014, atunci următorul va fi 2015" ; cealaltă posibilă citire este A implică B, în care două propoziții sunt legate, fiecare cu o valoare diferită, și un exemplu posibil este "Suntem în anul 2014", prin urmare "următorul va fi anul 2015" .

Aprofundând mai mult diferențele, citirea condiționată are ca rezultat propoziția având una din cele două valori posibile, care sunt adevărate și false; în tabelul valorilor adevărurilor (folosit pentru a arăta valorile adevărului propozițiilor compuse, contemplând toate combinațiile posibile ale adevărului), se poate observa că această afirmație poate fi doar falsă dacă A este adevărată și B, falsă. Pentru implicație, pe de altă parte, afirmarea lui B depinde de validitatea afirmației lui A: dacă mințim atunci când spunem că "suntem în anul 2014", atunci orice propunere legată de aceasta pierde valabilitatea.