Escreva em lógica proposicional as seguintes sentenças declarativas. Para cada átomo proposicional que for utilizar escreva o significado.
Hoje não tem aula se é fim de semana ou feriado.

Passo 1

O enunciado pede a tradução da frase “Hoje não tem aula se é fim de semana ou feriado.” para a lógica proposicional, utilizando o conectivo condicional, a disjunção e a negação.

Passo 2

Definimos os átomos proposicionais p, q e r pelas seguintes proposições: p é “Hoje é fim de semana”, q é “Hoje é feriado” e r é “Hoje tem aula”.

Passo 3

A frase indica que se p ou q ocorre, então r não ocorre. Em lógica proposicional, isso se traduz em:
(p \lor q) \to \neg r

Resposta

Sejam p: “Hoje é fim de semana”, q: “Hoje é feriado” e r: “Hoje tem aula”. A fórmula em lógica proposicional que representa a frase é
(p \lor q) \to \neg r

Exercícios relacionados