modus tollens
concept règle d'inférence en logique propositionnelle
Nature : règle d'inférence, théorème
Catégories : théorèmes · concepts mathématiques · sciences · concepts abstraits
Mots du lexique : modus nom commun, Tollens nom propre, modus tollens nom commun