Leia os argumentos abaixo e posteriormente assinale a alternativa correta.
I. "Todos os X são Y; todos os Y são Z; logo, todos os X são Z."
II. "Na escola A, 5/6 dos professores são doutores; X leciona em A; logo, X é doutor."
O primeiro é um exemplo canônico de um argumento indutivo. O segundo é um típico argumento dedutivo.
O segundo argumento apenas estaria correto com a redação seguinte: "Na escola A, 5/6 dos professores são doutores; X leciona em A; logo X não é doutor."
O primeiro argumento não é válido. Seria válido, no entanto, enunciar: "Todos os X são Y; todos os Y são Z; logo, todos os Y são X."
O primeiro é um exemplo canônico de um argumento classificado como válido pela lógica dedutiva. O segundo é um argumento que não é classificado como válido pela lógica dedutiva, denominado indutivo.