Marcos de Castro
EQUIPE
17/09/2026 • 15:02
Vamos analisar a lógica por trás da frase 'Se durmo, então estou com sono'. Essa é uma proposição condicional do tipo 'Se P, então Q', onde P é 'durmo' e Q é 'estou com sono'.
Na lógica proposicional, a implicação 'Se P, então Q' é equivalente à disjunção 'Não P ou Q'. Isso significa que quando P não acontece ou Q acontece, a condicional é verdadeira.
Agora, vamos conferir as alternativas:
(a) 'Não durmo ou estou com sono' corresponde exatamente à forma '¬P ou Q', que é a equivalência lógica da condicional dada.
(b) 'Se não durmo, então não estou com sono' é a inversão da condicional, que não é logicamente equivalente.
(c) 'Não durmo e estou com sono' não é equivalente, pois usa a conjunção e não a disjunção.
(d) 'Se estou com sono, então durmo' é a recíproca e também não é equivalente.
(e) 'Durmo e não estou com sono' contraria a condicional original.
Portanto, a alternativa correta é a letra a).
Na lógica proposicional, a implicação 'Se P, então Q' é equivalente à disjunção 'Não P ou Q'. Isso significa que quando P não acontece ou Q acontece, a condicional é verdadeira.
Agora, vamos conferir as alternativas:
(a) 'Não durmo ou estou com sono' corresponde exatamente à forma '¬P ou Q', que é a equivalência lógica da condicional dada.
(b) 'Se não durmo, então não estou com sono' é a inversão da condicional, que não é logicamente equivalente.
(c) 'Não durmo e estou com sono' não é equivalente, pois usa a conjunção e não a disjunção.
(d) 'Se estou com sono, então durmo' é a recíproca e também não é equivalente.
(e) 'Durmo e não estou com sono' contraria a condicional original.
Portanto, a alternativa correta é a letra a).