合取分析式

合取分析式（ analytic formula of conjunction）命題演算的定理。可用符號”p∧q→p”表示。意為:如果p並且q是直的，那么p是真的。