Que fait le symbole ¬ dans la formule ¬P ?