Mapa Mental - Lógica Matemática

Prévia do material em texto

Quantificadores Regras de Negação Quantificador universal Negação da conjunção e q indica que a é (não p) ou (não q), propriedade vale para invertendo a lógica todos elementos Negação da disjunção p ou q Quantificador existencial é (não p) e (não q), indica que existe negando ambas as pelo menos um elemento proposições que satisfaz Negação do quantificador Quantificador existencial universal p(x) é tal único indica que não p(x) existência e unicidade do elemento Negação do quantificador 12 existencial p(x) é Variáveis livres não são não p(x), invertendo a quantificadas; variáveis existência aparente estão quantificadas Lógica Proposições Conectivos Lógicos Sentenças declarativas Matemática Conjunção (p e q) é que são verdadeiras ou verdadeira somente se ambas falsas, nunca ambas as proposições forem Proposições abertas verdadeiras dependem de variáveis Disjunção ou q) é e seu valor varia verdadeira se pelo menos uma conforme elas das proposições for Conjunto verdade é verdadeira conjunto dos valores Negação (não p) inverte que tornam a valor lógico da proposição p proposição aberta Prioridade: negação afeta a verdadeira Linguagem Matemática proposição mais próxima, Princípio do Terceiro Termos matemáticos possuem salvo uso de parênteses Excluído: proposições significados precisos e são sempre verdadeiras específicos, diferentes do uso Proposições Universais e Particulares comum Proposição universal refere-se a todos OS Argumentos matemáticos devem Implicação Lógica elementos do universo do discurso seguir princípios lógicos Implica (p q) é falsa Proposição particular refere-se a alguns rigorosos para garantir somente quando p é validade elementos, não necessariamente todos verdadeira e q é falsa Exemplos e contraexemplos são usados para Demonstrações são Se antecedente é falso, a validar ou refutar proposições universais justificativas formais que implicação é sempre asseguram a confiabilidade do Existência de contraexemplo torna proposição verdadeira, conhecimento universal falsa do Compreensão da linguagem consequente matemática é fundamental para O Implicação não implica raciocínio lógico e abstrato relação causal, apenas relação lógica entre proposições Exemplo: 2 é ímpar então 2+5=3 é verdadeira pois antecedente é falso