Lógica proposicional clássica

A linguagem da lógica proposicional

A lógica é a área da filosofia que se dedica ao estudo dos aspetos relevantes para a argumentação correta.
A lógica proposicional clássica é uma linguagem formal – composta por símbolos e não por palavras – que serve para
detetar e avaliar a forma lógica dos argumentos.
Variáveis proposicionais: são letras maiúsculas como P, Q, R e assim sucessivamente, que servem para representar
proposições simples ou elementares que constituem os argumentos.
Operadores proposicionais: são expressões (como “e”, “ou”, “se…então”) que se adicionam a proposições de modo a
formar novas proposições, ou seja, servem para construir novas proposições a partir de outras proposições.
Os operadores proposicionais são verofuncionais quando o valor de verdade da proposição mais complexa (com esses
operadores proposicionais) é determinado apenas pelos valores de verdade da(s) proposição(ões) mais simples que a
compõem.

Operadores proposicionais

Parênteses: parênteses esquerdo (e parênteses direito), para delimitar o âmbito dos operadores proposicionais binários.
Cada operador proposicional binário terá parênteses. Apenas a negação não terá parênteses, pois é um operador unário.
Os parênteses são necessários para evitar ambiguidades e para sabermos qual é o operador com maior âmbito.

Funções de verdade
Funções de verdade das proposições: indicam-nos as circunstâncias em que essas proposições são verdadeiras ou
falsas. Essas funções de verdade dependem dos operadores lógicos que elas têm.
1
Página

FILOSOFIA NUNO PEREIRA

Formalizações

Tabelas de verdade
Tabela de verdade: tabela que apresenta as diversas condições de verdade de uma forma proposicional específica,
permitindo determinar de modo mecânico a sua verdade ou falsidade.
A tabela de verdade exibe os valores de verdade possíveis da(s) proposição(ões) e os valores de verdade resultantes das
operações efetuadas.

2
Página

FILOSOFIA NUNO PEREIRA

Classificação de proposições

Inspetores de circunstâncias
São um método para avaliar a validade de argumentos.
O inspetor de circunstâncias consiste num dispositivo gráfico com uma sequência de tabelas de verdade que mostra o
valor de verdade de cada premissa e da conclusão de um argumento em todas as circunstâncias possíveis.
Se existir pelo menos uma circunstância em que todas as premissas são
verdadeiras e a conclusão é falsa, então o argumento é inválido. Caso contrário,
o argumento é válido.
3

Argumento inválido, pois existe uma circunstância possível (terceira linha) em

Página

que todas as premissas são verdadeiras e a conclusão é falsa.

FILOSOFIA NUNO PEREIRA

Formas de inferência válidas

4
Página

FILOSOFIA NUNO PEREIRA