Categorical logic originated with the work of Aristotle, and it is based on information grouped in classes based upon which pair of logical principles?
Inclusion and proportion
Exclusion and translation
Exclusion and discrimination
Inclusion and exclusion.