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ã.
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
: “Carlos andará de bicicleta amanhã.”
: “Carlos correrá amanhã.”
Então a proposição original é
Então a proposição original é
Passo 3
A negação da disjunção é
Pelas leis de De Morgan temos
Passo 4
Em linguagem natural,
é “Carlos não andará de bicicleta amanhã.”
é “Carlos não correrá amanhã.”
Logo a negação completa é “Carlos não andará de bicicleta amanhã e 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ã.