Question

1 - Para demonstrar a validade das proposições, com base nos princípios axiomáticos da lógica formal, podemos empregar diversas estratégias, considerando também os axiomas, definições e outros resultados comprovados anteriormente.Considerando o tema em questão, complete as lacunas das seguintes afirmações tornando-as sentenças corretas a respeito das técnicas de demonstrações:I. Na demonstração _____________ deve-se considerar a negação da tese da proposição, em conjunto com resultados comprovados anteriormente e/ou com resultados aceitos sem demonstrações, de modo a comprovar a validade da negação da hipótese.II. Na demonstração _____________ deve-se considerar a hipótese da proposição, em conjunto com resultados comprovados anteriormente e/ou com resultados aceitos sem demonstrações, de modo a comprovar a validade da tese.III. Na demonstração _____________ deve-se considerar a hipótese e a negação da tese da proposição, em conjunto com resultados comprovados anteriormente e/ou com resultados aceitos sem demonstrações, de modo a obter um resultado contraditório.IV. Na demonstração _____________ deve-se comprovar a validade da propriedade para o primeiro elemento do conjunto e, ao supor que a propriedade é válida para algum natural, comprovar a validade da propriedade para seu sucessor.Com base nas afirmações apresentadas, assinale a alternativa que indica todos os termos que completam corretamente as lacunas das afirmações apresentadas:

Answer 1

 A resposta correta dessa questão é 1C 
I - por contrapositiva (condicional)....