LÓGICA

PROPOSICIONAL
CLÁSSICA

10º ANO

ANO LETIVO 2023/2024

 O que é a Lógica Proposicional?

 A lógica proposicional (que é uma lógica formal) é um ramo da lógica que se ocupa dos argumentos cuja

validade depende exclusivamente da sua estrutura. A grande maioria dos argumentos assenta em operadores
proposicionais, como os seguintes:
 E

 Não

 Ou Conectivas proposicionais (operadores verofuncionais)

 Ou ... Ou (ver exemplos no quadro)

 Se ... Então

 Se e só se

Para se testar a validade de argumentos com este tipo de conectivas precisamos da Lógica Proposicional Clássica.
 O que é a Lógica Proposicional?

Na Lógica, tal como em todas as disciplinas da filosofia, também temos um problema filosófico:

 O que é se segue de quê?

 A partir de determinadas razões, o que se segue daí e o que é uma boa consequência?
 LÓGICA

Pensamento Negação
FORMAS DE OBEDIÊNCIA A claro, conciso Conjunção
INFERÊNCIA REGRAS e correto Disjunção inclusiva
VÁLIDAS Disjunção exclusiva
Condicional
LÓGICA Bicondicional
Proposição simples
PROPOSICIONAL

PROPOSICÇÃO = UNIDADE Operadores Funções de verdade

BÁSICA verofuncionais Tabelas de verdade

Proposição composta
Inspetores de
circunstâncias
 Distinção entre proposições simples e complexas

A Lógica Proposicional trabalha com proposições:

PROPOSIÇÕES SIMPLES PROPOSIÇÕES COMPLEXAS

Quando não é possível decompor noutra Quando é possível decompor até atingir uma
proposição e não contém qualquer conectiva. ou mais proposições simples.

Ex: Deus existe Ex: Deus existe e é bom.

 Formalização em Lógica Proposicional

A tradução de uma proposição ou de um argumento da linguagem natural para a linguagem

proposicional implica: (ver quadro)

Conectivas
Variáveis Âmbito das
proposicionais
proposicionais conectivas
(operadores
verofuncionais)

Nota: A Lógica Proposicional é uma lógica simbólica, isto é, usamos símbolos para representar proposições.
 Variáveis Proposicionais

 Na lógica proposicional atende-se às operações lógicas existentes e não ao conteúdo:

 Cada proposição elementar ou simples que constitui os argumentos é representada pelas letras P, Q, R, S e
assim sucessivamente, designando-se por variáveis proposicionais.
Conectivas Proposicionais

 As conectivas proposicionais são expressões que se

adicionam a proposições de modo a formar novas
proposições;

 As conectivas proposicionais são verofuncionais

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.
 Âmbito das conectivas

 O âmbito da conectiva é a parte da fórmula proposicional a que a conectiva se aplica.

 Tal como acontece na matemática, na Lógica Proposicional também se utilizam parêntesis para evitar ambiguidades. (ver

exemplo quadro)
 Cada conectiva proposicional binária terá parêntesis.

 A conectiva com maior âmbito (operador principal) é a conectiva que se aplica e abrange e afeta toda a fórmula lógica.

Exemplo:

1. - operador principal ou conectiva de maior âmbito é a conjunção.

2. - operador principal ou conectiva de maior âmbito é a disjunção.

Nota: Apenas a negação não tem parêntesis porque é um operador unário.

 Funções de verdade das conectivas

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

Inverte o valor de verdade Só é verdadeira se ambas as Só é falsa se ambas as disjuntas

proposições(conjuntas) forem forem falsas
verdadeiras.
 Funções de verdade das conectivas

Disjunção Condicional Bicondicional

exclusiva

Só é falsa se a antecedente for Só é verdadeira se ambas as

Só é verdadeira quando uma for
verdadeira e a consequente proposições tiverem o mesmo valor
verdadeira e a outra falsa e vice-versa
falsa de verdade VV ou FF
Funções de verdade das conectivas
Funções de verdade das conectivas
 Tabelas de verdade

 O modo como cada operador verofuncional determina o valor de verdade das proposições é representado numa tabela de

verdade (diagrama que mostra todos os valores de verdade possíveis para uma determinada fórmula proposicional);

 Ao construirmos uma tabela de verdade, para que todas as combinações possíveis sejam tidas em consideração, importa

saber:

Para as fórmulas
Se a fórmula for Quando a fórmula
constituídas por
constituída por uma incluir três
duas proposições
única proposição proposições
simples, teremos
simples, teremos simples, teremos
quatro
duas combinações oito combinações
combinações
possíveis possíveis
possíveis

E assim
sucessivamente ....
 Classificação das fórmulas proposicionais

 O método das tabelas de verdade permite estabelecer se uma dada proposição complexa é uma tautologia, uma
contradição ou uma contingência:

TAUTOLOGIA CONTRADIÇÃO CONTINGÊNCIA

Quando a fórmula proposicional Quando a fórmula proposicional Quando a fórmula proposicional

tem o valor “V” em todas as tem o valor “F” em todas as tem o valor “V” nalgumas
possíveis combinações. possíveis combinações. circunstâncias e o valor “F” nas
Verdade Lógica Falsidade Lógica outras circunstâncias.
 Inspetores de Circunstância (tabelas de validade)
 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.

VÁLIDO
INVÁLIDO