Analisando a proposição: algum dia será possível criar um programa de computador que sempre vença o jogo no xadrez? I. Suponha, por um momento, ...

Analisando a proposição: algum dia será possível criar um programa de computador que sempre vença o jogo no xadrez? I. Suponha, por um momento, que a seguinte proposição é válida: p = ''existe um programa de computador que sempre vence o jogo no xadrez''. Supondo que tal programa existe, instale a mesma cópia em dois computadores e coloque um para jogar contra o outro. O jogo terminará empatado (sem nenhum vencedor) ou um dos computadores perderá. PORQUE II. Em qualquer destes casos, pelo menos uma das duas cópias do programa não vai ganhar o jogo, uma contradição, já que assumimos que o programa sempre ganha. Portanto, não existe (nem nunca existirá) um programa que sempre vença o jogo no xadrez. A respeito da afirmação assinale a opção correta. A primeira asserção é uma proposição verdadeira, e a segunda é falsa. A primeira asserção é uma proposição falsa, e a segunda é verdadeira. As duas asserções são proposições verdadeiras, e a segunda é uma justificativa correta da primeira. Ambas as asserções são proposições falsas. As duas asserções são proposições verdadeiras, mas a segunda não é uma justificativa correta da primeira.