Silogismo hipotético
Modus Tollendo Tollens
Estructura lógica del razonamiento.
"O voy a la Universidad o Voy a la Politécnica. No voy a la Universidad. Por lo tanto:
Modus ponens
Modus Tollendo Ponens
(P → Q) ∧ ~ Q ⇒ ~ P
Si Juan aplica una fuerza, entonces mueve el objeto. Si el objeto se mueve entonces hay cambio en su estado. Por lo tanto: si se aplica una fuerza entonces hay un cambio de estado.
"O es una matriz regular o es una matriz singular" No es una matriz singular. Por lo tanto es una matriz regular
Voy a la Politécnica
Afirmando afirmo
Regla de Inferencia