Respostas dos Exercícios do livro "Lógica para Computação"
De Wiki DAINF
(Diferença entre revisões)
(→Páginas 12-13) |
(→Errata) |
||
Linha 15: | Linha 15: | ||
* 1.1 (b): p <math>\vee</math> q <math>\vee</math> (r <math>\vee</math> s) | * 1.1 (b): p <math>\vee</math> q <math>\vee</math> (r <math>\vee</math> s) | ||
+ | * 1.2 (a): <math>\neg p \rightarrow q</math> |
Edição de 07h37min de 3 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): p <math>\vee</math> q <math>\vee</math> (r <math>\vee</math> s)
- 1.2 (a): <math>\neg p \rightarrow q</math>