布尔代数
首先布尔代数的概念要比集合代数,逻辑代数要宽广的多 举个栗子 考虑 [公式] 其中 [公式] 是素数且 [公式] 考虑 [公式] 也就是全体因子集, [公式] 构成布尔代数,其中对偶定义为 [公式] 当然,考虑 [公式] [公式] 如果考虑集合代数 不太喜欢高赞使用 [公式] 和 [公式]
异或是一个有趣而又重要的概念,首先,它是一种运算(Operation),其次,它隐藏在自然和生活的秩序中,很多人不了解它的含义和价值。 先看一个小例子: 我们都玩过“找不同”游戏,例如下面的两张图片,你能找出几个不同的地方? [图片] 我相信你能找出很多不同之处,比如女孩的配饰等等。 在异或的英语 Exclusive OR,中exclusive表示“独家的”、“独有的”,上面两张照片中的配饰就是每个画所独有的。 异或运算就是在两个的信息中…
不是运算,是一种二元关系,满足自反性、对称性、传递性、替换性。 数学上一般解释成谓词"相等"。具体一点的例子,外延公理定义了集合的"相等"关系,自然数由集合定义,这样自然数的相等关系也就归结到集合的相等关系上。 方程中的等号比较特殊,比如方程 [公式] 实际上语义是 [公式] ,这里等号仍然是谓词,表达的是对变量 [公式] 的限定。关于等号 [公式] 和语言的讨论建议移步百科First-order_logic#Equality_and_i…
嗷,谢谢题主的问题。 我刚刚查了wiki上异或的词条,来回答一下这个问题:exclusive有一个意思是『排外的』。如果我们说A和B是『mutually exclusive』,那就是说A和B互不相容,互相排斥。 回想一下『或』这个词在数学里的意思——『一个元素在集合A或集合B里』往往意味着『它只在A里』、『它只在B里』、『它在A和B的交集里』这三种情况中的一种。 『或』的维恩图如下: [图片] 『异或』则不同,不允许『共存』的情况,因为是exclusive…