Logica 2

8,0

Universidade do Sul de Santa Catarina – Unisul
Campus Virtual

Avaliação à distância (AD)

Disciplina: Lógica II
Curso: Filosofia
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

1. A  B P
2. A  D P
3. B  C P
4. B 1 E
5. C 3,4 MP
6. A  D 2 E
7. A 1 E ^
8. D 6,7 MP 9. DC 8,5 I
Argumento Válido.

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

1. A  B P
2. C  ¬B P
3. | C HPC
4. | ¬B 2,3 MP
5. | ¬A 1,4 MT
6. C  ¬A 3-5 PC

Argumento Válido.

b) D  C ├ F  (C v H)

1. D  C P
2. | F HPC
3. | C 1 E
4. | (C v H) 3 I v
5. F  (C v H) 2-4 PC

Argumento Válido.

3. No decorrer da disciplina você pode verificar que o Cálculo de Predicados é um sistema formal que possibilita a representação de proposições usando símbolos para os operadores lógicos, letras predicativas e letras nominais. Formalize as sentenças e argumentos a seguir usando a linguagem do cálculo de predicados e a seguinte