usando letras maiúsculas para abreviar as proposições simples.
a) Se Alfredo escrever para Maria, ela não irá para outra cidade.
A: Alfredo escreve para Maria
M: Maria irá para outra cidade
A → ¬ M
b) Ou Alfredo escreve para Maria ou ela irá para outra cidade.
A: Alfredo escreve para Maria
M: Maria irá para outra cidade
A ∨ M
c) Alfredo não escreveu para Maria e ela irá para outra cidade.
d) Alfredo escreverá para Maria se, e somente se, ela for para outra
cidade.
e) Se Alfredo escrever para Maria e João for ao encontro dela, então Maria não irá para outra cidade.
f) O gerente despedirá Maria ou despedirá João.
g) Se João é vizinho de Maria, então João conhece Maria.