Tolong jelaskan mengenai Formal notasi dari Modus ponens

Dalam modus ponens aturan dapat ditulis dalam notasi sebagai

dengan P, Q, dan P → Q adalah pernyataan (atau proposisi) dalam bahasa formal dan ⊢ adalah simbol metalogical yang berarti bahwa Q adalah konsekuensi logis dari P dan P → Q dalam sebuah sistem.