

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considerando os conetivos da conjunção (⋀), da negação (~) e condicional (→), concluímos que a tabela-verdade da fórmula (~(P ⋀ Q)⋀ P → Q) é:
Somente tautologia.
Tautologia e equivalência lógica.
Tautologia e consequência lógica.
Contradição.
Indeterminação.