正在加载图片...
西安电子科技大学S2.4.2含量词的基本永真式软件学院家三、量词的分配式(2)(日x)(A(×) V B(x)(日x)A(x) V (日x)B(x例如:“中秋节晚会上,有些同学吃了月饼或跳了舞”“中秋节晚会上,有些同学吃了月饼或有些同学跳了舞”这两个命题是等价的。存在量词日对V可分配。西安电子科技大学 §2.4.2 含量词的基本永真式 软件学院 三、量词的分配式 ( 2 ) ( ∃x)(A(x)∨B(x)) ⇔ ( ∃x)A(x)∨( ∃x)B(x) 存在量词 ∃ 对 ∨可分配 。 例如:“中秋节晚会上, 有些同学吃了月饼或跳了舞” “中秋节晚会上, 有些同学吃了月饼或有些同学跳了舞” 这两个命题是等价的
<<向上翻页向下翻页>>
©2008-现在 cucdc.com 高等教育资讯网 版权所有