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.
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
,
e
pelas seguintes proposições:
é “Hoje é fim de semana”,
é “Hoje é feriado” e
é “Hoje tem aula”.
Passo 3
A frase indica que se
ou
ocorre, então
não ocorre. Em lógica proposicional, isso se traduz em:
Resposta
Sejam
: “Hoje é fim de semana”,
: “Hoje é feriado” e
: “Hoje tem aula”. A fórmula em lógica proposicional que representa a frase é