Lógica Proposicional Clássica

(Opção B)
Formalização em linguagem lógica proposicional

Traduzir uma proposição ou argumento da linguagem natural para a

linguagem proposicional é preciso saber:

 Variáveis proposicionais.
 Conectivas proposicionais verofuncionais.
 Âmbito das conectivas.
Variáveis proposicionais

 Na lógica proposicional ignora-se o conteúdo específico 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.
Conectivas proposicionais verofuncionais

 As conectivas proposicionais são expressões (como “e”, “ou”, “se…então”) que

se adicionam a proposições de modo a formar novas proposições.

 As conectivas proposicionais são verofuncional quando o valor de verdade da

proposição mais complexa (com conectivas proposicionais) é determinado apenas
pelos valores de verdade das proposições que a compõem.
Conectivas proposicionais verofuncionais
Conectivas proposicionais verofuncionais

 Âmbito da conectiva é a parte da fórmula proposicional a que a

conectiva se aplica.

 Conectiva com maior âmbito é a conectiva que se aplica e abrange toda

a fórmula lógica.
Funções de verdade das conectivas
Conectivas proposicionais

Negação Conjunção Disjunção inclusiva

Conectivas proposicionais

Disjunção
Condicional Bicondicional
exclusiva
Tabelas de verdade: Avaliação de fórmulas proposicionais

As fórmulas proposicionais podem ser classificadas como tautológicas,

contraditórias ou contingentes.

Forma Forma Forma

proposicional tautológica proposicional contraditória proposicional contingente
Inspetores de Circunstâncias

 É 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 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.
Exemplos de Inspetores de Circunstâncias

Argumento válido, pois na

circunstância (quarta linha)
em que todas as premissas
são verdadeiras, a conclusão
também é verdadeira.
Exemplos de Inspetores de Circunstâncias

Argumento inválido, pois na

circunstância (terceira linha)
em que todas as premissas
são verdadeiras, a conclusão
é falsa.
Formas de inferência válidas
Formas de inferência válidas
Formas de inferência válidas
Formas de inferência inválidas: falácias formais