filosofia
Campus Virtual
Avaliação a distância (AD)
Disciplina: Lógica II
Curso:
Professor:
Nome do aluno:
Data:
Orientações:
Procure o professor sempre que tiver dúvidas.
Entregue a atividade no prazo estipulado.
Esta atividade é obrigatória e fará parte da sua média final.
Encaminhe a atividade via Espaço UnisulVirtual de Aprendizagem (EVA).
1. Você estudou que o cálculo proposicional (CPC) utiliza dez regras básicas para construir provas sintáticas da validade das formas de argumento. Usando essas regras, demonstre a validade das formas de argumento a seguir: (2,0 pontos)
a) A B, A D, B C ├ D C
2. Você estudou que o cálculo proposicional (CPC) também utiliza regras derivadas para construir provas sintáticas da validade das formas de argumento. Usando livremente tanto as regras básicas quanto as derivadas, demonstre a validade das formas de argumento a seguir: (4,0 pontos)
a) A B, C ¬B ├ C ¬A
b) D C ├ F (C v H)
Boa tarde, professor.
Percebi que o senhor não gosta muito de responde aos que estão "chorando" por causa da correção da AD.
O senhor vai me desculpar, mas terei que fazer o mesmo...
A questão 2 - B da minha AD, o senhor zerou. Percebi pela correção que mudei a ordem da Hipótese, mas achei o mesmo resultado e o desenrolar da questão foi o mesmo, digo, a essência. Tem como o senhor rever, por gentileza? Obrigado e tenha um boa noite.
Respondido por SERGIO SELL em 11/11/2012 14:34
Oi Carlos Augusto
A questão era sobre prova do condicional e introdução da disjunção.
Você errou a prova do condicional e acertou a introdução da disjunção.
Posso dar meio ponto na questão.
Abraço,
Sérgio
Respondido por SERGIO SELL em 29/10/2012 10:12
Oi Erick,
A questão 2 não é difícil.
Deve ter algum detalhe que você não está percebendo, mas que quando perceber você verá que realmente não é nada demais.
Vou dar algumas pistas:
Na