GratuitSlides
Diaporama avec trame narrative et minutage
- 499499 téléchargements
- 205205 mentions J'aime
- 225225 sauvegardes
Compatible avec
+ Marp, reveal.js ou Slidev- Claude Code
- Codex
- Cursor
- et 3 autres
Logique des prédicats : quantificateurs et skolémisation v1.0.0
Utilisez cette ressource pour analyser les quantificateurs et vérifier une formule de logique des prédicats
Nouveau
- 347 téléchargements
- 221 mentions J'aime
- 186 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install predicate-quantifier-analysisSans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.
Première fois : connectez la CLI avec
npx --yes palatekit@latest loginL'agent identifie les quantificateurs universels et existentiels, met la formule en forme prénexe puis procède à la skolémisation. Il vérifie les instanciations et les modèles avec Z3. Vous obtenez une analyse formelle de la formule, étape par étape.
Choisie surtout par
Mise à jour le 2 novembre 2026
Aperçus
Caractéristiques
- Fonctionne dans
- Guides d'installation
- Génère avec
- Le modèle de votre agent
- Licence
- MIT
Ressources similaires
Tout voir- Gratuit
GratuitSkills
Reformulation simple de la dernière réponse
- 501501 téléchargements
- 151151 mentions J'aime
- 162162 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Bilan de progression des révisions drill-me
- 475475 téléchargements
- 146146 mentions J'aime
- 182182 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Explication progressive, du contexte au mécanisme
- 305305 téléchargements
- 149149 mentions J'aime
- 204204 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Traduire un contrat en langage clair
- 423423 téléchargements
- 195195 mentions J'aime
- 178178 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Accompagner un arrêt du tabac, en parrain
- 575575 téléchargements
- 104104 mentions J'aime
- 142142 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Apprentissage d'un concept sur plusieurs séances
- 513513 téléchargements
- 159159 mentions J'aime
- 189189 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Contrôle du style des pages de documentation
- 573573 téléchargements
- 109109 mentions J'aime
- 126126 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
Ce que vous obtenez
- SKILL.md : arbre de décision sur les quantificateurs, la forme prénexe et la skolémisation
- SKILL.md : commandes Z3 (ForAll, Exists, modèles) pour tester une formule
Pour qui
- Vous devez vérifier qu'une formule quantifiée en implique une autre
- Vous préparez un exercice de logique formelle
Pas pour qui
Étiquettes
- logique des prédicats
- quantificateurs
- logique formelle
- skolémisation
À propos
Vous dites
« Vérifie que ∀x P(x) implique P(a), puis explique pourquoi l'inverse ne tient pas. »
Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Voir plusVoir moins
Comment l'utiliser
- Installez la skill dans le dossier de skills de votre agent
- Demandez à votre agent de analyser les quantificateurs et vérifier une formule de logique des prédicats
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE1,1 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md1,8 Ko
Origine et licence
Référencée sans modification
- Auteur
- parcadei
- Source
- github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/mathematical-logic/predicate-logic
- Licence
- MIT
Notice
« predicate-logic » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
Avis des utilisateurs
–
Aucune note pour l'instant
Chargement des avis…