São dadas as seguintes proposições: ? p: Computadores são capazes de process...

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.