Что делает символ ¬ в формуле ¬P?