LóGiCa PRoPOsICiONaL

LóGiCa PRoPOsICiONaL

1. Estuda a forma/estrutura dos argumentos que resultam de cinco conectivas (ver nota), com o objetivo de determinar a sua validade.

   • O Cálculo proposicional trata apenas das inferências que assentam na negação, conjunção, disjunção, na condicional e bicondicional
   • Proposições simples/elementares (não têm qualquer conectiva proposicional)
     • Representadas por variáveis proposicionais
       • P
       • Q
         • O seu significado é fixado através de um dicionário
       • R
       • ...
   • Proposições complexas
     • Representadas por conectivas proposicionais/operadores proposicionais/operadores lógicos
       • "Se...então" (condicional)
       • "se e somente se" (bicondicional)
       • "e" (conjunção)
       • "ou" (disjunção)
       • "não" (negação)
       • As conectivas proposicionais são verofuncionais ( o valor de verdade da prop. complexa depende da conectiva que liga/relaciona as proposições; ou seja, as conectivas interferem no valor de verdade das proposições).
         • VER TABELA DAS CONECTIVAS PROPOSICIONAIS
         • Tal como na matemática, na lógica proposicional também se utilizam parêntesis para agrupar proposições. Cada conectiva proposicional binária tem parêntesis. A negação é um operador unário e, por isso, não tem parêntesis.
   • TABELAS DE VERDADE
     • Representam o comportamento das conectivas.
       • A Tabela de Verdade da Negação é unária - aplica-se apenas a uma proposição. Isto significa que só tem duas filas/linhas
       • As outras conectivas são binárias - aplicam-se a duas proposições. Isto significa que a Tabela de Verdade destas tem quatro filas/linhas.

2. É uma lógica formal e, por isso, só se ocupa da validade dos argumentos dedutivos

   • ARGUMENTOS DEDUTIVOS
     • Um argumento cuja validade depende unicamente da sua forma lógica, ou da sua forma lógica juntamente com os conceitos usados.
       • Por exemplo, o argumento seguinte é dedutivo: “Se os animais têm direitos, têm deveres; dado que não têm deveres, não têm direitos”. É dedutivo porque a sua validade depende unicamente da sua forma lógica, que neste caso é a seguinte: “Se P, então Q; não Q; logo, não P”.
       • O argumento seguinte é dedutivo porque a sua validade depende unicamente da sua forma lógica juntamente com os conceitos usados: “A neve é branca; logo, tem cor”.
   • ARGUMENTOS NÃO DEDUTIVOS
     • Nos argumentos não dedutivos, a validade ou invalidade não depende exclusivamente da forma lógica - depende, sobretudo do conteúdo, e da observância de regras específicas.
       • Exemplo: “Todos os corvos observados até hoje são pretos; logo, todos os corvos são pretos”.

Bilder und Dateien der Mindmap