Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i l’afirmació del seu antecedent, la conclusió, és l’afirmació del conseqüent.
Segons la representació habitual de la lògica proposicional es pot expressar per ***.Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic.