In formal logic (and many related areas), rules of inference are usually given in the following standard form: .
This expression states that whenever in the course of some logical derivation the given premises have been obtained, the specified conclusion can be taken for granted as well.