Conhecida como dedução natural, esse estilo de demonstração ...

Conhecida como dedução natural, esse estilo de demonstração da verdade consiste em inferir logicamente uma conclusão a partir de um conjunto de premissas. Qual é o nome da técnica de prova descrita anteriormente?

a. Prova por redução ao absurdo.

b. Prova bicondicional.

c. Prova indireta.

d. Prova direta.

e. Prova condicional.