소스 정보
- 저장소
- ffsshhttiikk/opencode-agents-skills
- 최근 소스 활동
- 2026년 2월 28일 22:52
- 감지된 SKILL.md 언어
- 영어
- 스타
- 3
- 포크
- 2
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
SKILL.md 표시 중
SKILL.md
소스 지침 · 읽기 전용 미리보기- 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
GitHub에서 보기