Qual é a definição de uma tautologia na lógica proposicional? Uma tautologia é uma proposição logicamente verdadeira, independente dos valores lóg...

Qual é a definição de uma tautologia na lógica proposicional?

Uma tautologia é uma proposição logicamente verdadeira, independente dos valores lógicos das proposições originárias.
Uma tautologia é uma proposição logicamente falsa, dependente dos valores lógicos das proposições originárias.
Uma tautologia é uma proposição que pode ser verdadeira ou falsa, dependendo dos valores lógicos das proposições originárias.