Equivalência do Se então: Nega primeiro, conectivo OU, mantém. NEOUMA

Nega, Ou, Mantém

Dividimos a proposição: Se a bola é branca e a caixa não é azul - negue essa afirmação. Negação da conjunção é negar tudo e trocar por OU

A bola não é branca ou a caixa é azul.

OU

Mantém - então a ficha é vermelha.

Uma sentença logicamente equivalente à sentença dada é: A bola não é branca ou a caixa é azul ou então a ficha é vermelha.

Nessa fui por eliminação, mas não deveria ser "A bola não é branca ou a caixa é azul E a ficha é vermelha."? Alguém saberia explicar pq ficou tudo com conectivo OU?

NEYMAR

1 nego a primeira afirmação

2 troco por OU

3 mantenho a segunda afirmação

usei duas lógicas ( NEYMAR-> NEga a primeira e MAntém a segunda, & MANÉ -> MAntém a primeira e NEga a segunda) na primeira parte da condicional, exemplo:

B: bola é Branca

A: Caixa não é Azul

V: ficha é Vermelha

(B ^ ~A) > V

agora usando a lógica NEYMAR [e trocando tanto (e ^) por (ou v), como > por (ou v) ]

(~B v ~A) ou V

agora na primeira parte (novamente) fiz a lógica do MANÉ.

~B v A v V

ficando assim:

A BOLA NÃO É BRANCA OU A CAIXA É AZUL OU A FICHA É VERMELHA.

ps: demorei entender, mas usando essas 2 lógicas consegui resolver bem! me digam se fiz errado.

Revisarr