1 Proposições, Conectivos e Operações Lógicas Para resolvermos expressões lógicas complexas, foi desenvolvido um sistema de símbolos que nos permite abstrair as proposições complexas em equações matemáticas. Esses símbolos são os operadores lógicos. Identifique abaixo a alternativa que possui os símbolos dos operadores “negação” e “conjunção”, respectivamente. 2 Tautologias, Contradições e Contingências Tabelas verdade são muito úteis para a compreensão de equações lógicas complexas, pois elas nos permitem analisar de uma só vez todos os resultados possíveis para todas as combinações de valores lógicos das proposições da equação. Isso nos permite definir e classificar as equações. Observe a tabela verdade abaixo e então assinale a alternativa que corretamente classifica esta equação: Tautologia Indeterminada Contradição Contingência Insatisfatória 3 Tautologias, Contradições e Contingências Qual definição abaixo melhor se encaixa na descrição de uma contradição? Uma proposição cujo valor lógico é mutável. Uma proposição cujo valor lógico é composto. Uma proposição cujo valor lógico é sempre falso. Uma proposição cujo valor lógico é sempre verdade. Uma proposição cujo valor lógico é indeterminado. 4 Proposições, Conectivos e Operações Lógicas Os símbolos de lógica proposicional nos permitem compreender rapidamente abstrações complexas de equações lógicas. Qual operador lógico o símbolo abaixo representa? Disjunção exclusiva Conjunção Negação Condicional Bicondicional 5 Tautologias, Contradições e Contingências Tautologias, contradições e contingências são formas de classificar proposições e equações lógicas. Esse tipo de classificação para a proposição ou equação lógica é baseado em: Complexidade da equação. Conjunto de regras de formação. Valor lógico dos resultados possíveis. Valor lógico de entrada das proposições. Nível de abstração da expressão lógica.