Modus ponens

Dalam "modus ponens" aturan dapat ditulis dalam notasi sebagai