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.
Thoughts?
No comments:
Post a Comment