命题演算 【计】 propositional calculus; statement calculus