Dizemos que uma sentença composta é uma tautologia se seu valor lógico é sempre verdadeiro.
Considere que P e Q sejam proposições e que "Λ", "V", "~" e "→" sejam os conectores lógicos que representam, respectivamente, "e", "ou", "negação" e o "conector condicional".
Qual das sentenças compostas abaixo não é uma tautologia?
Provas
Questão presente nas seguintes provas
