skills/modelscope.cn/formal-logic-reasoner

formal-logic-reasoner

SKILL.md

Formal Logic Reasoner Skill

Purpose

Apply formal logic for argument validation, logical consistency checking, and deductive reasoning in scientific contexts.

Capabilities

  • Formalize arguments
  • Check logical validity
  • Identify fallacies
  • Perform deductive reasoning
  • Validate proof structures
  • Generate logical conclusions

Usage Guidelines

Installs
1
First Seen
Apr 7, 2026