===== MODUS TOLLENS =====
VIDE [[lexico:m:modus-ponens|modus ponens]]