“Aut”是在命题演算中应用于异或连接词的术语。“Aut”是拉丁语形式,意为“或者/或者(但不是两者)”,例如,“Aut Caesar aut nihil”(切萨雷·博尔吉亚;1476-1507)。
符号 Aut 也常用于完全不同的目的,表示自同构。
“Aut”是在命题演算中应用于异或连接词的术语。“Aut”是拉丁语形式,意为“或者/或者(但不是两者)”,例如,“Aut Caesar aut nihil”(切萨雷·博尔吉亚;1476-1507)。
符号 Aut 也常用于完全不同的目的,表示自同构。
Weisstein, Eric W. “Aut.” 来自 ——Wolfram 网络资源。 https://mathworld.net.cn/Aut.html