Mapa Mental - Matemática Discreta

Prévia do material em texto

Demonstração Regras de Inferência Demonstrações são Modus ponens permite concluir essenciais para validar a partir de uma implicação argumentos matemáticos. verdadeira. Um teorema é uma Silogismo hipotético conecta afirmação que pode ser duas implicações para uma nova provada verdadeira. conclusão. Métodos de demonstração Regras de inferência são incluem axiomas e fundamentais para argumentos regras de inferência. válidos. Um corolário é uma Particularização e proposição derivada de generalização são usadas em um teorema. quantificadores. Matemática Lógica Equivalências Proposicionais A lógica é fundamental para Discreta Tautologias são fórmulas sempre verdadeiras, contradições sempre raciocínio falsas. matemático. Duas proposições são equivalentes se Proposições são têm mesmos valores. sentenças que Leis de Morgan ajudam a simplificar podem ser expressões lógicas. verdadeiras ou Equivalências lógicas são úteis na falsas. construção de argumentos. A lógica proposicional combina Aplicações proposições usando operadores. Lógica é aplicada em inteligência Tabelas de verdade artificial e ajudam a entender programação. Quantificad Predicados Demonstrações são Quantificadores usadas em ciência da Predicados expressam universais afirmam que computação e propriedades de algo é verdadeiro para segurança. variáveis em todos. Quantificadores são proposições. Quantificadores fundamentais em Um predicado se torna existenciais afirmam que linguagens formais. proposição ao existe pelo menos um Equivalências lógicas atribuir um valor. caso. são úteis em Predicados são Negações de algoritmos e essenciais para a quantificadores alteram verificações. lógica matemática. significado das Exemplos ajudam a proposições. ilustrar uso de Exemplos ajudam a predicados. entender a aplicação de quantificadores.