Coba jelasin Formal notasi dari Modus ponens dong

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.