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

Gabarito: e) A proposição dada é p implica q, ou seja, se p é verdadeiro, então q também é verdadeiro.

Na lógica, a implicação p implica q significa que q é condição necessária para p. Isso porque, para que p seja verdadeiro, q precisa ser verdadeiro; caso contrário, a implicação seria falsa.

Portanto, q (ser possível provar que ? + 1 = ?) é condição necessária para p (computadores serem capazes de processar quaisquer tipos de dados).

Analisando as alternativas, a única que expressa corretamente essa relação é a letra e, que afirma que q é condição necessária para p.

Para reforçar, a condição suficiente para q seria p, mas a questão pede a condição necessária para p, que é q.