Modus ponens

dimana "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.