Escreva em lógica proposicional as seguintes sentenças declarativas. Para cada átomo proposicional que for utilizar escreva o significado.
Caso eu não tenha uma rede Wi-Fi e não tenha um pacote de dados móveis, não posso acessar a internet pelo celular.

Passo 1

O enunciado diz: “Caso eu não tenha uma rede Wi-Fi e não tenha um pacote de dados móveis, não posso acessar a internet pelo celular.” É uma sentença condicional cujo antecedente é a conjunção de duas negações e cujo consequente é uma negação. Vamos traduzi-la em lógica proposicional usando implicação, conjunção e negação.

Passo 2

Definimos os átomos proposicionais e seus significados:
p: “Eu tenho rede Wi-Fi”
q: “Eu tenho pacote de dados móveis”
r: “Eu posso acessar a internet pelo celular”

Passo 3

A frase “Caso não p e não q, então não r” se traduz como
(\neg p \land \neg q) \to \neg r

Resposta

p: “Eu tenho rede Wi-Fi”
q: “Eu tenho pacote de dados móveis”
r: “Eu posso acessar a internet pelo celular”
(\neg p \land \neg q)\to \neg r

Exercícios relacionados