基本逻辑符号

基本逻辑符号符号名字解说例子读作范畴o实质蕴涵A ? B意味着如果A为真，则B?蕴涵.如也为真；如果A为假，则对B没有果.那么任何影响。-可能意味着同？ 一样的意思x = 2? x2 = 4为真,但x2 =可以是（这个符号也可以指示 函数的域和陪4?x - 2 一般为假（因为x命题逻辑域；参见数学符号表）。-2）。?可能意味着同？ 一样的意思（这个符号也可以指示 超集）。?实质等价当且仅当；iffA ? B意味着A为真如果B为 真，和A为假如果B为假。x + 5 =y +2? x + 3=y?命题逻辑?逻辑否定非陈述?A为真，当且仅当A为假。?（?A） ?A穿过其他算符的斜线同于在它前面x工y?（x = y）?命题逻辑放置的?。A逻辑合取与如果A与B二者都为真，则陈述An 2? n=3当n是自A B为真；否则为假。然数的时候。命题逻辑逻辑析取如果A或B或二者均为真陈述，则n丰3当n是V或A V B为真；如果二者都为假，则n?4 V n ?2?自然数的时候。命题逻辑陈述为假。异或xor陈述A B为真，在要么A要么B 但不是二者为真的时候为真。A ? B（?A） A总是真，A A总是假。命题逻辑， 布尔代数意思相同。全称量词对于所有; 对于任何;对于每个? X： P(x)意味着所有的 P(x)都为真。X都使谓词逻辑 存在量词 存在着 谓词逻辑 唯一量词 精确的存在？ ！ X： P(x)意味着精确的有一个 一个X使P(x)为真。谓词逻辑 定义 被定义为x := y或x = y意味着x被定义 为y的另一个名字(但要注意 = 也可以意味着其他东西，比如全等)。所有地方 P : ? Q意味着P被定义为逻辑等 价于Q优先组合所有地方推论推论或推导 命题逻辑, 谓词逻辑? x： P(x)意味着有至少一个x 使P(x)为真。优先进行括号内的运算。x卜y意味着y推导自x? n N: n2 ? n.? n N: n是偶数。? ! n N: n + 5 = 2 n.cosh x := (1/2)(exp x + exp ( - x)A XOR B : ? ( A V B) A ?(A A B)(8/4)/2 =2/2 = 1,而 8/(4/2) =8/2 =4。A B 卜? B ?A