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.
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.
0 Respostas
Mais perguntas de Lógica
Top Semanal
Top Perguntas
Você tem alguma dúvida?
Faça sua pergunta e receba a resposta de outros estudantes.
