¬¬¬P⇒¬P