Admitindo‑se que as proposições “O pássaro vermelho é de fo...

Gabarito certo

A negação do SE SOMENTE SE é OU OU

Negação do SE SOMENTE SE ocorre por 3 caminhos:

Com o próprio se somente se (basta negar uma das partes). obs: se negar as duas vira equivalência

Com OU...OU tem duas possibilidades. (Mantém as duas partes e troca pelo conectivo ou..ou.) (Nega as duas partes e troca pelo conectivo ou...ou)

Com o conectivo OU (dentro de uma bicondicional há duas condicionais, uma que vai e outra que volta, DEPOIS acrescenta conectivo E, faz a negação do conectivo "e" com o conectivo "ou" e nega as duas condicionais) MANE MANE

ps: sem duvidas a negação do conectivo se somente se com o conectivo ou é a mais complexa :/

GB: certo, negação da bi condicional é só manter as afirmativas e trocar o conectivo por "ou,ou"

Onegação "de se somente se" é "ou exclusivo(XOR) \\ (P∧¬Q)∨(¬P∧Q)" assim sendo a negação ficaria:

"O pássaro vermelho é de fogo e o pássaro azul não é de gelo, ou o pássaro vermelho não é de fogo e o pássaro azul é de gelo.”

fontes:

https://mathworld.wolfram.com/XOR.html

https://plato.stanford.edu/entries/logic-classical/

"Matemática Discreta para Computação e Informática" (Paulo Blauth Menezes).

"Fundamentos de Matemática para Ciência da Computação" (Judith L. Gersting).

"Lógica para Ciência da Computação" (João Nunes de Souza).