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.

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: p: “Maria vai passar em lógica” q: “Maria estuda” r: “Maria aprende”

Passo 3

A expressão “Maria vai passar em lógica se estudar e aprender” equivale a “se q e r, então p”, ou seja
(q \wedge r) \to p

Resposta

(q \wedge r) \to p

Exercícios relacionados