Logica 2

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