UMA AXIOMATIZAÇÃO PARA O CÁLCULO PROPOSICIONAL CLÁSSICO  A PARTIR DE ROSSER

CRUZ, Larissa Castro

Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1466

Registro completo de metadados

Campo DC	Valor	Idioma
dc.contributor.author	CRUZ, Larissa Castro	-
dc.date.accessioned	2017-09-18T13:32:32Z	-
dc.date.available	2017-09-18T13:32:32Z	-
dc.date.issued	2014-12-19	-
dc.identifier.uri	http://hdl.handle.net/123456789/1466	-
dc.description	Monografia apresentada ao Curso de Filosofia da Universidade Federal do Maranhão, para obtenção do grau de Licenciatura Plena em Filosofia.	pt_BR
dc.description.abstract	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.	pt_BR
dc.language.iso	other	pt_BR
dc.publisher	UNIVERSIDADE FEDERAL DO MARANHÃO	pt_BR
dc.subject	Lógica proposicional;	pt_BR
dc.subject	Validade;	pt_BR
dc.subject	Regras de Inferência;	pt_BR
dc.subject	Axiomatizações;	pt_BR
dc.subject	Metateoremas.	pt_BR
dc.subject	Propositional logic;	pt_BR
dc.subject	Validity;	pt_BR
dc.subject	Inference rules;	pt_BR
dc.subject	Axiomatizations;	pt_BR
dc.subject	Metatheorems.	pt_BR
dc.title	UMA AXIOMATIZAÇÃO PARA O CÁLCULO PROPOSICIONAL CLÁSSICO A PARTIR DE ROSSER	pt_BR
dc.type	Other	pt_BR
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

Mostrar registro simples do item Visualizar estatísticas