mathematical-logic
Formal logic and proof systems
Datos de origen
- Repositorio
- ffsshhttiikk/opencode-agents-skills
- Última actividad en el origen
- 28 de febrero de 2026 a las 22:52
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 3
- Forks
- 2
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Mostrando SKILL.md
SKILL.md
Instrucciones de origen · Vista previa de solo lectura- 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
Ver en GitHub