补充

…一元运算的否定或互补,导致等命题一个^c(读作“不一个”或“补一个”)。首先要考虑这些基本自动机的刺激反应模式。

…∨z∊y};的补充x,象征,x是类的成员,都是这些对象的成员x即:,{y:y∉x};的补充y在x,象征着x−y,是所有对象的类…

…子集一个的U的补充一个(象征一个′或U−一个)被定义为宇宙中所有元素的集合U不是在一个。例如,如果宇宙由26个字母的字母表,补的集…