Questionário sobre a Prova Direta da validade de um argumento através do Teorema da Dedução
Fonte: Carlos Alberto Ferreira Bispo; Luiz Batista Castanheira; Oswaldo Melo Souza Filho. Introdução à Lógica Matemática. Cengage Learning, 2011, p. 55, 56.
