The following pages link to Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules (Q6178735):
Displaying 1 item.