Respostas dos Exercícios do livro "Lógica para Computação"
De Wiki DAINF
(Diferença entre revisões)
(→Errata) |
(→Errata) |
||
Linha 17: | Linha 17: | ||
* 1.2 (a): <math>(\neg p \rightarrow q)</math> | * 1.2 (a): <math>(\neg p \rightarrow q)</math> | ||
* 1.2 (b): <math>(((p \wedge \neg q) \wedge r) \wedge \neg s)</math> | * 1.2 (b): <math>(((p \wedge \neg q) \wedge r) \wedge \neg s)</math> | ||
− | * 1.2 (d): <math> | + | * 1.2 (d): <math>((p \wedge \neg q) \vee (r \wedge s))</math> |
* 1.2 (e): <math>((p \wedge \neg (p \rightarrow \neg q)) \vee \neg q)</math> | * 1.2 (e): <math>((p \wedge \neg (p \rightarrow \neg q)) \vee \neg q)</math> |
Edição de 13h17min de 4 de setembro de 2009
Capítulo 1
Versão Provisória
A resposta dos exercícios está, em versão provisória, em:
Errata
As respostas desta lista de exercícios foram elaboradas pelo monitor da disciplina em 2009: Max Raphael Sobroza Marques.
Eu, Adolfo Neto, à medida em que for encontrando erros nas respostas do Max, vou colocando a resposta correta aqui:
- 1.1 (b): <math>p \vee q \vee (r \vee s)</math>
- 1.2 (a): <math>(\neg p \rightarrow q)</math>
- 1.2 (b): <math>(((p \wedge \neg q) \wedge r) \wedge \neg s)</math>
- 1.2 (d): <math>((p \wedge \neg q) \vee (r \wedge s))</math>
- 1.2 (e): <math>((p \wedge \neg (p \rightarrow \neg q)) \vee \neg q)</math>