Justifique cada afirmação abaixo e identifique quais delas são falsas a) ((p → q) → p) é uma tautologia. b)
Justifique cada afirmação abaixo e identifique quais delas são falsas a) ((p → q) → p) é uma tautologia.b) Se φ → ψ não é uma tautologia, então ψ não é consequência lógica de φ.
c) Se ¬φ não é satisfatível, então φ é uma fórmula válida.
d) A sentença ∀x∃yQ(x, y) → ∃y∀xQ(x, y) é satisfatível.
Rafaela está aguardando sua ajuda, Clique aqui para responder.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
