LÒGICA PROPOSICIONAL – SOLUÇÕES DOS EXERCÌCIOS DO MANUAL

1. FORMULAR EM LINGUAGEM LÓGICA PROPOSIÇÕES

Página 58 do Manual

1.
a) P
b) (P ˄ ¬ Q)
c) (¬ P ˄ ¬ Q)
d) (P V ¬ P)
e) (P ˄ ¬ P)
f) ¬ (P ˄ ¬ P)
g) (P→Q)
h) (¬P→Q)

2.
a) Dicionário
P – A neve é branca
b) Dicionário
P – A neve é branca
Q – O céu está azul
Tradução: A neve não é branca ou o céu é azul
c) Dicionário
P – A neve é branca
Q – O céu está azul
Tradução: A neve não é branca e o céu não é azul
d) Dicionário
P – A neve é branca
Q – O céu está azul
Tradução: Se a neve é branca então o céu não é azul

Página 61 do Manual

1.
a) Dicionário
P – Deus é todo-poderoso
Q – Deus é moralmente perfeito
R – Deus pode acabar com o mal no mundo
S – Deus quer acabar com o mal no mundo
Formalização: (P ˄ Q) → (R ˄ S)
b) Dicionário
P – Há mal no mundo
Q – Deus quer acabar com o mal no mundo
R – Deus pode acabar com o mal no mundo
Formalização: (P → (¬Q V ¬R))
c) Dicionário
P – O infanticídio é errado
Q – O aborto é errado

Professora, Helena Conceição Página 1

 R – O direito à vida começa a partir do nascimento
Formalização: (( P ˄¬Q) → R)
d) Dicionário
P – Somos responsáveis por uma acção
Q – Podíamos ter agido de forma diferente
R – Escolhemos agir da maneira que agimos
Formalização: (P↔(Q ˄ R))

Página 63 do Manual

1.
a) Dicionário
P – A Miss S. esteve a sós com a comida
Q - A Miss S. tem um cúmplice
Formalização: (¬ P → Q)
¬P
Logo, Q
b) Dicionário
P – O Reverendo G. é cúmplice do crime
Q – O Coronel M. é cúmplice do crime
Formalização: (PVQ)
¬P
Logo, Q
c) Dicionário
P – A Mrs P. esteve na cozinha
Q - A Mrs P. esteve na mansão
Formalização: (P→ Q)
¬P
Logo, ¬ Q
d) Dicionário
P – A Mrs P. esteve na cozinha
Formalização: (P→ Q)
Q
Logo P
e) Dicionário
P – “Bom” significa “socialmente aprovado”
Q – O que é socialmente aprovado é necessariamente bom
Formalização: (P→ Q)
¬Q
Logo ¬P
f) Dicionário
P – Há um Deus
Q – Deus criou o universo
R – A matéria existiu sempre
Formalização: (P→ Q)
(Q→¬R)
R
Logo ¬P

Professora, Helena Conceição Página 2

 g) Dicionário
P – A ética depende da vontade de Deus
Q – O homicídio é errado
R – Deus aprova o homicídio
Formalização: P →(Q↔¬R)
¬ (Q↔¬R)
Logo, ¬ P
2.
a) Dicionário
P – S. está doente
Q – J. assaltou o banco
Tradução:
Se S. está inocente, então J. assaltou o banco
b) Dicionário
P – S. estava na reunião à hora do assalto
Q – S. assaltou o banco
Tradução:
Não é verdade que S. estava na reunião à hora do assalto e assaltou o banco.
S. estava na reunião à hora do assalto.
Logo, S. não assaltou o banco.
c) Dicionário
P – S. assaltou o banco
Q - S. calça 43
Tradução:
Se S. assaltou o banco, então S. calça 43.
S. não calça 43.
Logo, S. não assaltou o banco.
d) Dicionário
P – S. é um dos assaltantes
Q – S. é loiro
R – S. calça 43
Tradução:
Se S. é um dos assaltantes, então S. é loiro ou calça 43.
Não é verdade que S. é loiro ou calça 43.
Logo, S. não é um dos assaltantes.
e) Dicionário
P – S. está a mentir
Q – J. está a mentir
R – B. é o verdadeiro ladrão
Tradução:
Se S. e J. estão a mentir, então B. é o verdadeiro ladrão.
B. não é o verdadeiro ladrão.
Logo, não é verdade que S. e J. estão a mentir.

Professora, Helena Conceição Página 3