Questão número 40938

São dadas as seguintes proposições:

− p: Computadores são capazes de processar quaisquer tipos de dados.

− q: É possível provar que ∞ + 1 = ∞.

Se p implica em q, então o fato de

• A.

  ser possível provar que ∞ + 1 = ∞ é uma condição necessária e suficiente para que os computadores sejam capazes de processar quaisquer tipos de dados.

• B.

  computadores serem capazes de processar quaisquer tipos de dados não é condição necessária e nem suficiente para que seja possível provar que ∞ + 1 = ∞.

• C.

  ser possível provar que ∞ + 1 = ∞ é uma condição suficiente para que os computadores sejam capazes de processar quaisquer tipos de dados.

• D.

  computadores serem capazes de processar quaisquer tipos de dados é condição necessária para que seja possível provar que ∞ + 1 = ∞.

• E.

  ser possível provar que ∞ + 1 = ∞ é condição necessária para que os computadores sejam capazes de processar quaisquer tipos de dados.