Filosofia 10ºAno

LÓGICA PROPOSICIONAL CLÁSSICA

FICHA DE TRABALHO Nº1

1. Formalize as seguintes proposições, considerando a seguinte interpretação:

Dicionário:
P: Paula está feliz.
Q: Paula pinta um quadro.
R: Rui está feliz.

a) Se Paula está feliz e pinta um quadro, Rui está feliz.

b) Se Paula está feliz, pinta um quadro.
c) Paula e Rui estão felizes, mas Paula no pinta um quadro.
d) Paula está feliz ou pinta um quadro.
e) Rui está feliz se, e só se, Paula está também feliz.

2. Considere as letras proposicionais e respetivas interpretações, de acordo com o

dicionário seguinte:
P – A água é vital.
Q – A água é preciosa.
R – A poluição inquina a água.
S – A água mata.

Formalize as proposições:
2.1. A água é vital, mas a água não é preciosa.
2.2. Se a água é vital e a poluição não inquina a água, então a água não mata.
2.3. A água não mata ou a água é vital se e somente se a poluição não inquina a água.
Filosofia 10ºAno

3. Considere as proposições P “O livro tem muitas páginas” e Q “O livro é muito bom”.

Passe para linguagem simbólica as proposições seguintes:
a) O livro tem muitas páginas, mas é muito bom.
b) O livro é muito bom, apesar de ter muitas páginas.
O livro é muito bom e é falso que o livro tenha muitas páginas.
d) E falso que o livro tenha muitas páginas, mas é certo que é muito bom.

4. Traduza as formas proposicionais seguintes em linguagem natural.

4.1. ¬ P → ¬ Q
4.2. (P ∧ ¬ Q) → ¬ S
4.3. (P ∧ Q) ↔(¬ R∨¬ S).