Definição implicação

Implicação é um termo com vários usos, de acordo com as definições indicadas pelo dicionário da Real Academia Espanhola (RAE) . Pode ser a consequência ou consequência de algo, uma contradição entre termos ou uma incompatibilidade moral ou legal para tomar uma decisão justa .

Como acontece com muitos outros termos de nossa língua, a palavra implicação é aceita principalmente em alguns países da América do Sul, como Argentina, Uruguai e Chile, enquanto na Espanha é usado o envolvimento, que deriva diretamente de uma palavra latina. Embora seus significados sejam equivalentes, eles têm certas diferenças, como o significado uruguaio e chileno que se refere a uma incompatibilidade legal ou moral, indicada no primeiro parágrafo.

Sabendo que implicação e implicação são termos sinônimos, é possível falar sobre seu papel na lógica . O cálculo lógico, também chamado de derivação lógica, é um sistema ou algoritmo que dá a possibilidade de deduzir ou inferir uma afirmação verdadeira, baseada em um ou mais que foram validados como verdadeiros; Duas das maneiras pelas quais ele permite conectar e relacionar proposições são a verdade funcional condicional e a implicação .

É possível ler a seguinte operação lógica A -> B de duas maneiras, dependendo se é uma condicional funcional verdadeira ou uma implicação: no primeiro caso, sua leitura seria A, então B, e isso pode ser exemplificado pela proposição. "Se estivermos no ano de 2014, o próximo será 2015" ; a outra leitura possível é A implica B, em que duas proposições estão relacionadas, cada uma com um valor diferente, e um possível exemplo é "Estamos no ano de 2014", portanto "o próximo será 2015" .

Aprofundando mais nas diferenças, a leitura condicional resulta na proposição tendo um dos dois valores possíveis, que são verdadeiros e falsos; em sua tabela de valores de verdade (usada para mostrar os valores de verdade das proposições compostas, contemplando todas as combinações possíveis de verdade), pode-se ver que essa afirmação só pode ser falsa se A for verdadeira e B, falsa. Para a implicação, por outro lado, a afirmação de B depende da validade da afirmação de A: se mentirmos ao dizer que "estamos no ano de 2014", então qualquer proposição relacionada a ele perde validade.

Recomendado