Logica
30034 palavras
121 páginas
JOÃO NUNES de SOUZAATENÇÃO. Versão preliminar de solução de exercícios preparada por alunos do mestrado em
Ciência da Computação, turma 02/2009
LÓGICA para CIÊNCIA da
COMPUTAÇÃO
Uma introdução concisa
22 de fevereiro de 2010
Sumário
Parte I LÓGICA PROPOSICIONAL
1
A linguagem da Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
2
A semântica da Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3
Propriedades Semânticas da Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4
Métodos para determinação de Propriedades Semânticas de Fórmulas da
Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5
Relações semânticas entre os conectivos da Lógica Proposicional . . . . . . . . . . . . . 67
6
Um sistema axiomático e um sistema de dedução natural na Lógica
Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
7
Tableaux semânticos e resolução na Lógica Proposicional . . . . . . . . . . . . . . . . . . . . 81
Parte II LÓGICA DE PREDICADOS
8
A linguagem da Lógica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
8.1 Exercício 11: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
9
A semântica da Lógica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
10 Propriedades semânticas da Lógica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
11 Programação Lógica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Parte I