Su único registro es la ocurrencia de ⊦ "Q" [el consecuente]...una inferencia "modus ponendo ponens" no es tanto el lanzamiento de una premisa verdadera, sino que es la disolución de una implicación".