Tuesday, October 24, 2017

Complementary sets of a universal set.

Given p=theism, then theism is a category, and NOT theism is also a category. The universal category give by a complementary set of A'= U\A where A'={x∈U |x∉A} This means that anything NOT in set A or theism, exists at an element in A' or NOT THEISM which again is the universal set minus the category set of A. Since elements of A are mutually exclusive to A' then any x as a member of A as a member of U can not at same time be member of A', which means p v ~p are mutually exclusive sets as well.


No comments:

Post a Comment