Mapa Mental - Lógica Matemática

Prévia do material em texto

Implicação Lógica Quantificador Universal Implica que se a primeira Expressa que uma propriedade proposição é verdadeira, a vale para todos elementos de segunda também deve ser um conjunto Falsa somente quando Representado pelo antecedente é verdadeiro e significa todo' ou consequente é falso 'qualquer que seja' Usada para estabelecer Usado para generalizar relações condicionais em afirmações e construir argumentos matemáticos definições formais Representada simbolicamente Base para demonstrações por por p q, onde implica q indução e argumentos universais Lógica Conectivos Lógicos Quantificadores Existenciais Conectivo 'E' representa Matemática Quantificador 'existe' indica que há conjunção entre proposições pelo menos um elemento que satisfaz verdadeiras a propriedade Conectivo 'OU' (v) indica Representado pelo símbolo 3, usado disjunção, verdadeiro se ao para afirmar existência em conjuntos menos uma for verdadeira Quantificador 'existe um somente um' Conectivo 'SE...ENTÃO' indica unicidade da existência expressa uma implicação Essenciais para formalizar condicional entre propriedades e teoremas em proposições matemática e lógica Conectivo 'SE E SOMENTE SE' indica equivalência lógica Importância na Matemática entre duas proposições Lógica formal é base para raciocínio matemático e demonstrações corretas Equivalência Lógica Conectivos e quantificadores Uso dos Conectivos em Provas estruturam linguagens formais e Duas proposições são teorias Conectivos permitem construir equivalentes quando possuem Permitem expressar propriedades argumentos lógicos rigorosos e mesmo valor lógico válidos complexas de forma precisa e clara Expressa pelo conectivo Fundamentam áreas como álgebra, Implicações são usadas para bicondicional 'se e somente análise, teoria dos conjuntos e estabelecer relações de causa e se' efeito computação Permite substituir Equivalências facilitam a proposições por outras transformação e simplificação de logicamente iguais em provas expressões Fundamental para Quantificadores definem escopo e simplificação e transformação abrangência das proposições de expressões lógicas