Prova Indireta da validade de um argumento (Redução ao Absurdo)
Fonte: Carlos Alberto Ferreira Bispo; Luiz Batista Castanheira; Oswaldo Melo Souza Filho. Introdução à Lógica Matemática. Cengage Learning, 2011, p. 49, 50.
Adaptando conhecimento útil às necessidades da humanidade
