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

Assertiva C

ou Marcos foi andar ou Ana estava dormindo.

Para negar o conectivo OU OU é só trocá-lo pelo ...SE E SOMENTE SE ou vice versa.

GABARITO. C

ESTA QUESTÃO TEM DOIS GABARITOS.

LETRA A- É A REGRA DO MANÉ E MANTÉM O SE SOMENTE SE.

LETRA C- É A REGRA DO MAMA OU NENE E TROCA PELO CONECTIVO OU...OU.

UMA QUESTÃO DESSA A GENTE SABE QUE NÃO PODE PASSAR NEM 0,8 SEGUNDOS NELA.

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.