mathematical-logic
Formal logic and proof systems
Informações da origem
- Repositório
- ffsshhttiikk/opencode-agents-skills
- Última atividade na origem
- 28 de fevereiro de 2026 às 22:52
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 3
- Forks
- 2
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
Exibindo SKILL.md
SKILL.md
Instruções da origem · Visualização somente leitura- 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 no GitHub