disjunction

析取

Foundations & Logic · Undergraduate · Mathematics Resources editorial compilation (AI-assisted)

Translation evidence: Literature usage

Meaning in context

The inclusive connective producing a statement true when at least one component is true.

至少一个分量命题为真时即为真的包含式联结方式。

Example

$(3<4)\lor(4<8)$ is true even though both components are true.

Usage and distinctions

Exclusive or imposes an additional prohibition on both components being true.

Recommended reading in this subject · Preparation & skip guidance

Definition sources

1. Avigad, Hua, Lewis and van Doorn — Logic and Proof§2.4 The Language of Propositional Logic · Checked 2026-10-14

Translation sources

1. 高等教育出版社 — 数学证明 通往高等数学的阶梯（第4版）影印版，官方中文目录官方中文目录：§2.3 析取与合取（名称证据，非正文定义证据） · Checked 2026-10-14

Original encyclopedia and terminology content: CC BY-SA 4.0. Contribute or report a correction.