O estudo de técnicas de demonstração nos remete a uma série de possíveis caminhos para se chegar à conclusão/prova, ou seja, é por meio delas que s...

O estudo de técnicas de demonstração nos remete a uma série de possíveis caminhos para se chegar à conclusão/prova, ou seja, é por meio delas que se pode verificar a veracidade de teoremas. É fundamental que se compreenda o significado de como usar cada técnica de demonstração.

Fonte: GYURICZA, Gyorgy Lazlo. Lógica de argumentação (teoria e exercícios). São Paulo: Yalis Editora, 2009.

Nesse contexto, julgue as afirmações que se seguem:

I - Demonstração Direta: partindo da hipótese, use diretamente propriedades e regras válidas até chegar à tese.

II - Demonstração por Contraposição: A sentença condicional p → q pode ser provada mostrando-se que a sua contrapositiva ~q → ~p é verdadeira.

III - Demonstração por Redução ao Absurdo: Dada uma proposição p a ser provada, assume-se inicialmente a hipótese ~p, mostramos que isso leva a uma contradição. Como ~p → F é verdadeira, conclui-se que ~p é falsa e, portanto, que p é verdadeira.

IV - Demonstração Exaustiva: A conjectura pode ser provada verificando-se que ela é verdadeira para o primeiro e o seguinte elemento da coleção.