Quanto à sua formulação lógica, o raciocínio “Todo homem é mortal. Sócrates é homem. Logo, Sócrates é mortal.” consiste em