2010年7月28日

記号論理学

和集合と補集合を兼ねる集合は、
∪∧⊃⇒≧
和集合かつ補集合すなわち以上

部分集合と共通部分(か共通集合)を兼ねる集合は、
∩∧⊂⇒≦
部分集合かつ共通部分すなわち以下

和集合と共通部分を兼ねる集合は、
∪∧⊂⇒>
和集合かつ共通部分すなわち超過

部分集合と補集合を兼ねる集合は、
∩∧⊃⇒<
部分集合かつ補集合すなわち未満