Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1466| Título: | UMA AXIOMATIZAÇÃO PARA O CÁLCULO PROPOSICIONAL CLÁSSICO A PARTIR DE ROSSER |
| Autor(es): | CRUZ, Larissa Castro |
| Palavras-chave: | Lógica proposicional; Validade; Regras de Inferência; Axiomatizações; Metateoremas. Propositional logic; Validity; Inference rules; Axiomatizations; Metatheorems. |
| Data do documento: | 19-Dez-2014 |
| Editor: | UNIVERSIDADE FEDERAL DO MARANHÃO |
| Resumo: | Apresenta o cálculo proposicional clássico, explorando suas principais definições sintáticas e semânticas. Aborda procedimentos de teste de validade para fórmulas, apresenta regras de inferência, e analisa o método de dedução natural em nível proposicional. Apresenta características fundamentais da noção de teorias formais. Exibe uma axiomatização para o cálculo proposicional clássico a partir dos axiomas de Rosser (1953) apresentados em Mendelson (1997). Examina os metateoremas de correção, completude e consistência para esta axiomatização. |
| Descrição: | Monografia apresentada ao Curso de Filosofia da Universidade Federal do Maranhão, para obtenção do grau de Licenciatura Plena em Filosofia. |
| URI: | http://hdl.handle.net/123456789/1466 |
| Aparece nas coleções: | TCCs de Graduação em Filosofia do Campus do Bacanga |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| LarissaCruz.pdf | Trabalho de Conclusão de Curso | 362,73 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.