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 ira para outra cidade.
c) Alfredo escreverá para Maria se, e somente se, ela for para outra cidade.
d) João só irá ao encontro de Maria se Afredo 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.
Soluções para a tarefa
a) A → ¬ M
b) ¬A ᴧ M
c) A ↔ M
d) J ↔ ¬A
e) M v A→C
Na lógica proposicional existem símbolos lógicos que representam o valor de uma afirmação, podendo ser essas proposições verdadeira ou falsa.
Lógica Aristotélica
a) A → ¬ M, símbolo lógico que se refere a possibilidade ''se''.
b) ¬A ᴧ M, símbolo lógico que se refere a possibilidade ''se'' e a condição ''e''.
c) A ↔ M, símbolo lógico que se refere a condicional ''se e somente se''.
d) J ↔ ¬A, símbolo lógico que representa o ''se'' e a condicional ''somente se''.
e) M v A→C, símbolo lógico que se refere a condição ''ou'' e a representação de ''se''.
A lógica é a área da filosofia que busca compreender a veracidade das afirmações, onde ela busca compreender os juízos de valores ''Verdadeiro'' ou ''Falso'' de uma determinada proposição lógica. Na questão existem algumas proposições lógicas.
Cada um desses símbolos representam o valor lógico da questão e também os seus componentes.
Para saber mais sobre lógica, acesse: https://brainly.com.br/tarefa/645229
#SPJ2
