(therefore) is a deductive reasoning tool.

categorical proposition

categorical proposition | definition
categorical proposition | example


In logic, an argument that applies deductive reasoning to arrive conclusion by two categorical propositions.
In old-french silogisme, greek συλλογισμός, latin syllogismos, turkish tasım.


all human are mortal
some socrates are human
∴ therefore
some socrates are mortal.

silogizma dot org

a proof of concept to validate and falsify syllogisms. it's aimed to be used in arguman dot org project to represent logical premises in an argument tree in future.