Afirmação, do latim affirmatio, é a ação e efeito de afirmar ou afirmar . É comum que o termo seja usado em referência ao ato que permite que uma pessoa expresse seu consentimento a uma declaração ou causa. Por exemplo: "Com um gesto de afirmação, o interrogado reconheceu que conhecia o suspeito", "A afirmação da mulher surpreendeu os vizinhos", "não posso concordar com tal afirmação" .

Mas a natureza de uma afirmação nem sempre é o fundamento, já que para diversas questões culturais os seres humanos estão acostumados a repetir dados que adquirimos passivamente, sem analisar sua veracidade, sem contrastar suas fontes. Um dos campos em que essa falta de apoio teórico é mais importante é a saúde: todos somos capazes de descrever as características de um resfriado, das razões pelas quais ele aparece até sua evolução e os métodos de combatê-lo, mas quase ninguém tem conhecimento técnico ou estudos com os quais você pode defender esta informação.

Isso não significa que uma grande porcentagem de pessoas minta diariamente, mas que o significado da palavra afirmação seja amplo e que dependa do contexto no qual ela é usada. Além disso, afirmar algo falso acreditando que é verdade não pode ser descrito como uma mentira, mas, em qualquer caso, de negligência .

Equivalentes lógicos

É conhecido pelo nome de equivalência lógica a uma semelhança em termos da verdade que existe entre duas ou mais expressões, desde que qualquer delas seja válida. Em outras palavras, para verificar um determinado caso, uma afirmação ou outra do grupo pode ser tomada sem afetar o resultado final. O método mais comumente utilizado para demonstrar equivalências é o da tabela verdade .

Por mais fácil que pareça analisar a verdade de uma afirmação na vida cotidiana, a lógica vai além da simples verificação que podemos realizar no dia-a-dia, e decompõe cada expressão em partes, estuda o modo como estão relacionadas e Ele os trata como se fossem equações matemáticas, de modo que uma demonstração de equivalências produz resultados impossíveis de refutar.

Na álgebra declarativa, também chamada de proposicional, expressões lógicas são manipuladas através de variáveis ​​e constantes para representar valores de verdade, e existem vários esquemas que servem para resolver as equivalências, como se fossem propriedades matemáticas que ajudam a limpar incógnitas de uma equação.