# Formal Logic Reasoner

> Skill for formal logical reasoning and argument validation

- Skill: `a5c-ai/formal-logic-reasoner` (Agent Skill)
- Install (CLI): `npx skillmds@latest add a5c-ai/formal-logic-reasoner`
- Raw SKILL.md: https://api.skillmd.com/api/skills/a5c-ai/formal-logic-reasoner/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Product & Planning
- Author: a5c-ai (https://skillmd.com/u/a5c-ai)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/a5c-ai/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