本文へ移動
cccskills
無料GitHub で公開

propositional-logic

Problem-solving strategies for propositional logic in mathematical logic

インストール方法を見る

含まれるファイル(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.

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

adaptyv

無料

Cloud laboratory platform for automated protein testing and validation. Use when designing proteins and needing experimental validation including binding assays, expression testing, thermostability measurements, enzyme activity assays, or protein sequence optimization. Also use for submitting experiments via API, tracking experiment status, downloading results, optimizing protein sequences for better expression using computational tools (NetSolP, SoluProt, SolubleMPNN, ESM), or managing protein design workflows with wet-lab validation.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6742026年8月31日 更新

aeon

無料

This skill should be used for time series machine learning tasks including classification, regression, clustering, forecasting, anomaly detection, segmentation, and similarity search. Use when working with temporal data, sequential patterns, or time-indexed observations requiring specialized algorithms beyond standard ML approaches. Particularly suited for univariate and multivariate time series analysis with scikit-learn compatible APIs.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6742026年8月31日 更新

Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use this when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems. Create original algorithmic art rather than copying existing artists' work to avoid copyright violations.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6742026年8月31日 更新

Access real-time and historical stock market data, forex rates, cryptocurrency prices, commodities, economic indicators, and 50+ technical indicators via the Alpha Vantage API. Use when fetching stock prices (OHLCV), company fundamentals (income statement, balance sheet, cash flow), earnings, options data, market news/sentiment, insider transactions, GDP, CPI, treasury yields, gold/silver/oil prices, Bitcoin/crypto prices, forex exchange rates, or calculating technical indicators (SMA, EMA, MACD, RSI, Bollinger Bands). Requires a free API key from alphavantage.co.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6742026年8月31日 更新

Implement proven backend architecture patterns including Clean Architecture, Hexagonal Architecture, and Domain-Driven Design. Use when architecting complex backend systems or refactoring existing applications for better maintainability.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6742026年8月31日 更新

astropy

無料

Comprehensive Python library for astronomy and astrophysics. This skill should be used when working with astronomical data including celestial coordinates, physical units, FITS files, cosmological calculations, time systems, tables, world coordinate systems (WCS), and astronomical data analysis. Use when tasks involve coordinate transformations, unit conversions, FITS file manipulation, cosmological distance calculations, time scale conversions, or astronomical data processing.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6742026年8月31日 更新

foryourhealth111-pixel のスキルをすべて見る

このスキルの問題を報告する