mathematical-logic
Formal logic and proof systems
Quellinformationen
- Repository
- ffsshhttiikk/opencode-agents-skills
- Letzte Quellaktivität
- 28. Februar 2026 um 22:52
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 3
- Forks
- 2
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
SKILL.md wird angezeigt
SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau- name
- mathematical-logic
- description
- Formal logic and proof systems
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"mathematicians","category":"mathematics"}
## What I do
- Apply propositional and predicate calculus
- Construct mathematical proofs
- Analyze logical equivalence and validity
- Work with formal proof systems
- Apply Boolean algebra and logic circuits
- Study model theory and computability
## When to use me
When proving theorems, designing logic circuits, or studying formal systems.
## Key Concepts
- **Propositional Logic**: Variables p,q,r with operators ∧,∨,¬,→,↔
- **Predicate Logic**: Quantifiers ∀,∃ with predicates
- **Truth Tables**: Evaluate compound propositions
- **Modus Ponens**: From p and p→q, infer q
- **Proof by Contradiction**: Assume ¬P, derive contradiction, conclude P
- **Boolean Algebra**: Identities like De Morgan's laws ¬(p∧q) = ¬p∨¬q
Auf GitHub ansehen