Traduza as proposições seguintes usando a notação simbólica.
(a) Se Alfredo escrever para a Maria, ela nao irá para outra cidade.
(b) Ou Alfredo escreve para Maria ou ela ira para outra cidade.
(c) Alfredo não escreveu para Maria e ela irá para outra cidade.
(d) O gerente despedira Maria ou despedirá João.
(e) O numero de acidentes diminuirá nas estradas se, e somente se, houver mais policiamento e os motoristas forem mais conscientes.
(f) Todos acertaram todas as questões, mas isso não significa que não devam estudar mais.
(g) Se Eduardo não apresentar uma queixa, então, nem Fernando investigará, nem Geraldo será desclassificado.
Resposta:
(a)
P: Alfredo escreve para Maria;
Q: Maria irá para outra cidade;
P → ¬Q.
(b)
P: Alfredo escreve para Maria;
Q: Maria irá para outra cidade;
P ∨ Q.
(c)
P: Alfredo escreveu para Maria;
Q: Maria irá para outra cidade;
¬P ∧ Q.
(d)
P: O gerente despedirá Maria;
Q: O gerente despedirá João;
P ∨ Q.
(e)
P: O numero de acidentes diminuirá nas estradas;
Q: Houver mais policiamento;
R: Os motoristas forem mais conscientes;
P ↔ Q ∧ R.
(f)
P: Todos acertaram todas as questões;
Q: Devam estudar mais;
P ∧ ¬Q.
(g)
P: Eduardo apresenta uma queixa;
Q: Fernando investigará;
R: Geraldo será desclassificado;
¬P → ¬Q ∧ ¬R.
Fonte:
MD1 - Lógica Proposicional, Profa . Dayanne G. Coelho, 2017.