Pero en ambos casos no es así, ya que por un lado, el modus ponens arma el antecedente y no en consecuente y, por otro lado, el modus tollens niega el consecuente y no el antecedente. Esto quedará más claro cuando se estudie en la última unidad las reglas de inferencia, por lo cual, no nos detendremos en este momento en este punto.
-
-