Respostas dos Exercícios do livro "Lógica para Computação"
De Wiki DAINF
(Diferença entre revisões)
(→= Páginas 12-13) |
(→Errata) |
||
| (17 edições intermediárias de um usuário não apresentadas) | |||
| Linha 1: | Linha 1: | ||
== Capítulo 1 == | == Capítulo 1 == | ||
| − | |||
| − | 1.1 | + | == Versão Provisória == |
| − | ( | + | |
| − | ( | + | A resposta dos exercícios do livro (SILVA; FINGER; MELO, 2006) (ver [http://www.dainf.ct.utfpr.edu.br/wiki/index.php/L%C3%B3gica_para_Computa%C3%A7%C3%A3o#Bibliografia_B.C3.A1sica a bibliografia da disciplina]) está, em versão provisória, em: |
| + | * [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/11.Exercicios/ Respostas dos Exercícios do livro "Lógica para Computação"] | ||
| + | |||
| + | |||
| + | === 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> | ||
| + | * 1.7 (f): segunda linha é 0 1 1 0 (apontado por Wyllian) | ||
Edição atual tal como 20h56min de 18 de dezembro de 2012
Capítulo 1
Versão Provisória
A resposta dos exercícios do livro (SILVA; FINGER; MELO, 2006) (ver a bibliografia da disciplina) 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>
- 1.7 (f): segunda linha é 0 1 1 0 (apontado por Wyllian)
