conjunction

合取

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

Translation evidence: Literature usage

Meaning in context

The connective producing a statement true exactly when both component statements are true.

恰在两个分量命题都为真时为真的联结方式。

Example

(3<4)∧(4<8)(3<4)\land(4<8) is true.

Usage and distinctions

Conjunction requires both components; disjunction in this glossary is inclusive.

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.