parcadei/Continuous-Claude-v3/.claude/skills/math/mathematical-logic/predicate-logic
数理逻辑中谓词逻辑的解题策略。
全部 skill