Visão geral dos métodos de demonstração e introdução aos quantificadores

Anotacoes

Métodos de demonstração Você vai estudar os métodos de demonstração como fundamento matemático para problemas relacionados à engenharia e à computação. Projetar, analisar, interpretar, resolver e validar soluções para problemas, por meio do uso de metodologias e técnicas que envolvam métodos de demonstração, são aspectos de formalismo da lógica matemática importantes para os profissionais das ciências exatas em geral. Prof. Manuel Ramos de Freitas 1. Itens iniciais Preparação Antes de iniciar o conteúdo, é recomendável que você use um navegador de internet de sua preferência em seu dispositivo e busque uma calculadora on-line do tipo calculadora lógica (tabela-verdade) para acompanhar os exemplos apresentados. Objetivos • Descrever as demonstrações por vacuidade, trivial, direta e por contradição (ou redução ao absurdo). • Reconhecer as técnicas envolvendo quantificadores. • Reconhecer o princípio da indução e suas aplicações. Introdução Uma demonstração matemática é o processo de provar uma declaração começando com axiomas simples e utilizando regras de inferência para construir teoremas complexos. Semelhante à programação de computadores, que usa instruções simples para criar sof...