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
some socrates are mortal.
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.