主题
Search

与非


命题演算中用于与非连接词的术语。记号 A|B 用于此连接词,鉴于 A|BA∥B 表示“或”的现代用法,这是一个非常不幸的选择。


另请参阅

或非与非

使用 Wolfram|Alpha 探索

参考文献

Mendelson, E. 《数理逻辑导论》,第 4 版 伦敦:Chapman & Hall,第 26 页,1997 年。

在 Wolfram|Alpha 上被引用

与非

请引用为

Eric W. Weisstein “与非”。来自 MathWorld——Wolfram 网络资源。https://mathworld.net.cn/AlternativeDenial.html

学科分类