Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Maria vai passar em lógica se estudar e aprender.
Maria vai passar em lógica se estudar e aprender.
Passo 1
O enunciado pede para traduzir a frase “Maria vai passar em lógica se estudar e aprender” para a linguagem da lógica proposicional. Aqui vamos usar os conectivos de conjunção e implicação.
Passo 2
Definimos as sentenças atômicas da seguinte forma:
: “Maria vai passar em lógica”
: “Maria estuda”
: “Maria aprende”
Passo 3
A expressão “Maria vai passar em lógica se estudar e aprender” equivale a “se
e
, então
”, ou seja