You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular…
Last week we used object-level contraposition to derive four new syllogisms, starting from Barbara. This week we will use meta-level contraposition to derive two more new syllogisms from each of the…