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 indireta. c. Prova direta. d. Prova condicional. e. Prova bicondicional.