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.

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: P: “Eu faço parte de algum projeto.” A: “Tem aula amanhã.” U: “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 \neg P \wedge \neg A.
O “então eu não vou para a universidade” vira a implicação para \neg U.
Assim, a tradução completa é:
(\neg P \wedge \neg A)\;\to\;\neg U

Resposta

P: Eu faço parte de algum projeto. A: Tem aula amanhã. U: Eu vou para a universidade.
(\neg P \wedge \neg A)\;\to\;\neg U

Exercícios relacionados