LÓGICA PROPOSICIONAL

CONCEITOS
Formalização: Tradução de língua portuguesa para lógica proposicional
Interpretação de Fórmulas: Tradução de lógica proposicional para língua portuguesa
Falácias formais: argumentos inválidos que parecem válidos
Conectivas: expressão (peça operativa) que gera novas frases quando é devidamente acrescentada
a uma ou várias frases
Proposições simples (ou elementares): proposições sem conectivas
Proposições complexas (ou compostas): proposições que têm pelo menos uma conectiva

CONECTIVAS PROPOSICIONAIS (existem 6)

Negação ( )̴ A ̴A
PT: não A
V F
LP: ̴A F V

Disjunção Inclusiva (V)

PT: A ou B AB AvB

LP: A v B VV V
VF V

NOTA FV V
FF F
Numa disjunção ganha sempre a
verdade – só é F se ambas as
disjuntas forem F
Disjunção Exclusiva (⩒ )
AB A⩒ B
PT: ou A ou B
VV F
LP: A ⩒ B
VF V
FV V
NOTA
FF F
A disjunção exclusiva exclui a
possibilidade de ambas as disjuntas
serem verdadeiras ou falsas.

Conjunção (⋀ ¿
PT: A e B
AB A⋀ B
LP: A ⋀ B
VV V
VF F
NOTA FV F
Numa conjunção ganha sempre a FF F
falsidade – só é V sem ambas forem
V

Condicional ou Implicação ( →)
AB A→B
PT: Se A, então B
VV V
LP: A → B VF F
consequente FV V
antecedente FF V

× Só é F quando a sua antecedente é verdadeira e a sua consequente falsa; é verdadeira em

todos os outros casos.

Bicondicional ou Equivalência (↔)

PT: A se, e só se, B
LP: A ↔ B AB A↔B
VV V
VF F
FV F
NOTA
FF V
Numa bicondicional, só é V se
ambas as proposições tiverem o
mesmo valor lógico.

FORMALIZAÇÃO

1. Identificar as conectivas – qualidade

2. Identificar as diferentes ideias/ n. de proposições – quantidade
3. Construir o dicionário
4. Traduzir para LP

FALÁCIAS FORMAIS

Nome da Falácia Formalização

(A →B)
Falácia da afirmação da consequente B
∴A
(A → B)
Falácia da negação da antecedente ~A
∴ ~B

8 REGRAS VÁLIDAS
 Nome da Regra Forma Lógica

̴ A
̴
Negação Dupla
∴A

(A→ B)
Modus Ponens A
∴B
(A→ B)
Modus Tollens ̴B
∴̴ A
(A → B)
Silogismo hipotético (B→C)
∴ (A → C)

(A ∨ B)
Silogismo disjuntivo ~A
∴B

(A → B)
Contraposição
∴ (~B → ~A)

~ (A ∨ B)
∴ (~P ∧ ~Q)
Leis de De Morgan
~ (A ∧ B)
∴ (~A ∨ ~B)

Tabelas de Verdade
Diagramas lógicos que listam todas as possíveis combinações de valores lógicos – os V e os F / as
condições de verdade e falsidade – de uma proposição complexa.

Construção de uma tabela de verdade

1. Escrever as letras proposicionais
2. Escrever a fórmula complexa
3. Calculamos os valores lógicos das conectivas com menor âmbito
4. Calculamos o valor lógico da conectiva principal (com maior âmbito) – Resultado Final
O Resultado Final pode ser uma:
× Tautologia (verdade lógica)
× Contradição (falsidade lógica)
× Contingência – misto entre verdades e falsidades

Inspetor de Circunstâncias
É uma tabela de verdade aplicada a argumentos – é um diagrama gráfico com uma sequência de
tabelas de verdade que mostra o valor lógico de cada premissa e da conclusão em todas as
circunstâncias possíveis.
Ao ‘inspecionar’ todas as circunstâncias(linhas) de V e F tanto das premissas como da conclusão–
revela se um argumento é válido ou inválido.

Como se avalia a validade de argumentos?

Um argumento é dedutivamente válido quando não existe a possibilidade de as premissas serem
todas verdadeiras e a conclusão falsa. Assim, para testar a validade de um argumento, a partir de
um inspetor de circunstâncias, basta detetar uma linha com todas as premissas V e a conclusão F.
Pergunta-chave

Há alguma circunstância em que TODAS as premissas são V e a conclusão é F?

SÍNTESE

TAUTOLÓGICAS
TABELA DE AVALIA
CONTRADITÓRIAS
VERDADE PROPOSIÇÕES
CONTIGÊNCIAS

INSPETOR DE AVALIA VÁLIDOS

CIRCUNSTÂNCIA ARGUMENTOS INVÁLIDOS