Sob o ponto de vista da lógica proposicional, a negação da proposição “Se Paulo trabalha, então Mariana dorme” é a seguinte:
- A Paulo trabalha e Mariana não dorme.
- B Paulo trabalha ou Mariana não dorme.
- C Paulo não trabalha ou Mariana dorme.
- D Paulo trabalha e Mariana dorme.
- E Paulo não trabalha e Mariana dorme.