Relational Syllogisms

The dictum, distribution, and indirect proof