主题
Search

析取


逻辑学中用于描述通常称为 OR 的运算的术语。文字被认为是(退化的)析取(Mendelson 1997, p. 30)。

Wolfram 语言命令析取[expr, {a1, a2, ...}] 给出 expr 在布尔变量 a_i 的所有选择上的析取。


另请参阅

合取, 析取范式, 选言三段论,

使用 探索

参考文献

Mendelson, E. 数学逻辑导论,第 4 版。 伦敦:Chapman & Hall,1997。

在 中被引用

析取

请引用为

Weisstein, Eric W. "析取。" 来自 —— 资源。 https://mathworld.net.cn/Disjunction.html

主题分类