Boolean atom

名词 n.

英文释义

名词 n.
  1. A logical proposition that cannot be derived from other logical propositions by a Boolean operation.
    — This is a consequence of a fact established earlier, namely, that any set C formed by choosing one formula from each Sⱼ must contain some formula πB and its conjugate, where B is a Boolean atom of X.

词形变化

Boolean atoms plural
0 次浏览 数据来源: Wiktionary