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
安装前可以查看交给 AI 代理的指令内容。
Use this skill when working on propositional-logic problems in mathematical logic.
Identify Formula Structure
z3_solve.py sat "formula" to check satisfiabilityTruth Table Method
sympy_compute.py truthtable "p & (p -> q) -> q"Natural Deduction
z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"Semantic Tableaux
uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"
uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q"
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
See .claude/skills/math-mode/SKILL.md for full tool documentation.
还没有评价。欢迎分享你的使用感受。
无需登录即可发表。欢迎分享使用感受、提问，或说明在哪些环境下无法运行。
还没有评论。来写第一条吧。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。