Prévia do material em texto
Componentes Básicos Aplicações Práticas Proposições simples são as Verificação da validade de variáveis básicas da tabela. argumentos lógicos em Valores de verdade possíveis: e computação. verdadeiro (v) e falso (F). Auxílio na construção e Operadores lógicos combinam simplificação de circuitos proposições para formar digitais. expressões. Base para algoritmos de Linhas representam todas as inteligência artificial e raciocínio automático. combinações possíveis de valores. Ensino e aprendizado da lógica formal em diversas áreas do conhecimento. Tabela Definição Expressões Lógicas Ferramenta Verdade Compostas por proposições fundamental para simples e conectivos lógicos análise de variados. proposições Exemplos comuns: conjunção, compostas. disjunção, negação, Organiza combinações condicional e bicondicional. possíveis de valores Cada operador tem regras verdadeiros e específicas para determinar falsos. O valor final. Permite avaliar a Expressões podem ser veracidade de avaliadas passo a passo na expressões lógicas Exemplo com Três Conjuntos tabela verdade. complexas. Considerar variáveis A, B e C para Base para estudo formar a tabela verdade. sistemático da lógica Listar todas as 8 combinações Tabela possíveis de valores para e C. Análise de Resultados Avaliar a expressão lógica para cada Listar todas as combinações linha da tabela construída. Determina se a expressão é possíveis para as variáveis Interpretar resultado para tautologia, contradição ou envolvidas. entender comportamento lógico da contingência. Calcular valor lógico da expressão. Tautologia: expressão sempre expressão para cada combinação verdadeira em todas as listada. combinações. Utilizar operadores lógicos Contradição: expressão sempre para determinar resultados falsa das intermediários. variáveis. Registrar resultados finais Contingência: expressão para análise da expressão verdadeira em algumas completa. combinações e falsa em outras.