2 - LÓGICA

Anotacoes

2 - LÓGICA PROPOSICIONAL CLÁSSICA 2.1 formalização em linguagem lógica proposicional Formalização em linguagem lógica proposicional  A lógica proposicional é a teoria lógica que trata dos argumentos que resultam do uso das conectivas. Serve para testar a validade.  A grande maioria dos argumentos assenta em operadores proposicionais tais como:  “se … então” (condicionais)  “se e somente se” (bicondicionais)  “ou” (disjunção)  “e” (conjunção)  “não” (negação) Variáveis proposicionais  Na lógica proposicional ignora-se o conteúdo específico das proposições e atende-se às operações lógicas existentes.  Cada proposição elementar ou simples que constitui os argumentos é representada pelas letras P, Q, R e assim sucessivamente, a que se chama variáveis proposicionais.  O seu significado é fixado por meio de um dicionário que estabelece a correspondência entre cada letra e a proposição simples que esta representa. Proposições simples e complexas  Proposições simples – não têm qualquer conetiva proposicional Exemplo: “Deus existe.”  Proposição complexa - é constituída por duas frases simples Exemplo: “Se Deus existe, então não há mal no mundo.” Dicionário  “Se Deus existe, ent...