Uma tautologia é uma condição lógica característica, cujo o valor lógico é padronizado. A tautologia é a condição na qual o valor lógico é sempre verdadeiro, podendo ser visualizado em uma tabela verdade como a coluna do valor lógico composta apenas por condições verdadeiras (V). Podemos citar como exemplo uma afirmação comparada a sua oposta. Quando a primeira é verdadeira, a segunda é falsa, o que implica em uma proposição verdadeira. Quando a segunda é verdadeira, a primeira é falsa, o que implica em uma proposição verdadeira. Portanto, uma tautologia ocorre quando uma proposição possui valor lógico sempre verdadeiro.
Compartilhar