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
- How to proof by a deduction
- Deploying on a domain
- Colored subject and predicates