Lógica básica e o método axiomático : uma introdução através da teoria dos conjuntos

• Main Author: Nunes, André Anderson da Silva
• Other Authors: Matos, Helder de Carvalho
• Language: Portuguese
• Published: 2015
• Subjects: Teoria dos conjuntos; Sistema axiomático; Lógica básica; Geometria euclidiana
• Online Access: http://repositorio.unb.br/handle/10482/18944; http://dx.doi.org/10.26512/2015.06.D.18944

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2015. === Submitted by Fernanda Percia França ([e-mail]) on 2015-12-04T12:46:10Z No. of bitstreams: 1 2015_AndréAndersondaSilvaNunes.pdf: 2728666 bytes, checksum: 85369fb54ffd730b414379b1782dfeff (MD5) === Approved for entry into archive by Raquel Viana([e-mail]) on 2015-12-17T15:29:30Z (GMT) No. of bitstreams: 1 2015_AndréAndersondaSilvaNunes.pdf: 2728666 bytes, checksum: 85369fb54ffd730b414379b1782dfeff (MD5) === Made available in DSpace on 2015-12-17T15:29:30Z (GMT). No. of bitstreams: 1 2015_AndréAndersondaSilvaNunes.pdf: 2728666 bytes, checksum: 85369fb54ffd730b414379b1782dfeff (MD5) === A escolha do tema visa introduzir de forma simplificada os princípios do método axiomático, bem como a forma organizada de pensar e argumentar, ambos aplicados à Teoria dos Conjuntos. Convidamos o leitor, principalmente o professor de ensino básico, a buscar o aperfeiçoamento de sua forma de argumentar através de regras convencionalmente aceitas e bem definidas da Lógica Básica. Tal competência argumentativa é fundamental na árdua tarefa de conduzir os discentes a evoluir de um modo informal (no Ensino Fundamental) a um sofisticado método de organização de demonstrações, fundamentado em um sistema dedutivo completo. O modelo axiomático utilizado no ensino básico é o da Geometria Euclidiana Plana. Neste trabalho, entretanto, o investimento foi no tratamento da Teoria dos Conjuntos, dada sua grande importância dentro de todos os outros ramos da Matemática. === The choice of theme is to provide a simple way of introduction to the principles of axiomatic method and an organized way of thinking and arguing, both applied to Set Theory. We invite the reader, especially the teacher of elementary education, to seek the improvement of their way to argue through conventionally accepted and wellde _ned rules of the Basic Logic. This argumentative competence is fundamental in the arduous task of leading the students to evolve in an informal way (in elementary school) to a sophisticated method of organizing proofs, based on a complete deductive system. The axiomatic model used in basic education is the Euclidean geometry. In this work, however, the investment was in the treatment of Set Theory, given its great importance in all other branches of mathematics.