silogizma

(therefore) is a deductive reasoning tool.

categorical proposition

categorical proposition | definition
categorical proposition | example


syllogism

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.

example:

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.