Definition 5: Given a statement \phi , we will refer to the statement “not \phi ” as the negation (or denial) of \phi . We may use notation like \neg \phi to express such a statement. We may refer to \neg \neg \phi as the double negation of \phi , while \neg \neg \neg \phi is called the triple negation of \phi .