PropOSItIonal Equvalence 命题演 1、命题( Proposition) 2、从简单命题( atomic proposition到 复合命题( compositional proposition) 从命题常量( propositional constant)到 命题变量( propositional variable 4、从复合命题( compositional proposition)到 命题公式( propositional formulas) 2/24/202111:14PM Deren Chen Zhejiang univ 2Propositional Equivalences 命题演算 2/24/2021 11:14 PM Deren Chen, Zhejiang Univ. 2 1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)