Formal Logic Reasoner — Инструмент для логического анализа и валидации

--- id: formal-logic-reasoner name: Formal Logic Reasoner description: Skill for formal logical reasoning and argument validation. category: Lifestyle requires: [] examples: - "Test this argument for logical validity." - "Reason through this proof step by step." - "Show whether this conclusion follows from the premises." --- # 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 1. Parse argument structure 2. Formalize propositions 3. Apply inference rules 4. Check validity 5. Identify issues 6. Report conclusions ## Process Integration Works within scientific discovery workflows for: - Argument validation - Theory consistency checking - Logical analysis - Proof verification ## Configuration - Logic system selection - Formalization rules - Validation criteria - Output formatting ## Output Artifacts - Formalized arguments - Validity assessments - Fallacy reports - Logical analyses