Regla de inferencia expresada en la tautología [(p-->q)&~q]-->~p. También llamada modus tollendo tollens (negando niega). Es equivalente al modus ponens tomando en cuenta la equivalencia entre la condicional p-->q y su contrapositiva ~q-->~p.
Regla de inferencia expresada en la tautología [(p-->q)&~q]-->~p. También llamada modus tollendo tollens (negando niega). Es equivalente al modus ponens tomando en cuenta la equivalencia entre la condicional p-->q y su contrapositiva ~q-->~p.