数理論理学（数学基礎論） その12

[0773 １３２人目の素数さん 2018/05/10(木) 15:37:11.23 ID:/9yRsDrX]

>>771
(8a)A∪A^c=U (P8)

は正確には
　A∪A^c=A∪U
あるいは
　A⊆U→A∪A^c=U
なのではないでしょうか。