Considere a seguinte proposição:

Se Helena é casada com Reinaldo e Carmem é filha de Rita, então Joana é irmã de Maurício.

A negação lógica dessa proposição está indicada em: