logic-predicate-quantifiers

Name: logic-predicate-quantifiers
Author: JonatanGS777

SKILLFlusso di lavorocommunity

v0.0.0JonatanGS777MITAggiornato 4 mesi faFonte →

Applies first-order logic with quantifiers, domains, and formally scoped predicates.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

7Stelle del repo

1Client

1Formati

4 mesi faUltimo aggiornamento

Skill

AutoreJonatanGS777

Versione0.0.0

LicenzaMIT

CategoriaFlusso di lavoro

Formatiskill.md

PromptNon pubblicato

Compatibilità

Claude✓ Supportato

Cursor—

Copilot—

ChatGPT—

Gemini—

Descrizione

Applies first-order logic with quantifiers, domains, and formally scoped predicates.

Parole chiave

skillclaude