Logical statements can be written in a special type of short hand writing, which includes the symbols of the symbolic logic. These symbols are used to describe logical reasoning in an abstract way. For example: