Deductive Reasoning Tool
In logic, an argument that applies deductive reasoning to arrive conclusion by on two (major, minor) propositions.
In old-french silogisme, greek συλλογισμός, latin syllogismos.
All man are mortal Socrates is a man ∴ Socrates is mortal
See the following resources:
A running instance is available on http://silogizma.org
Will Be Explained
- How to proof by a deduction
- Deploying on a domain
- Colored subject and predicates