mathematical-logic
Formal logic and proof systems
Source facts
- Repository
- ffsshhttiikk/opencode-agents-skills
- Last source activity
- February 28, 2026 at 22:52
- Detected SKILL.md language
- English
- Stars
- 3
- Forks
- 2
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Showing SKILL.md
SKILL.md
Source instructions · Read-only preview- 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
View on GitHub