Exercícios sobre lógica proposicional clássica

Traduz as seguintes proposições para a linguagem da lógica proposicional (não te esqueças de indicar o
dicionário utilizado em cada alínea).
A. Se hoje é quarta-feira, então hoje não é quarta-feira.
Proposta de resolução:
1. Detetar as operações lógicas: Começa por sublinhar as expressões que indicam a presença de
operadores lógicos. No exemplo em causa, podes sublinhar o “Se…, então…”, que indica a presença de
uma condicional (→) e podes sublinhar o “não”, que indica a presença de uma negação (¬).
Se hoje é quarta-feira, então hoje não é quarta-feira.
2. Construir o dicionário: Agora que já sabes quais são as operações lógicas envolvidas na proposição,
podes determinar quais são as proposições simples ou elementares e assim construir o dicionário, ou
seja, fazer corresponder uma letra ou variável proposicional, como por exemplo, a letra P e Q, a cada
uma das proposições simples ou elementares presentes na proposição em causa (ou seja, proposições
sem conectivas ou operadores lógicos). Neste caso, há apenas uma proposição simples ou elementar, a
saber, a proposição “Hoje é quarta-feira”, que aparece afirmada na antecedente da condicional (à
esquerda da seta) e negada na consequente (à direita da seta).
Dicionário:
P = hoje é quarta-feira
3. Proceder à formalização: Depois de construir o dicionário, já podes formalizar a proposição,
substituindo todas as ocorrências da(s) proposição(ões) simples pela(s) respetiva(s) letra(s) ou
variável(eis) proposicional(ais) e todas as operações lógicas pelos símbolos correspondentes.
(P → ¬P)
B. Se hoje não é quarta-feira, então hoje é quarta-feira.
C. Hoje é ou não é quarta-feira.
D. Deus existe e não existe.
E. Se estudares bastante ou tiveres muita sorte, então passas neste teste.
F. Se não fizeres o trabalho, não passas de ano.
G. Vou ao teu aniversário, a menos que surja algum imprevisto.
H. Vou à praia, só se estiver sol.
I. Se o Simão ou o João assaltaram o banco, e não foi o Simão, então foi o João.
J. Se Deus existe só se não há mal no mundo, e há mal no mundo, então Deus não existe.
_____________________________________________________
1. Tendo em conta o significado de P, Q, R, formaliza as seguintes proposições.
P = A Marta come carne.
Q = A Marta come peixe.
R = A Marta come doces.
a) A Marta não come carne, mas come peixe.
b) Se a Marta não comer carne, então come bastantes doces.
c) A Marta come doces se e só se não comer carne nem peixe.
d) A Marta ou come carne ou come peixe, mas doces come sempre.
2. Traduz as seguintes fórmulas para linguagem natural, tendo em conta os respetivos dicionários:
P = Está a fazer vento.
Q = Está a chover.
R = A Beatriz vai à praia.
a) [R ↔ (¬Q Λ ¬P)]
b) [(¬Q Λ ¬P) → R]
c) [(¬P Λ Q) → ¬R]
d) ¬ [R ↔ (¬Q V ¬P)]
3. Considere as seguintes fórmulas:
a) ¬ [P Λ (Q V R)] b) [P → (Q Λ ¬R)] ↔ S c) R Λ {S → ¬ [Q V (R → P)]}
3.1. Indique a conectiva principal.
3.2. Construa a tabela da verdade para a fórmula da alínea a).
3.3. Formalize as proposições seguintes criando um dicionário apropriado.
a) A nossa escola preocupa-se com a qualidade do ensino, mas também com a formação humana.
b) Controlamos os paraísos fiscais e quebramos o poder do narcotráfico, ou não controlamos os fluxos
bancários e o combate à droga é inútil.
c) Se for a Paris, vou visitar a Torre Eiffel e o Louvre.
3.4. Interprete as fórmulas proposicionais seguintes a partir do dicionário proposto.
P = Camões é um dos maiores génios literários.
Q = Egas Moniz foi prémio Nobel da Medicina.
R = Eusébio foi um futebolista espantoso.
S = Há poetas geniais.
a) [R → (P Λ S)]
b) [(P V R) ↔ Q]
c) {¬P → [¬R Λ (¬Q V ¬S)]}