O argumento I é exemplo canônico de um argumento classificado como válido pela lógica dedutiva. O argumento II é um argumento que não é classificado como válido pela lógica dedutiva, denominado indutivo.