A tautologia é uma proposição composta que é sempre verdadeira, independentemente do valor lógico das proposições simples que a constituem. Um exemplo simples de tautologia é a proposição p v (¬p), onde p pode ser qualquer valor lógico (verdadeiro ou falso) e a proposição sempre será verdadeira. Por exemplo, a afirmação "Miguel é sério ou Miguel não é sério" é uma tautologia, pois independentemente de Miguel ser sério ou não, a afirmação é sempre verdadeira. Uma propriedade interessante da tautologia é que, quando combinada com o operador condicional, resulta na própria proposição q, ou seja, (Taut → q) = q.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar