Dissertação
- Autor
- GIOVANNI DA SILVA DE QUEIROZ
- Orientador(a)
- ELIAS HUMBERTO ALVES
- Universidade
- UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ) — UFPB-JP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 1993
1993GIOVANNI DA SILVA DE QUEIROZ. O CALCULO DE PREDICADOS DE PRIMEIRA ORDEM MONADICO. 1993. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ), PB. Orientador(a): ELIAS HUMBERTO ALVES.2
O CALCULO DE PREDICADOS DE PRIMEIRA ORDEM MONADICO APRESENTA-SE COMO UMA ESTRUTURA PADRAO PARA OS ESTUDOS DE VARIOS SISTEMAS (S5MODAL). APOS UMA APRESENTACAO HISTORICA APRESENTAMOS A SINTAXE DESTE CALCULO, COM OS PRINCIPAIS TEOREMAS E METATEOREMAS, A SEMANTICA E A DECIDIBILIDADE, UMA DAS CARACTERISTICAS DESTE CALCULO; DESENVOLVEMOS ESTA DECIDIBILIDADE PELO METODO DOS """"TABLEAUX"""", FAZEMOS CONSIDERACOES SOBRE O CALCULO MONADICO DE SEGUNDA ORDEM A PARTIR DE UM CALCULO PROPOSICIONAL COM QUANTIFICADORES SOBRE VARIAVEIS PROPOSICIONAIS E APRESENTAMOS OUTROS CALCULOS MONADICOS.
Palavras-chave: