Noções de lógica e técnicas de demonstração

Detalhes bibliográficos
Autor(a) principal: Valverde, Dailton Zilioti
Data de Publicação: 2016
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMS
Texto Completo: https://repositorio.ufms.br/handle/123456789/3004
Resumo: O objetivo principal deste trabalho é o estudo de demonstrações matemáticas sob um olhar da logica proposicional. Demonstrações em matemática são argumentos que estabelecem a veracidade de uma proposição. Um argumento _e uma sequência de armações verdadeiras que terminam em uma conclusão. Técnicas de demonstração matemática são possiveis estratégias de argumentação logica para se provar sentenças matemáticas, aqui classificadas sob quatro métodos distintos de provas: _ Método da Demonstração Direta; _ Método da Demonstração pela Contrapositiva; _ Método da Demonstração por Absurdo; _ Método da Demonstração por Indução.
id UFMS_cd7feadfeb2e7944a27c1536af1526d3
oai_identifier_str oai:repositorio.ufms.br:123456789/3004
network_acronym_str UFMS
network_name_str Repositório Institucional da UFMS
repository_id_str 2124
spelling 2016-12-10T12:35:49Z2021-09-30T19:58:01Z2016https://repositorio.ufms.br/handle/123456789/3004O objetivo principal deste trabalho é o estudo de demonstrações matemáticas sob um olhar da logica proposicional. Demonstrações em matemática são argumentos que estabelecem a veracidade de uma proposição. Um argumento _e uma sequência de armações verdadeiras que terminam em uma conclusão. Técnicas de demonstração matemática são possiveis estratégias de argumentação logica para se provar sentenças matemáticas, aqui classificadas sob quatro métodos distintos de provas: _ Método da Demonstração Direta; _ Método da Demonstração pela Contrapositiva; _ Método da Demonstração por Absurdo; _ Método da Demonstração por Indução.ABSTRACT - The main objective of this work is the study of mathematical statements in a look of propositional logic. mathematical statements are arguments that establish the truth of a proposition. An argument is a sequence of true statements that end in a conclusion. mathematical proof techniques are possible logical reasoning strategies to prove mathematical sentences, here classi ed under four distinct evidence methods: Direct Statement Method; Demonstration of the Method by Contrapositive; Demonstration of the Method by Absurd; Demonstration Method Induction.porLógica Simbólica e MatemáticaNegação (Lógica)Proposição (Lógica)Teoria das DemonstraçõesLogic, Symbolic and MathematicalNegation (Logic)Proposition (Logic)Proof TheoryNoções de lógica e técnicas de demonstraçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisFreitas, Elisabete SousaValverde, Dailton Ziliotiinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMSinstname:Universidade Federal de Mato Grosso do Sul (UFMS)instacron:UFMSTHUMBNAILDailton Zilioti Valverde.pdf.jpgDailton Zilioti Valverde.pdf.jpgGenerated Thumbnailimage/jpeg1333https://repositorio.ufms.br/bitstream/123456789/3004/4/Dailton%20Zilioti%20Valverde.pdf.jpg88db0970ff98e075127146f95831c29cMD54ORIGINALDailton Zilioti Valverde.pdfDailton Zilioti Valverde.pdfapplication/pdf450172https://repositorio.ufms.br/bitstream/123456789/3004/1/Dailton%20Zilioti%20Valverde.pdfed37b01ecbb5155a3d6350ec72c7d556MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.ufms.br/bitstream/123456789/3004/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTDailton Zilioti Valverde.pdf.txtDailton Zilioti Valverde.pdf.txtExtracted texttext/plain0https://repositorio.ufms.br/bitstream/123456789/3004/3/Dailton%20Zilioti%20Valverde.pdf.txtd41d8cd98f00b204e9800998ecf8427eMD53123456789/30042021-09-30 15:58:01.928oai:repositorio.ufms.br:123456789/3004Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufms.br/oai/requestri.prograd@ufms.bropendoar:21242021-09-30T19:58:01Repositório Institucional da UFMS - Universidade Federal de Mato Grosso do Sul (UFMS)false
dc.title.pt_BR.fl_str_mv Noções de lógica e técnicas de demonstração
title Noções de lógica e técnicas de demonstração
spellingShingle Noções de lógica e técnicas de demonstração
Valverde, Dailton Zilioti
Lógica Simbólica e Matemática
Negação (Lógica)
Proposição (Lógica)
Teoria das Demonstrações
Logic, Symbolic and Mathematical
Negation (Logic)
Proposition (Logic)
Proof Theory
title_short Noções de lógica e técnicas de demonstração
title_full Noções de lógica e técnicas de demonstração
title_fullStr Noções de lógica e técnicas de demonstração
title_full_unstemmed Noções de lógica e técnicas de demonstração
title_sort Noções de lógica e técnicas de demonstração
author Valverde, Dailton Zilioti
author_facet Valverde, Dailton Zilioti
author_role author
dc.contributor.advisor1.fl_str_mv Freitas, Elisabete Sousa
dc.contributor.author.fl_str_mv Valverde, Dailton Zilioti
contributor_str_mv Freitas, Elisabete Sousa
dc.subject.por.fl_str_mv Lógica Simbólica e Matemática
Negação (Lógica)
Proposição (Lógica)
Teoria das Demonstrações
Logic, Symbolic and Mathematical
Negation (Logic)
Proposition (Logic)
Proof Theory
topic Lógica Simbólica e Matemática
Negação (Lógica)
Proposição (Lógica)
Teoria das Demonstrações
Logic, Symbolic and Mathematical
Negation (Logic)
Proposition (Logic)
Proof Theory
description O objetivo principal deste trabalho é o estudo de demonstrações matemáticas sob um olhar da logica proposicional. Demonstrações em matemática são argumentos que estabelecem a veracidade de uma proposição. Um argumento _e uma sequência de armações verdadeiras que terminam em uma conclusão. Técnicas de demonstração matemática são possiveis estratégias de argumentação logica para se provar sentenças matemáticas, aqui classificadas sob quatro métodos distintos de provas: _ Método da Demonstração Direta; _ Método da Demonstração pela Contrapositiva; _ Método da Demonstração por Absurdo; _ Método da Demonstração por Indução.
publishDate 2016
dc.date.accessioned.fl_str_mv 2016-12-10T12:35:49Z
dc.date.issued.fl_str_mv 2016
dc.date.available.fl_str_mv 2021-09-30T19:58:01Z
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 https://repositorio.ufms.br/handle/123456789/3004
url https://repositorio.ufms.br/handle/123456789/3004
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.source.none.fl_str_mv reponame:Repositório Institucional da UFMS
instname:Universidade Federal de Mato Grosso do Sul (UFMS)
instacron:UFMS
instname_str Universidade Federal de Mato Grosso do Sul (UFMS)
instacron_str UFMS
institution UFMS
reponame_str Repositório Institucional da UFMS
collection Repositório Institucional da UFMS
bitstream.url.fl_str_mv https://repositorio.ufms.br/bitstream/123456789/3004/4/Dailton%20Zilioti%20Valverde.pdf.jpg
https://repositorio.ufms.br/bitstream/123456789/3004/1/Dailton%20Zilioti%20Valverde.pdf
https://repositorio.ufms.br/bitstream/123456789/3004/2/license.txt
https://repositorio.ufms.br/bitstream/123456789/3004/3/Dailton%20Zilioti%20Valverde.pdf.txt
bitstream.checksum.fl_str_mv 88db0970ff98e075127146f95831c29c
ed37b01ecbb5155a3d6350ec72c7d556
8a4605be74aa9ea9d79846c1fba20a33
d41d8cd98f00b204e9800998ecf8427e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMS - Universidade Federal de Mato Grosso do Sul (UFMS)
repository.mail.fl_str_mv ri.prograd@ufms.br
_version_ 1815448066411462656

Registros relacionados