Relações de implicação e equivalência

1. As equivalências de De Morgan tratam da negação de proposições lógicas compostas, especificamente da equivalência para a negação da conjunção e da equivalência para a disjunção de proposições simples. Nesse contexto, uma afirmação que corresponde à negação da afirmação “Rosane dedicou amor ao trabalho e Rosane ganhou um prêmio de cidadã do ano” é:​​​​​​​

A. Rosane não dedicou amor ao trabalho ou Rosane não ganhou um prêmio de cidadã do ano.

B. Rosane dedicou ódio ao trabalho e Rosane não ganhou um prêmio de cidadã do ano.

C. Se Rosane não dedicou amor ao trabalho, então Rosane não ganhou um prêmio de cidadã do ano.

D. Se Rosane ganhou um prêmio de cidadã do ano, então Rosane dedicou amor ao trabalho.

E. Rosane não dedicou ódio ao trabalho e Rosane ganhou um prêmio de cidadã do ano.