主题
Search

Aut


“Aut”是在命题演算中应用于异或连接词的术语。“Aut”是拉丁语形式,意为“或者/或者(但不是两者)”,例如,“Aut Caesar aut nihil”(切萨雷·博尔吉亚;1476-1507)。

符号 Aut 也常用于完全不同的目的,表示自同构


参见

自同构, 异或

使用 探索

参考文献

牛津大学出版社。《牛津引语词典》,第三版。英国牛津:牛津大学出版社,第 89 页,1980 年。

在 中引用

Aut

请引用为

Weisstein, Eric W. “Aut.” 来自 ——Wolfram 网络资源。 https://mathworld.net.cn/Aut.html

主题分类