Mapa Mental - Lógica Proposicional

Prévia do material em texto

Valores Lógicos Tabela-Verdade Cada proposição recebe um Ferramenta que facilita a valor lógico: verdadeiro verificação dos valores (v) ou falso (F) lógicos das proposições compostas Tabela-Verdade registra todas as combinações Registra todas as possíveis dos valores combinações possíveis dos lógicos valores lógicos das proposições simples Número de linhas da tabela Permite analisar a é 2 elevado ao número de proposições compostas veracidade de proposições compostas em todas as Exemplo: 2 proposições situações simples geram 4 linhas; 3 proposições geram 8 linhas Exemplo: para 3 proposições simples, Lógica tabela possui 8 linhas com todas as combinações Proposições Princípios Fundamentais Sentenças declarativas Proposicional Princípio da identidade: toda que possuem valor proposição é igual a si mesma lógico verdadeiro ou Princípio da não contradição: falso proposição não pode ser Proposições simples verdadeira e falsa ao mesmo tempo são representadas por Princípio do terceiro excluído: letras maiúsculas como proposição é verdadeira ou falsa, P,Q,R não há meio termo Proposições compostas Esses princípios fundamentam a são formadas por lógica clássica e raciocínio conectivos lógicos formal entre proposições Raciocínio Lógico simples Base para pensamento Exemplo: P = 'Se crítico, analítico e par, então 7 é par' contábil em diversas áreas representa uma do conhecimento Representação Simbólica Utiliza proposições e Negação (~): inverte valor conectivos para construir Proposições simples são lógico da proposição argumentos válidos e representadas por letras original coerentes maiúsculas (P, Q, R) Conjunção verdadeira Permite identificar Proposições compostas usam somente se ambas as validade, contradições e símbolos para conectivos lógicos proposições forem inferências corretas em (~, ^, V, ) verdadeiras argumentos Linguagem simbólica facilita a Disjunção (v): verdadeira se Fundamenta a construção de construção e análise formal das pelo menos uma das sentenças exclamativas, proposições proposições for verdadeira interrogativas e Exemplo: p ^ q representa a Condicional e bicondicional imperativas conjunção entre as proposições relacionam proposições com eq condições de verdade específicas