formal-logic-reasoner

# 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