命题
命题：命题是一个能判断真假的陈述句
原子命题：不包含其他命题成分的命题称为简单命题
复合命题：至少包含一个其他命题成分的命题
支命题：组成复合命题的那些命题
判断逻辑蕴含和逻辑等价是否成立
