Mapa Mental - Lógica Matemática

Prévia do material em texto

Frases Condicionais Silogismos Raciocínios lógicos Condicional: p q, se que conectam então q. premissas. Contrapositiva: ~q ~p, nega Silogismo hipotético ambas as partes. usa implicações para Recíproca: inverte a concluir. ordem. Modus Ponens e Modus Contrária: ~p ~q, nega a Tollens são formas primeira parte. comuns. Importante para deduzir conclusões válidas. Lógica Tabelas Verdade Proposições Lógicas Representam a relação Matemática Proposições podem ser entre proposições lógicas. verdadeiras ou falsas. A última coluna indica se Tautologia é sempre é tautologia ou verdadeira, contradição é contradição. sempre falsa. Contingência ocorre quando Contingência varia entre há valores mistos. verdadeiro e falso. Exemplo: p ^ é Exemplo: ou não A'é uma uma contingência. tautologia. Negação de Proposições A negação inverte valor de verdade da proposição. Exemplo: a negação de p Princípio da Casa dos Pombos Importante para entender a Equivalências Lógicas Usado para determinar coincidências lógica de proposições. Duas proposições são em grupos. Usada em diversas operações equivalentes se têm mesmo Exemplo: 731 pessoas garantem lógicas. valor. aniversários iguais. Exemplo: p q é equivalente a Baseia-se na contagem de possibilidades. Utilizadas para simplificar Importante em problemas de expressões lógicas. probabilidade. Fundamentais em provas matemáticas e lógicas.