合取分析式（ analytic formula of conjunction）命題演算的定理。 基本介紹 中文名：合取分析式外文名：analytic formula of conjunction適用領域：命題演算所屬學科：數學 可用符號”p∧q→p”表示。意為:如果p並且q是直的，那么p是真的。
