Question

1. Traduza para a linguagem simbólica as seguintes proposições, usando letras maiusculas para abreviar as
proposições simples.
a) Se Alfredo escrever para Maria, ela não irá para outra cidade.
b) Alfredo não escreveu para Maria e ela irá para outra cidade.
c) Alfredo escrevera para Maria se. e somente se ela for para outra
cidade,
d) João só irá ao encontro de Maria se Alfredo não estiver na cidade.
e) Se Maria se encontrar com João, ou se não for ao encontro
com Alfredo, Maria irá para outra cidade.​

Answer 1

a) A → ¬ M

b) ¬A ᴧ M

c) A ↔ M

d) J ↔ ¬A

e) M v A→C