Use as leis de De Morgan para encontrar a negação de cada uma das proposições abaixo.
b) Carlos andará de bicicleta ou correrá amanhã.

Passo 1

O enunciado pede a negação da proposição “Carlos andará de bicicleta ou correrá amanhã”. O conteúdo é negação de disjunção em lógica proposicional, usando as leis de De Morgan.

Passo 2

Seja p: “Carlos andará de bicicleta amanhã.” q: “Carlos correrá amanhã.”
Então a proposição original é p \lor q.

Passo 3

A negação da disjunção é
\neg(p \lor q).
Pelas leis de De Morgan temos
\neg(p \lor q)\equiv \neg p \land \neg q.

Passo 4

Em linguagem natural, \neg p é “Carlos não andará de bicicleta amanhã.” \neg q é “Carlos não correrá amanhã.”
Logo a negação completa é “Carlos não andará de bicicleta amanhã e não correrá amanhã.”

Resposta

Carlos não andará de bicicleta amanhã e não correrá amanhã.

Exercícios de Livros Relacionados