Implikacja to termin z kilkoma zastosowaniami, zgodnie z definicjami wskazanymi przez słownik Royal Spanish Academy (RAE) . Może to być konsekwencja lub konsekwencja czegoś, sprzeczność terminów lub niezgodność moralna lub prawna w podejmowaniu słusznych decyzji .

Jak to się dzieje w przypadku wielu innych terminów naszego języka, słowo "implikacja" jest akceptowane głównie w niektórych krajach Ameryki Południowej, takich jak Argentyna, Urugwaj i Chile, podczas gdy w Hiszpanii używane jest zaangażowanie wywodzące się bezpośrednio z łacińskiego słowa. Mimo że ich znaczenia są równoważne, mają pewne różnice, takie jak znaczenie urugwajskie i chilijskie, które odnosi się do niezgodności prawnej lub moralnej, wskazanej w pierwszym akapicie.

Wiedząc, że implikacja i implikacja są terminami synonimicznymi, można mówić o ich roli w logice . Obliczenie logiczne, zwane również wyprowadzeniem logicznym, jest systemem lub algorytmem, który daje możliwość wyprowadzenia lub wywnioskowania prawdziwego stwierdzenia, opartego na jednym lub kilku, które zostały potwierdzone jako prawdziwe; Dwa sposoby, na jakie pozwala na łączenie i powiązanie zdań, to warunkowa prawda prawdy i jej implikacja .

Możliwe jest odczytanie następującej operacji logicznej A -> B na dwa sposoby, w zależności od tego, czy jest to funkcja prawdziwa , czy też implikacja: w pierwszym przypadku jej odczyt byłby A, następnie B, a przykładem może być propozycja "Jeśli będziemy w roku 2014, to następny będzie 2015" ; druga możliwa lektura to A oznacza B, w której dwa zdania są powiązane, każdy z inną wartością, a możliwym przykładem jest "Jesteśmy w roku 2014", dlatego "następny będzie 2015" .

Pogłębiając bardziej różnice, odczyt warunkowy powoduje, że twierdzenie ma jedną z dwóch możliwych wartości, które są prawdziwe i fałszywe; w jego tabeli wartości prawdy (używanej do pokazania wartości prawdy złożonych zdań, rozważania wszystkich możliwych kombinacji prawdy), można zauważyć, że to stwierdzenie może być fałszywe tylko wtedy, gdy A jest prawdziwe, a B - fałszywe. Z drugiej strony, afirmacja B zależy od ważności afirmacji A: jeśli kłamiemy mówiąc, że "jesteśmy w roku 2014", wówczas każda propozycja z nim związana traci ważność.