Logica modal

Disponível somente no TrabalhosFeitos
  • Páginas : 85 (21221 palavras )
  • Download(s) : 0
  • Publicado : 25 de março de 2011
Ler documento completo
Amostra do texto
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO

LÓGICAS MODAIS: FUNDAMENTOS E APLICAÇÕES

Projeto de Diplomação

2

Sumário
Lista de Figuras ................................................................................................................ 3Resumo............................................................................................................................. 4 Abstract............................................................................................................................. 5 1 Introdução ................................................................................................................. 6 1.1Motivação.......................................................................................................... 6 1.2 Objetivos ........................................................................................................... 6 1.3 Metodologia ...................................................................................................... 7 1.4 Organização dotexto........................................................................................ 7 2 Visão Geral de Lógica .............................................................................................. 8 2.1 Introdução ......................................................................................................... 8
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 Satisfação........................................................................................................8 Sistemas de Avaliação......................................................................................9 Teoria da Prova................................................................................................9 Relações de Conseqüência............................................................................. 10 Relações de Acarretamento (entailment relations)............................................ 10 Propriedades Semânticas das Apresentações .................................................. 11

2.2
2.2.1 2.2.2 2.2.3 2.2.4 2.2.5

Lógica Clássica Proposicional........................................................................ 11
A linguagem da lógica clássica proposicional ................................................... 11 ApresentaçãoAxiomática................................................................................ 12 Sistema de Avaliação ..................................................................................... 12 Semântica...................................................................................................... 12 Corretude e Completude................................................................................. 13

2.3
2.3.1 2.3.2

Lógica Clássica de Primeira Ordem............................................................... 13
Axiomas......................................................................................................... 14 Regras de Inferência ...................................................................................... 14

3

Fundamentos de LógicaModal .............................................................................. 16 3.1 Introdução ....................................................................................................... 16
3.1.1 A noção de universo, mundos e a relação de acesso........................................ 17

3.2
3.2.1 3.2.2 3.2.3

A linguagem da lógica modal Proposicional.................................................. 18
Operadores .................................................................................................... 18 Fórmulas Modais............................................................................................ 19 Universo de uma Fórmula Modal ..................................................................... 20

3.3
3.3.1 3.3.2 3.3.3 3.3.4...
tracking img