Agrupamento de Escolas de Santa Maria dos Olivais

ESCOLA SECUNDÁRIA ANTÓNIO DAMÁSIO - 2020/2021

Argumentação e lógica formal
Questionário
1.
Traduza as afirmações que se seguem para a sua forma canónica e indique o seu tipo.
a) Os pássaros voam.
b) Há quem seja admirador de Mozart e de Metallica.
c) Certos felinos são surpreendentemente meigos.
d) Nada é simultaneamente carnívoro e herbívoro.

2. Formalize cada uma das frases que se seguem na Lógica proposicional.

a) A Coreia do Norte não é democrática.
b) Se Deus existe, o mundo não surgiu por acaso.
c) Ou estudo ou não tenho sucesso.
d) Vou ao cinema apenas se tiver tempo para estudar.

3. Formalize cada um dos argumentos que se seguem na lógica proposicional.

a) Se o Joaquim não é um extraterrestre nem um duende, então é um gato muito peculiar. Ora,
o Joaquim é um gato muito peculiar. Portanto, não é um extraterrestre nem um duende.

b) É falso que Fernando Pessoa seja um poeta e um pintor. Ora, Fernando Pessoa é um poeta.
Logo, Fernando Pessoa não é um pintor.

4. Considere o seguinte dicionário: P: Pedro é culpado.

Q: Carla é culpada.
R: As provas são forjadas.
S: Uma testemunha mentiu.
T: O criminoso continua livre.
4.1 Baseando-te neste dicionário, traduz para linguagem natural as seguintes fórmulas:

a) ¬(P ꓥ Q) ↔ (R V S)
b) T → [S ꓥ (P V Q) ]

5. Determine a validade do argumento que se segue, mediante a construção e a análise de tabelas de

verdade.
➢ Deus existe se o mundo teve um começo. Ora o mundo teve um começo. Portanto, Deus existe
se, e apenas se, o mundo teve um começo.

Cotações
1. 4x7,5pts O questionário deve ser manuscrito, fotografado no final e, carregado em
trabalhos na pasta trabalhos no item
2. 4x7,5pts Questionário_lógica_proposicional_10C, de preferência (se possível) em
3. 2x20pts formato PDF ou enviado para o mail: sergio.inacio@aeolivais.pt.
Antes de enviares, deves verificar se a Fotografia está definida e com
4. 2x20pts resolução suficiente para ser legível.
5. 60pts Podes usar uma folha à tua escolha e escrever as respostas (identificando
as questões) ou imprimir e usar as páginas seguintes
Total 200pts

Bom trabalho!
 Questionário – Lógica proposicional

1. Traduza as afirmações que se seguem para a sua forma canónica e indique o seu tipo.
a) Os pássaros voam.

______________________________________________________________________________

b) Há quem seja admirador de Mozart e de Metallica.

______________________________________________________________________________

c) Certos felinos são surpreendentemente meigos.

______________________________________________________________________________

d) Nada é simultaneamente carnívoro e herbívoro.

______________________________________________________________________________

2. Formalize cada uma das frases que se seguem na Lógica proposicional.

a) A Coreia do Norte não é democrática.

b) Se Deus existe, o mundo não surgiu por acaso.

c) Ou estudo ou não tenho sucesso.

d) Vou ao cinema apenas se tiver tempo para estudar.

3. Formalize cada um dos argumentos que se seguem na lógica proposicional.

a) Se o Joaquim não é um extraterrestre nem um duende, então é um gato muito peculiar. Ora,
o Joaquim é um gato muito peculiar. Portanto, não é um extraterrestre nem um duende.

_________________________________________________________________________________

a) É falso que Fernando Pessoa seja um poeta e um pintor. Ora, Fernando Pessoa é um poeta.
Logo, Fernando Pessoa não é um pintor.

_________________________________________________________________________________

4. Considere o seguinte dicionário: P: Pedro é culpado.

Q: Carla é culpada.
R: As provas são forjadas.
S: Uma testemunha mentiu.
T: O criminoso continua livre.

4.1 Baseando-te neste dicionário, traduz para linguagem natural as seguintes fórmulas:

Bom trabalho!
 Formula Linguagem natural

______________________________________________________________
a) ¬(P ꓥ Q) ↔ (R V S)
______________________________________________________________

______________________________________________________________

__________________________________________________________
b) T → [S ꓥ (P V Q) ]
__________________________________________________________

__________________________________________________________

5. Determine a validade do argumento que se segue, mediante a construção e a análise de tabelas de

verdade.
➢ Paulo é culpado se Pedro é culpado, ou então Joana está envolvida. Mas Joana não está
envolvida. Por isso, se Pedro é culpado, Paulo também e culpado.

Interpretação:

Argumento:

R: O argumento é _________________________________________________________________________
_______________________________________________________________________________________
_______________________________________________________________________________________

Bom trabalho!