Return to Article Details Syllogistic as the logic of all relations between two non-empty sets Download Download PDF