È un'errata applicazione del modus ponens,
che nella forma corretta si esprime come [(p -> q) ^p] -> q. Invece,
con la l'affermazione del conseguente, si afferma erroneamente che [(p
-> q) ^q] -> p.
ESEMPIO - Se sono a Venezia, allora sono in Veneto.
Sono in Veneto, perciò sono a Venezia.