在数学和数理逻辑中，逻辑代数是抽象代数的一个分支，其变量的值仅为真和假两种真值。初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方，而逻辑代数的主要运算有合取与，记为∧；逻辑或或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
换质不换位或不当的换质换位是一种形式谬误，系将一假言命题之前件与后件进行否定操作所致。
否定联言谬误是对“非甲且乙”的否定联言命题不当推论导致的形式谬误。
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
在数学和数理逻辑中，逻辑代数是抽象代数的一个分支，其变量的值仅为真和假两种真值。初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方，而逻辑代数的主要运算有合取与，记为∧；逻辑或或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
否定联言谬误是对“非甲且乙”的否定联言命题不当推论导致的形式谬误。
否定联言谬误是对“非甲且乙”的否定联言命题不当推论导致的形式谬误。
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
Mini wiki
