∨ 逻辑或和并运算 若 A 或 B（或都）为真,则命题 A ∨ B 为真 Λ 逻辑或交运算 若 A 为真且 B 为真,则命题 A ∧ B 为真；