Negar que Marcos foi andar se e somente se Ana estava dormin...

A negação do se, somente se é ~ (p⇔q) = p ⊻ q e vice-versa.

gab. C

Gabarito:  Questão Passível de Recurso !!!

Apresenta duplo gabarito ( "Letra A" e "Letra C" ).

BICONDICIONAL ( "SE E SOMENTE SE" ) = ( p⇔q )

Tal proposição é Verdadeira quando os Valores Lógicos são Iguais ( VV , FF ) e Falsa quando Valores Lógicos são Diferentes ( VF ,FV ).

Quando alguém nos diz a frase acima, ela quer dizer que, necessariamente ,as duas coisas acontecem juntas ( ou então nenhuma delas acontecem ).

As formas de negar "SE E SOMENTE SE" ( p⇔q ) são:

( ou p ou q )  ;   ( ~p ⇔ q )  ; ( p ⇔ ~q )

Negação da bicondicional

~ (p ↔ q) = p v q :para negar o bicondicional, basta transformar em uma disjunção exclusiva ( OU ... OU ).
~ (p ↔ q) = ~p ↔ q:para negar a bicondicional, nega-se uma das proposições simples e mantém a bicondicional.
~ (p ↔ q) = p ↔ ~q:para negar a bicondicional, nega-se uma das proposições simples e mantém a bicondicional.

Notas sobre questão:

O duplo gabarito ocorre pois ambas alternativas "Letra A" e "Letra C" apresentam formar de negar " se e somente se ".

A questão pede a negação "Marcos foi andar se e somente se Ana estava dormindo":

a) Marcos foi andar se e somente se Ana não estava dormindo.

~ (p ↔ q) = p ↔ ~q:para negar a bicondicional, nega-se uma das proposições simples e mantém a bicondicional.

c) ou Marcos foi andar ou Ana estava dormindo.

~ (p ↔ q) = p v q :para negar a bicondicional, basta transformar em uma disjunção exclusiva ( OU ... OU ).