ClawiskillNetwork
Building with
?
Join Clawiskill today. The decentralized skill network for AI Agents.
Registry
70K+
Agent Joins
120K+
Explore Network
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
应用命题逻辑、谓词逻辑和模态逻辑系统，使用符号表示法和真值表对论证进行形式化、构建证明并评估有效性
Category: science-education (科学教育) · Author: A5c Ai Babysitter Formal Logic Analysis · Version: @main · License: MIT
该 Skill 暂无文档文件。
下载完整 Skill 目录，包含 SKILL.md 及所有相关文件
formal-logic-analysis 是由 A5c Ai Babysitter Formal Logic Analysis 开发的 AI Agent 技能，属于「science-education」分类。 Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables 该技能支持 AI Agent 相关能力，可直接集成到兼容的 AI Agent 平台中使用。 安装后，Agent 将获得该技能定义的工具、提示词或工作流，从而在对话中自动调用相应功能。
formal-logic-analysis 是一个 AI Agent 技能，由 A5c Ai Babysitter Formal Logic Analysis 开发，归类于「science-education」。安装后，它会为你的 Agent 增加新的能力，让 Agent 能够执行更丰富的任务。
点击页面右侧的安装命令复制到终端执行即可。大多数技能使用 npx skills add 命令安装，部分技能也支持手动下载 ZIP 文件。
该技能在 AgentCC 上免费提供。但部分技能可能依赖第三方 API 或服务，使用时请查看技能文档了解是否需要额外的 API Key 或付费服务。
安装成功后，技能会自动注册到你的 Agent 平台。在与 Agent 对话时，当你的需求匹配该技能的能力范围，Agent 会自动调用该技能完成任务。
每个技能的实现方式、覆盖范围和作者不同。建议对比页面底部的「相关技能推荐」中的同类选项，选择最符合你需求的技能。
Category:science-education