Definition:Universal Affirmative/Set Theory
Jump to navigation
Jump to search
Definition
The universal affirmative $\forall x: \map S x \implies \map P x$ can be expressed in set language as:
- $\set {x: \map S x} \subseteq \set {x: \map P x}$
or, more compactly:
- $S \subseteq P$
Also defined as
Some sources give this rule as:
- $S \cap \map \complement P = \O$
where $\map \complement P$ denotes the complement of $P$:
- There are no objects which are $S$ which are not also $P$.
This is justified from Intersection with Complement is Empty iff Subset.
The advantage to this approach is that it allows the complete set of categorical statements to be be defined using a combination of set intersection and set complement operators.
Also see
- Definition:Universal Negative/Set Theory
- Definition:Particular Affirmative/Set Theory
- Definition:Particular Negative/Set Theory
Sources
- 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): Appendix $\text{B}$: The Algebra of Classes