Syllogistic Logic

← Back to Domain-Specific Abstractions by Domain

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

• Categorical proposition — A proposition asserting or denying that all or some members of a subject category belong to a predicate category.