Considerando a proposição P: Se cada um busca o melhor para ...

Se cada um busca o melhor para si em uma complexa relação de interdependência de estratégias similar a um jogo, quando você toma uma decisão, o resultado de sua escolha depende da reação dos outros jogadores.

Se cada um busca o melhor para si em uma complexa relação de interdependência de estratégias similar a um jogo e você toma uma decisão, então o resultado de sua escolha depende da reação dos outros jogadores.

As alterações feitas não causam a não equivalência das frases.

( cada um busca o melhor   E   você toma uma decisão ) --->  o resultado depende   (questão CERTA)

Para facilitar, é bom reduzir as frases ao sujeito e verbo, retirando o máximo de complementos.

Pessoal, O "quando não pode ser substituído" pelo "SE" ? Acho estranho ser substituído pelo "e".

Não consigo enxergar a equivalência. 

E outra na equivalência utilizamos a técnica de dupla negação ou invertendo as proposições, negando as 2 e mantendo o conectivo.

Na prova eu deixaria em branco mas aqui eu errei.

Luciano, tinha concordado com vc a priori

Entendi a assertativa inicial como:

A --> (B -->C)

Na questão, a proposição é:

(A ^ B) --> C

Minha surpresa foi quando tive a paciencia de construir a tabela-verdade e ela confirmou que as proposições são idênticas!! O que garante este fato e que dificilmente se consegue mostrar só pela leitura são os parênteses. Não adianta tentar fugir da tabela-verdade, ela toma um tempo que pode ser precioso, mas é a única que garante a resposta certa em todas as questões.

Veja que se C for verdadeira, ambas as proposições são verdadeiras em todos os casos.

Ao mesmo tempo, se A for falsa e, consequentemente (A^B) for falsa... ambas as proposições se tornam verdadeiras em todos os casos

Sobram 2 situações:

A=V / B=V / C=F       === Nesse caso, ambas as proposições são falsas

A=V / B=F C=F         ===Nesse caso, ambas as proposições são verdadeiras

Ou seja, as proposições são equivalentes e a assertativa correta. Gabarito: C

Diogo Senna, vc matou a charada! A tabela verdade confirma a equivalência que, a olho nu, não existiria.

Com um pouco de algebrismo, também se chega à equivalência:

A --> (B --> C)  =  A --> (~B ou C)  =  ~A ou (~B ou C)  =  (~A ou ~B) ou C  =  ~(A e B) ou C  =  (A e B) --> C

Mas a tabela verdade ainda é mais confiável!