1

LÓGICA PROPOSICIONAL

Proposição: Pensamento ou conteúdo expresso por uma frase

declarativa, suscetível de ser considerada verdadeira ou falsa.

As proposições têm valor de verdade:

- Simples: São proposições em que não estão presentes quaisquer

operadores.1) O seu valor de verdade depende do facto de elas
estarem ou não de acordo com a realidade. 2)
Exemplo:
1)As casas são brancas. As casas são belas.
2) Gertrudes é arquiteta. - verdadeira.

Paulo é engenheiro. - falsa

- Complexa: São proposições em que está presente um operador ou

mais do que um. 1) O seu valor de verdade depende do valor de
verdade das proposições simples e dos operadores utilizados.2)
Exemplo:
1) As casas são brancas ou as casas são belas.

2) Gertrudes é arquiteta e Paulo é engenheiro. - falsa

Gertrudes é arquiteta ou Paulo é engenheiro. - verdadeiro

Operadores proposicionais: Trata-se de palavras ou expressões que,

sendo ligadas a determinada(s) proposição(ões), permitem formar
novas proposições.

“E”, “ou”, “se..., então”, etc.

↓
Operadores verofuncionais (operadores lógicos ou conetivas
proposicionais).

↓
Operadores que nos permitem, uma vez conhecidos os valores de
verdade das proposições simples, determinar, apenas com base nessa
informação, o valor de verdade da proposição resultante.

↓
Proposição complexa função de verdade

Variáveis proposicionais:

Letras proposicionais:

- P: Deus existe.

- Q: A vida tem sentido.

Exemplo:

Deus existe e a vida tem sentido. 


Logo, Deus existe.

Fórmula lógica

P e Q.

Logo, P.

Argumento dedutivamente válido

É possível determinar, com base nos operadores verofuncionais, a

validade dos argumentos em que as proposições se integram.

- Operadores verofuncionais:

Formas
Símbolo Leitura proposicionais
Regra

É verdadeira se a
proposição original
￢ Não negação for falsa e é falsa se a
proposição original
for verdadeira.
Só é verdadeira
quando as
∧ E conjunção proposições são
ambas verdadeiras.

Ou disjunção Só é falsa quando as

proposições são
∨ inclusiva ambas falsas.

Ou… ou disjunção É falsa se as duas

proposições que a
⊻ exclusiva compõem tiverem o
mesmo valor de
verdade.

Se …, então condicional Só é falsa se a

antecedente for
➝ verdadeira e a
consequente falsa.
 3

Formas
Símbolo Leitura proposicionais
Regra

Se, e só se Bicondicional É verdadeira se as

duas proposições
que a compõem
tiverem o mesmo
valor de verdade.

- Formalizar proposições complexas

1º- Colocar as proposições na forma canónica, identi cando os
operadores verofuncionais envolvidos.

2º- Isolar as proposições simples que as constituem e atribuir variáveis

proposicionais a cada uma. A isto se chama “construir o dicionário”
dessas proposições ou proceder à sua “interpretação”.

3º- Simbolizar ou formalizar a proposição complexa.

- Tabela de verdade
Tabela que apresenta as diversas condições de verdade de uma forma
proposicional especí ca, 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.

Ao m de formalizar as proposições usámos o método das tabelas de

verdade.

1º- Desenhar a tabela, colocando aí as letras proposicionais e a

proposição complexa.

2º- Colocar na tabela os valores de verdade das proposições simples,

esgotando as possibilidades.

3º- Calcular os valores de verdade das proposições, excetuando os

daquela que é relativa ao operador principal.

4º- Calcular os valores de verdade da proposição relativa ao operador

principal.

↔︎
fi
fi
fi
 4

As las irão depender das variáveis existentes, ou seja, Para duas

variáveis, são necessárias quatro las; para três, oito; para quatro,
dezasseis, etc.

FÓRMULA: 2n

Como completar a tabela de verdade?

Exemplo:

Expressão canónica Dicionário Formalização

Não é verdade que se P: Está sol.

está sol então está Q: Está bom tempo.
￢ (P → Q)

bom tempo.

P Q ￢ (P → Q)
V V F V
V F V F
F V F V
F F F V

Para determinarmos primeiro os valores de verdade da conjunção “P ⋀

Q” e da disjunção “R ⋁ Q” (a ordem neste caso é irrelevante). De
seguida, determinamos os valores da disjunção “R ⋁ (P ⋀ Q)”. Por m,
determinamos os valores da bicondicional a partir dos valores obtidos
para as duas disjunções.

Exemplo:

fi
fi
fi
 5

P Q R
[R ⋁ (P ⋀ Q)] (R ⋁ Q)

V V V V V V V
V V F V V V V
V F V V F V V
V F F F F V F
F V V V F V V
F V F F F F V
F F V V F V V
F F F F F V F

- Tautologias
Fórmulas proposicionais que são sempre verdadeiras, qualquer que
seja o valor de verdade das proposições simples que as constituem.

Exemplo:

Se observo o céu e escuto o vento, então observo o céu.

(P ⋀ Q) → P

P Q (P ⋀ Q) → P
V V V V
V F F V
F V F V
F F F V
 6

- Contradições ou falsidades lógicas

Fórmulas proposicionais que são sempre falsas, independentemente
do valor de verdade das proposições simples que as compõem.

Exemplo:

Não penso ou não sonho se, e só se, penso e sonho.

(￢ P ⋁ ￢ Q) (P ⋀ Q)

- Contingências
Fórmulas proposicionais que tanto podem ser verdadeiras como falsas,
consoante os valores lógicos das proposições simples que as
compõem.