Análise estruturada e formal das provas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10773/2913 |
Resumo: | Nesta dissertação introduzimos a Teoria da Prova através de sistemas dedutivos como o cálculo de Hilbert para a Lógica Proposicional Clássica e, de uma forma mais pormenorizada, o sistema de Dedução Natural para a Lógica Proposicional Clássica e para a Lógica de Primeira Ordem. As regras de inferência do sistema de Dedução Natural reflectem de forma convincente o raciocínio lógico envolvido nas provas matemáticas usuais. Apresentamos outros cálculos para a Lógica Proposicional Clássica: cálculo de sequentes, cálculo de Smullyan, e ainda, de uma forma resumida, o cálculo Intuicionista. Por fim, apresentamos uma discussão sobre provas de alguns resultados matemáticos abordadas no ensino secundário, fazendo uma análise comparativa entre as demonstrações standard e as correspondentesdemonstrações usando o sistema de Dedução Natural. Este último capítulo pode ser mais um elemento de apoio para os professores de Matemática do ensino secundário, pois permite-lhes uma melhor compreensão de alguns argumentos lógicos envolvidos nas provas de resultados matemáticos. ABSTRACT: In this thesis, we introduce the Proof Theory by using some deductive systems. The systems we considered are the Hilbert Calculus for Classic Propositional Logic and, in more detail, the Natural Deduction system for the Classic Propositional Logic and for the First Order Logic. The inference rules of the Natural Deduction system, convincingly reflects the logical reasoning present in the usual mathematical proofs. We present other calculus for Classical Propositional Logic: sequents calculus, Smullyan calculus, and also briefly, the Intuitionist calculus. Finally, we discuss proofs of some mathematical results studied in the high school, by making a comparative analysis between standard proofs and the corresponding ones using the Natural Deduction system. This last study can be a useful resource for high school mathematics teachers, since it allows a better understanding of some logical arguments used in the proofs of some mathematical results. |
id |
RCAP_d8355569e01f770cc4c182e001f29f85 |
---|---|
oai_identifier_str |
oai:ria.ua.pt:10773/2913 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Análise estruturada e formal das provasMatemáticaLógica proposicionalTeoria da provaNesta dissertação introduzimos a Teoria da Prova através de sistemas dedutivos como o cálculo de Hilbert para a Lógica Proposicional Clássica e, de uma forma mais pormenorizada, o sistema de Dedução Natural para a Lógica Proposicional Clássica e para a Lógica de Primeira Ordem. As regras de inferência do sistema de Dedução Natural reflectem de forma convincente o raciocínio lógico envolvido nas provas matemáticas usuais. Apresentamos outros cálculos para a Lógica Proposicional Clássica: cálculo de sequentes, cálculo de Smullyan, e ainda, de uma forma resumida, o cálculo Intuicionista. Por fim, apresentamos uma discussão sobre provas de alguns resultados matemáticos abordadas no ensino secundário, fazendo uma análise comparativa entre as demonstrações standard e as correspondentesdemonstrações usando o sistema de Dedução Natural. Este último capítulo pode ser mais um elemento de apoio para os professores de Matemática do ensino secundário, pois permite-lhes uma melhor compreensão de alguns argumentos lógicos envolvidos nas provas de resultados matemáticos. ABSTRACT: In this thesis, we introduce the Proof Theory by using some deductive systems. The systems we considered are the Hilbert Calculus for Classic Propositional Logic and, in more detail, the Natural Deduction system for the Classic Propositional Logic and for the First Order Logic. The inference rules of the Natural Deduction system, convincingly reflects the logical reasoning present in the usual mathematical proofs. We present other calculus for Classical Propositional Logic: sequents calculus, Smullyan calculus, and also briefly, the Intuitionist calculus. Finally, we discuss proofs of some mathematical results studied in the high school, by making a comparative analysis between standard proofs and the corresponding ones using the Natural Deduction system. This last study can be a useful resource for high school mathematics teachers, since it allows a better understanding of some logical arguments used in the proofs of some mathematical results.Universidade de Aveiro2011-04-19T14:29:58Z2009-01-01T00:00:00Z2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/2913porBarreto, Maria Nilde Fernandesinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-02-22T11:01:28Zoai:ria.ua.pt:10773/2913Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:41:16.174747Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Análise estruturada e formal das provas |
title |
Análise estruturada e formal das provas |
spellingShingle |
Análise estruturada e formal das provas Barreto, Maria Nilde Fernandes Matemática Lógica proposicional Teoria da prova |
title_short |
Análise estruturada e formal das provas |
title_full |
Análise estruturada e formal das provas |
title_fullStr |
Análise estruturada e formal das provas |
title_full_unstemmed |
Análise estruturada e formal das provas |
title_sort |
Análise estruturada e formal das provas |
author |
Barreto, Maria Nilde Fernandes |
author_facet |
Barreto, Maria Nilde Fernandes |
author_role |
author |
dc.contributor.author.fl_str_mv |
Barreto, Maria Nilde Fernandes |
dc.subject.por.fl_str_mv |
Matemática Lógica proposicional Teoria da prova |
topic |
Matemática Lógica proposicional Teoria da prova |
description |
Nesta dissertação introduzimos a Teoria da Prova através de sistemas dedutivos como o cálculo de Hilbert para a Lógica Proposicional Clássica e, de uma forma mais pormenorizada, o sistema de Dedução Natural para a Lógica Proposicional Clássica e para a Lógica de Primeira Ordem. As regras de inferência do sistema de Dedução Natural reflectem de forma convincente o raciocínio lógico envolvido nas provas matemáticas usuais. Apresentamos outros cálculos para a Lógica Proposicional Clássica: cálculo de sequentes, cálculo de Smullyan, e ainda, de uma forma resumida, o cálculo Intuicionista. Por fim, apresentamos uma discussão sobre provas de alguns resultados matemáticos abordadas no ensino secundário, fazendo uma análise comparativa entre as demonstrações standard e as correspondentesdemonstrações usando o sistema de Dedução Natural. Este último capítulo pode ser mais um elemento de apoio para os professores de Matemática do ensino secundário, pois permite-lhes uma melhor compreensão de alguns argumentos lógicos envolvidos nas provas de resultados matemáticos. ABSTRACT: In this thesis, we introduce the Proof Theory by using some deductive systems. The systems we considered are the Hilbert Calculus for Classic Propositional Logic and, in more detail, the Natural Deduction system for the Classic Propositional Logic and for the First Order Logic. The inference rules of the Natural Deduction system, convincingly reflects the logical reasoning present in the usual mathematical proofs. We present other calculus for Classical Propositional Logic: sequents calculus, Smullyan calculus, and also briefly, the Intuitionist calculus. Finally, we discuss proofs of some mathematical results studied in the high school, by making a comparative analysis between standard proofs and the corresponding ones using the Natural Deduction system. This last study can be a useful resource for high school mathematics teachers, since it allows a better understanding of some logical arguments used in the proofs of some mathematical results. |
publishDate |
2009 |
dc.date.none.fl_str_mv |
2009-01-01T00:00:00Z 2009 2011-04-19T14:29:58Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10773/2913 |
url |
http://hdl.handle.net/10773/2913 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade de Aveiro |
publisher.none.fl_str_mv |
Universidade de Aveiro |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799137461204418560 |