Priorité des connecteurs. Le cours place ∨ avant ∧; la convention standard fait l'inverse. Parenthéser.
Distribution de ∀ sur ∨.∀x(P∨Q) ≡ ∀xP∨∀xQ est fausse en général.
Distribution de ∃ sur ∧.∃x(P∧Q) ≡ ∃xP∧∃xQ est fausse en général.
Négation des quantificateurs. Le prédicat interne doit aussi être nié : ¬∀xP ≡ ∃x¬P, ¬∃xP ≡ ∀x¬P.
« Les pommes rouges ».∀x(pomme(x)∧rouge(x)) affirme que tout objet du domaine est une pomme rouge. Une classe se décrit plutôt par pomme(x)∧rouge(x) avec x libre, ou par l'ensemble {x | pomme(x)∧rouge(x)}.
Stationnement libre dans deux zones. Si les deux permissions sont accordées, employer ∧, pas ∨.
Riche/non-riche. La négation de la formule de l'exercice 2 des prédicats disparaît dans la traduction officielle.
Règle de température. L'existentiel placé devant une implication ne permet pas la preuve officielle; utiliser l'une des deux formulations du §9.2.
Unification C1/P(y). Une constante ne s'unifie pas avec un terme composé de symbole différent.
Socrate. Il faut d'abord instancier l'universel, puis appliquer modus ponens; la vidéo reconnaît cette étape omise dans la diapositive.
Forme clausale et terminaison. La résolution du premier ordre est semi-décidable, non une garantie générale de terminaison pour les échecs.
Rédaction. Ne pas inventer de symboles pour « n'existe pas » ou « n'implique pas »; utiliser la négation d'une formule existante. Ne pas mélanger une phrase française et une formule dans le même énoncé.
Copier séparément les données ci-dessous dans des fichiers texte avant de fermer la page ou de modifier le stockage. Une valeur illisible ou incompatible reste en place. Aucun effacement ni rétablissement écrasant n’est effectué automatiquement. L’export/import JSON est disponible sur la page Progression du cours. Cette récupération séparée reste utile pour une valeur brute ou un conflit.
Clé de ce cours : . Format v1 porté par cette clé; dates UTC et identifiants durables.
Si l’accès est refusé, la valeur persistée peut rester inaccessible. Réautoriser le stockage dans le navigateur puis rouvrir ce cours permet de la relire. Une réinitialisation exige une décision explicite après récupération; aucune commande de suppression n’est proposée ici. Les données restent sur cette origine et cet appareil, sans transfert automatique.