Mapa Mental - Lógica Proposicional

Prévia do material em texto

Princípios da Lógica Equivalências e Leis de De Morgan Princípio da não contradição: proposição não pode ser Equivalências lógicas permitem substituir verdadeira e falsa proposições por outras de mesmo lógico. Princípio do terceiro Leis de De Morgan explicam a negação de excluído: proposição só pode conjunções e disjunções em proposições. ser verdadeira ou falsa, sem Essas leis são fundamentais para meio-termo. simplificação e transformação de Lógica bivalente trabalha expressões lógicas. exclusivamente com valores Aplicação correta das equivalências é lógicos verdadeiro e falso. crucial para raciocínios e provas lógicas. Esses princípios fundamentam a validade e consistência dos raciocínios lógicos. Lógica Conceito de Proposição Tabelas-Verdade Proposição é uma sentença que pode ser verdadeira ou falsa, Proposicional Tabela-verdade mostra todas as combinações mas não ambas. possíveis de valores Sentenças interrogativas, lógicos das proposições. exclamativas ou imperativas não Número de linhas é 2 são proposições lógicas. elevado ao número de Proposições simples não possuem proposições simples conectivos lógicos, expressam envolvidas. um único juízo. Permite verificar a Proposições compostas são veracidade de proposições formadas pela combinação de compostas em todas as proposições simples. Aplicações e Exercícios situações possíveis. Problemas práticos envolvem Ferramenta essencial para representação simbólica e análise de tautologias, análise por tabelas-verdade. contradições e contingências Proposições Simples e Compostas Exercícios ajudam a fixar conceitos de proposições Lógica de Argumentação Proposições simples são indivisíveis e simples, compostas e conectivos. Estuda analogias, inferências, expressam um único fato ou juízo. Simulados integram conteúdos deduções e conclusões a partir Proposições compostas são formadas por para preparação em concursos e de proposições dadas. conectivos lógicos que unem proposições avaliações oficiais. Diagramas lógicos auxiliam na simples. Compreensão da lógica visualização das relações entre Conectivos comuns: conjunção proposicional é base para proposições. disjunção (v), condicional estudos avançados em matemática Lógica de primeira ordem amplia bicondicional e computação. a lógica proposicional com Representação simbólica facilita a quantificadores e predicados. análise e manipulação das proposições Permite avaliar validade e compostas. consistência de argumentos complexos e raciocínios formais.