∨ 逻辑或和并运算 若 A 或 B(或都)为真,则命题 A ∨ B 为真;若两者都假则命题为假。 n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3,当 n 是自然数
或
命题逻辑,格理论
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。