第五章 必然性推理下模态推理.ppt

第五章必然性推理下模态推理第1页，共32页，星期日，2025年，2月5日你可能在有些时刻欺骗有些人，但你不可能在所有时刻欺骗所有人。第五章模态推理第2页，共32页，星期日，2025年，2月5日第五章模态推理模态命题概述模态对当关系及其推理模态命题与非模态命题的关系及推理模态三段论模态复合命题推理第3页，共32页，星期日，2025年，2月5日命题的分类模态命题必然P、可能P简单命题（变项＝概念）复合命题（变项＝命题）联言选言假言关系命题S和P有R关系性质命题S是P负命题非模态命题命题第4页，共32页，星期日，2025年，2月5日第一节模态命题概述——狭义与广义模态逻辑（modallogic）：研究模态命题及其推理的逻辑。模态命题（modalproposition）：包含模态词的命题。必然性：必然、一定……例：偶数必然能被2整除。可能性：或许、也许……例：不可能人能拔着自己的头发上天。规范性：应当、必须、允许、禁止……例：一个人应当做到：富贵不能淫，贫贱不能移，威武不能屈。时态性：已经、将要、正在、有时、始终……例：如果你将来想做政治家，那么你现在要多参加