filosofia

Universidade do Sul de Santa Catarina – Unisul
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