exercicios lógica predicados

4º ano - Filosofia

APONTAMENTOS DE LÓGICA MATEMÁTICA
ANOTAÇÕES DE AULA E
RESOLUÇÃO COMENTADA DE EXERCÍCIOS
De Aluno para Aluno
(versão 2011)

Londrina/2011

2

A
Henrique Castelo Perez

3

ÍNDICE
Apresentação (versão 2011).................................................................................................6
Apresentação ........................................................................................................................7
Cap. 1
1.1

Cálculo Proposicional ..........................................................................................8
Introdução ..............................................................................................................8

1.2 Sintaxe I..................................................................................................................8
1.2.1 Alfabeto ...........................................................................................................9
1.2.2 Definições: expressão, fórmula atômica, fórmula .........................................10
1.2.2.1 Expressão ...............................................................................................10
1.2.2.1.1 Exercícios dados em sala no ano de 2009 ......................................11
1.2.2.1.1.1 Resposta comentada ...............................................................12
1.2.2.2 Fórmula..................................................................................................12
1.2.2.2.1 Árvore de Formação.......................................................................14
1.2.2.2.2 Exercícios dados em sala no ano de 2009 ......................................14
1.2.2.2.2.1 Resposta comentada ...............................................................15
1.3 Semântica .............................................................................................................22
1.3.1