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

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

Próxima Questão