본문으로 건너뛰기
cccskills
무료GitHub에 공개

propositional-logic

Analyze propositional formulas and arguments using truth tables, deduction rules, and branching proof trees. Classify formulas as always true, always false, or dependent on their inputs, and check whether an argument follows from its premises.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

원문원문 설명 보기

Problem-solving strategies for propositional logic in mathematical logic

foryourhealth111-pixel/Vibe-Skills
설치 방법 보기

이럴 때 유용합니다

  • Classifying formulas with truth tables
  • Checking whether a formula can be true
  • Verifying arguments with deduction rules
  • Testing arguments with branching proof trees

포함된 파일(1)

  • SKILL.md1.6 KB

SKILL.md(원문)

설치하기 전에 에이전트에게 전달되는 지시 내용을 확인할 수 있습니다.

Propositional Logic

When to Use

Use this skill when working on propositional-logic problems in mathematical logic.

Decision Tree

  1. Identify Formula Structure

    • Classify: tautology, contradiction, or contingent?
    • Main connective: AND, OR, IMPLIES, NOT, IFF?
    • z3_solve.py sat "formula" to check satisfiability

  2. Truth Table Method

    • For small formulas (<=4 variables): enumerate all valuations
    • sympy_compute.py truthtable "p & (p -> q) -> q"
    • Tautology = all T, Contradiction = all F

  3. Natural Deduction

    • Apply inference rules: Modus Ponens, Modus Tollens
    • Conditional proof: assume antecedent, derive consequent
    • z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"

  4. Semantic Tableaux

    • Build tree by decomposing formula
    • Closed branches = contradictions
    • All branches closed = valid argument

Tool Commands

Z3_Sat

uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"

Z3_Tautology

uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"

Sympy_Truthtable

uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q"

Z3_Modus_Ponens

uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"

Cognitive Tools Reference

See .claude/skills/math-mode/SKILL.md for full tool documentation.

리뷰

아직 리뷰가 없습니다. 사용해 본 소감을 남겨 주세요.

댓글

로그인 없이 쓸 수 있습니다. 사용 후기, 질문, 작동하지 않은 환경 등을 편하게 남겨 주세요.

아직 댓글이 없습니다. 첫 댓글을 남겨 보세요.

보내면 바로 공개됩니다. 이메일 주소나 전화번호 같은 개인 정보는 쓰지 마세요. URL은 2개까지입니다.

0 / 1,000자

이 양식은 reCAPTCHA로 보호되며 Google 개인정보처리방침 및 서비스 약관이 적용됩니다.

같은 저장소의 스킬

adaptyv

무료

Support experimental validation of designed proteins through a cloud laboratory. Prepare and optimize sequences, submit tests for binding, expression, thermal stability, or enzyme activity, track experiment progress, and retrieve results through the API.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Submit designed proteins for binding tests
  • Request expression, thermal stability, or enzyme activity tests
  • Optimize sequences for solubility before experiments
foryourhealth111-pixel/Vibe-Skills3.8천2026년 10월 23일 업데이트

aeon

무료

Analyze time series, observations ordered over time, using aeon in Python. Build classification, prediction, and clustering workflows, detect unusual patterns or changes, and compare methods through an interface compatible with scikit-learn.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Classifying time series by their patterns
  • Forecasting future values from past observations
  • Detecting anomalies and change points
foryourhealth111-pixel/Vibe-Skills3.8천2026년 10월 23일 업데이트

algorithmic-art

무료

Create original generative art with p5.js, using code to produce patterns and motion. Receive a written artistic concept and an interactive HTML viewer with adjustable parameters, reproducible random variations, seed navigation, and PNG downloads.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Create art from particle motion and flow fields
  • Explore patterns by adjusting sliders
  • Reproduce a favorite variation with the same seed
foryourhealth111-pixel/Vibe-Skills3.8천2026년 10월 23일 업데이트

alpha-vantage

무료

Retrieve stock prices, exchange rates, cryptocurrency prices, company financial statements, and economic indicators through the Alpha Vantage API. It also covers historical data, news sentiment, and technical indicators, which summarize price and trading patterns.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Retrieve historical stock prices and trading volumes
  • Collect company financial statements and earnings data
  • Check foreign exchange and cryptocurrency prices
foryourhealth111-pixel/Vibe-Skills3.8천2026년 10월 23일 업데이트

architecture-patterns

무료

Design backend systems with clear boundaries between business rules, databases, and external services. Use Clean Architecture, Hexagonal Architecture, and Domain-Driven Design to organize new applications, refactor existing code, and make core logic easier to test.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Planning the structure of a new backend
  • Refactoring tightly coupled applications
  • Testing business rules independently of external services
foryourhealth111-pixel/Vibe-Skills3.8천2026년 10월 23일 업데이트

astropy

무료

Helps process astronomical data in Python by converting coordinates, units, and time scales, working with FITS observation files, matching object catalogs, and calculating distances using cosmological models.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Converting celestial coordinates
  • Reading and editing FITS observation files
  • Matching objects across astronomical catalogs
foryourhealth111-pixel/Vibe-Skills3.8천2026년 10월 23일 업데이트

foryourhealth111-pixel의 스킬 모두 보기

이 스킬의 문제 신고