Vamos analisar as alternativas uma a uma para identificar a correta sobre o método dedutivo. a) "demonstrar implicações e equivalências lógicas. Não podem ser utilizados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade." - Esta opção é incorreta porque o método dedutivo utiliza argumentos válidos fundamentais. b) "demonstrar apenas equivalências lógicas. São utilizadas equivalências no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade." - Esta opção é incorreta porque o método dedutivo não se limita apenas a equivalências lógicas. c) "demonstrar implicações e equivalências lógicas. São utilizadas equivalências estudadas no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade." - Esta opção está correta, pois o método dedutivo realmente demonstra tanto implicações quanto equivalências lógicas e utiliza argumentos válidos. d) "demonstrar implicações e equivalências lógicas. São utilizadas equivalências estudadas no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração menos eficiente que construir tabelas-verdade – sendo este último um meio mais seguro e rápido." - Esta opção é incorreta, pois o método dedutivo é considerado mais eficiente. e) "criar implicações e equivalências lógicas. São utilizadas apenas algumas das equivalências estudadas no tema de álgebra das proposições. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade." - Esta opção é incorreta, pois o método dedutivo não se limita a "criar" implicações e equivalências. Portanto, a alternativa correta é: c) demonstrar implicações e equivalências lógicas. São utilizadas equivalências estudadas no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade.