Skip to content

Traditional Syllogistic Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Traditional Syllogistic Logic.

  • Subalternation — In the traditional square of opposition, the immediate inference from a universal categorical proposition to its corresponding particular proposition, and contrapositively from the particular's falsity to the universal's falsity.