Escreva em lógica proposicional as seguintes sentenças declarativas. Para cada átomo proposicional que for utilizar escreva o significado.
Se eu não faço parte de nenhum projeto e não tem aula amanhã, então eu não vou para a universidade.
Se eu não faço parte de nenhum projeto e não tem aula amanhã, então eu não vou para a universidade.
Passo 1
O enunciado nos pede para traduzir para lógica proposicional a frase “Se eu não faço parte de nenhum projeto e não tem aula amanhã, então eu não vou para a universidade.” Isso envolve identificar as proposições atômicas, definir o que cada uma significa e montar uma fórmula usando negações, conjunção e implicação.
Passo 2
Vamos definir três átomos proposicionais:
: “Eu faço parte de algum projeto.”
: “Tem aula amanhã.”
: “Eu vou para a universidade.”
Passo 3
A frase “Se eu não faço parte de nenhum projeto e não tem aula amanhã” vira a conjunção
.
O “então eu não vou para a universidade” vira a implicação para .
Assim, a tradução completa é:
O “então eu não vou para a universidade” vira a implicação para
Assim, a tradução completa é: