Cette sous-partie defini comment prendre la négation d'une phrase formelle avec quantificateurs.