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 propositionnelle : tables de vérité et SAT v1.0.0
Utilisez cette ressource pour classer une formule propositionnelle et tester sa satisfiabilité
Nouveau
- 480 téléchargements
- 188 mentions J'aime
- 104 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install propositional-truth-tablesSans 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 le connecteur principal et classe la formule, puis dresse la table de vérité pour les formules à quatre variables au plus. Il vérifie la satisfiabilité avec Z3 et applique des règles de déduction comme le modus ponens. Vous obtenez une classification et une déduction commentée.
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 (classification, table de vérité, déduction naturelle)
- SKILL.md : commandes Z3 (satisfiabilité, tautologie) et SymPy (table de vérité)
Pour qui
- Vous devez savoir si une formule est une tautologie
- Vous révisez les règles de déduction comme le modus ponens
Pas pour qui
Étiquettes
- logique propositionnelle
- table de vérité
- tautologie
- déduction
À propos
Vous dites
« Cette formule p ∧ (p → q) → q est-elle une tautologie ? »
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 classer une formule propositionnelle et tester sa satisfiabilité
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE1,1 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md1,7 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/propositional-logic
- Licence
- MIT
Notice
« propositional-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…