Synonymes de modus ponens

★ Synonymes

Règle d'inférence logique (forme argumentative)

• règle de détachement
• règle de séparation
• règle d'élimination de l'implication
• syllogisme hypothétique
  usage parfois proche, mais distinct

Principe formel (en calcul des propositions)

• axiome du détachement
  dans certains systèmes
• schéma de détachement
• règle de coupure
  en calcul des séquents, apparentée

En langage courant (raisonnement pratique)

• raisonnement conditionnel direct
• déduction par implication
• argument valide conditionnel
• inférence conditionnelle

≡ Synonymes

↔ Contraires