00323模态及假言推理.pptxVIP

模态命题推理规则;可能与必然的逻辑定义; 必然 ??不可能不 不可能不??必然 ;模态命题的推理规则;四种模态命题 （在这里小写的p代表的是命题） p：proposition的缩写，表示命题 P：predication的缩写，表示谓项（概念） 必然肯定 （必然p） 必然否定 （必然-p） 可能肯定 （可能p） 可能否定 （可能-p）;模态词加在命题之前 说明它们是形容整个命题的，即使在句中，也可单独提取出来 今天可能下大雨 ?今天下大雨是可能的 ?可能今天下大雨 当今美国总统可能不是奥巴马 刘翔可能获得这次锦标赛的百米栏冠军;P17模态命题的对当关系： ;现实命题，即去掉模态词之后的命题 现实肯定：p：今天下了雨（事实） 现实否定：-p：今天没下雨（事实） 矛盾关系：必然与可能不 必然不与可能 反对关系：必然与必然不 下反对关系：可能与可能不 从属(差等)关系：必然与可能 必然不与可能不 对当关系推理依然适用p17;对模态的不同否定： p17 并非有些鸟可能不会飞 这是一个否定命题，它否定的是一个模态命题（将模态词提到前面） 【并非{可能（有些鸟不会飞）}】 根据模态词的定义或对当关系，可知 并非可能??必然不 所以，有必然不是有些鸟不会飞 ?必然所有鸟会飞;可能并非有些鸟不会飞 这是一个模态命题，说的是一个否定命题是