Modus Tollens
Natural & Formal Sciences Dictionary
Definición
Regla de inferencia: a partir de 'Si P entonces Q' (P → Q) y 'no Q' (¬Q), inferir 'no P' (¬P). Es la forma estándar de rechazar antecedentes mediante el fracaso de consecuentes.
Modus Tollens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla válida de inferencia que permite inferir ¬A a partir de las premisas A → B y ¬B; suele expresarse como 'si A entonces B; no B; por tanto no A.'