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

A resposta dada pela banca é a letra C. (Regra geral de negação do ↔ )

¬(P ↔ Q) ⇔ P v Q

MAS CUIDADO! Também poderia ser a letra A, pois o examinador cobrou a regra geral de negação do conectivo ↔.

Se escrevermos a Letra A) " Marcos foi andar se e somente se Ana não estava dormindo." como expressão lógica fica assim:

P ↔ (¬Q)

Se você montar a tabela verdade verá que "P ↔ (¬Q)" que é a letra A, também é uma negação de "P ↔ Q" além da regra geral...

Vejam abaixo as negações:

¬(P ↔ Q) ⇔ P v Q (Regra geral da negação)

¬(P ↔ Q) ⇔(¬P) ↔ Q (Usando o mesmo conectivo e negando P)

¬(P ↔ Q) ⇔ P ↔ (¬Q) (Usando o mesmo conectivo e negando Q. Isto é o que ocorre na letra A)

Montei a tabela verdade para conferirem.

http://sketchtoy.com/71085344

Obs: Existe ainda mais uma forma de se negar "P ↔ Q" mas nem vou citar pq não ajudaria entender pq do gabarito também ser a opção A)

Concurso de 2019, recente, aqui no QC eu acertei, mas entendo que a questão deveria ser anulada por ter 2 respostas corretas já que o exercício cobrou a alternativa que fosse uma negação e não qual a regra de negação que o examinador queria. Acredito que ele tenha errado na inocência e nem tenha se dado conta que a Letra A também era uma negação.

C