El "modus ponendo ponens" puede establecerse formalmente como: