Nótese que la premisa de "P" y la implicación se "disuelven", siendo su único rastro el símbolo "Q" que se mantiene para su uso posterior, por ejemplo, en una deducción más compleja.