式 ¬P で、記号 ¬ は何をしますか。