The Purpose: This tool is built to assist students in mastering Formal Logic. It validates the structural integrity of your arguments, ensuring that your conclusions are logically necessitated by your premises.

What It Can Handle:

• Single Premises: Simple one-step arguments
• Multiple Premises: Complex arguments with 5+ premises in natural language
• Categorical Logic: Syllogisms with "All", "Some", "No" statements
• Propositional Logic: Arguments using →, ∧, ∨, ¬ operators
• Mixed Arguments: Combination of categories and propositions
• Natural Language: Write arguments in plain sentences, not just symbols

All humans are mortal.
Socrates is human.
∴ Socrates is mortal.

If it rains, the ground is wet.
The ground is wet.
∴ It is raining.

• Premises: Write your known truths
• Multiple Premises: Each on a new line
• Conclusion: Use "∴" or "Therefore"

💡 Pro Tips:
• Use "∴" or "therefore" before conclusion
• Each premise can be a full sentence
• Handles 7+ premises
• Shows proof steps and fallacies