Импликацията е термин с няколко употреби, съгласно дефинициите, посочени от речника на Кралската испанска академия (RAE) . Може да е следствие или последица от нещо, противоречие между термините или морална или правна несъвместимост за вземане на справедливо решение .

Както се случва и с много други термини на нашия език, думата implication се приема главно в някои страни от Южна Америка, като Аржентина, Уругвай и Чили, докато в Испания се използва участие, което произтича пряко от латинска дума. Въпреки че техните значения са еквивалентни, те имат определени разлики, като уругвайското и чилийското значение, които се отнасят до правна или морална несъвместимост, посочена в първия параграф.

Знаейки, че импликацията и импликацията са синонимни термини, е възможно да се говори за тяхната роля в логиката . Логическото изчисление, наричано още логическо извличане, е система или алгоритъм, който дава възможност да се изведе или заключи истинско изявление, основаващо се на едно или повече от валидираните като истина; Две от начините, по които тя позволява свързване и свързване на предложения, са функционалната истина и условността .

Възможно е да се прочете следната логическа операция A -> B по два начина, в зависимост от това дали е истинско функционално условие или импликация: в първия случай, неговото четене ще бъде A, след това B, и това може да бъде илюстрирано с предложението "Ако сме през 2014 г., тогава следващата ще бъде 2015" ; другото възможно четене е А означава Б, в което са свързани две предложения, всяка с различна стойност, а възможен пример е „Ние сме през 2014 г.“, затова „следващото ще бъде 2015“ .

Удължавайки се повече в различията, условното четене води до предложението с една от двете възможни стойности, които са верни и неверни; в таблицата с ценностите на истината (използвани за показване на истинските стойности на сложните твърдения, обмислящи всички възможни комбинации от истина), може да се види, че това твърдение може да бъде невярно, само ако А е вярно и Б, лъжа. За импликацията, от друга страна, утвърждаването на Б зависи от валидността на утвърждаването на А: ако лъжем, когато казваме, че „ние сме в годината 2014“, тогава всяко предложение, свързано с него, губи валидност.