Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos

• Ano de defesa: 2017
• Autor(a) principal: Peach, Glen
• Orientador(a): Moura, Renato José de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de São Carlos; Câmpus São Carlos
• Programa de Pós-Graduação: Programa de Mestrado Profissional em Matemática em Rede Nacional - PROFMAT
• Palavras-chave em Português: Noções de conjuntos; Especificações de conjuntos; Cálculo dos predicados; Cálculo sentencial
• Palavras-chave em Inglês: Notions of sets; Set specifications; Predicate calculus; Sentential calculus
• Área do conhecimento CNPq: CIENCIAS EXATAS E DA TERRA::MATEMATICA
• Link de acesso: https://repositorio.ufscar.br/handle/20.500.14289/9278

The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students.