第二章 非经典逻辑介绍.ppt

第二章 非经典逻辑介绍;引言;2.1 模态逻辑;;;2.1.2 模态命题的形式化 在数理逻辑中，模态逻辑也需要将模态命题表示成模态形式，因此要引进表示模态的常项符号。这样，在模态逻辑里，除了有非模态命题的常项符号，如┐，∧，∨，→，? 等，还有表示“必然”和“可能”的常项符号。 模态逻辑中，用“□”来表示“必然”，用“◇”来表示“可能”。例如，“事物的发展存在不平衡性是必然的”，其形式为“必然P”（记为□P）；“人活到120岁是可能的”，其形式为“可能P”（记为◇P）；“明天下雨且刮大风是可能的”，其形式为“可能P且Q”（记为◇（P∧Q））；“如果王丽参加活动，那么李强就一定参加”是必然的”，其形式为“必然若P则Q”（记为□（P →Q））。 ;例如，设P表示“运动促进健康”，则有下列对应关系： 自然语言表达式 模态命题形式 谦虚使人进步是必然的。 □P 谦虚不使人进步是必然的。 □┐P 谦虚使人进步不是必然的。 ┐□P 谦虚不使人进步不是必然的。 ┐□┐P 谦虚使人进步是可能的。 ◇P 谦虚不使人进步是可能的。 ◇┐P 谦虚使人进步不是可能的。 ┐◇P 谦虚不使人进步不是可能的。 ┐◇┐P ;2.1.3 模态命题形式之间的逻辑关系 一、模态逻辑基本等值式 1. 命题逻辑基本等值式的推广 类似于谓词逻辑的做法，也可以将命题逻辑中的每个基本等值式推广到模态逻辑中来。 例如，由命题逻辑中的双重否定律┐┐A ?A，可推广得┐┐□P ? □P， ┐┐（◇（┐□P））? ◇（┐□P）等；由德?摩根律┐（A∨B）? ┐A∧┐B 可推广得┐（□┐P∨◇Q）? ┐（□┐P）∧┐（◇Q）；等等。 2. 关于模态算子的基本等值式 （1）□P ? ┐◇┐P （2）◇P ? ┐□┐P ;二、模态逻辑基本蕴涵式 1.命题逻辑基本蕴涵式的推广 例如，由命题逻辑中的化简规则A∧B? A 可推广得（□┐P∨◇Q）∧□Q ?（□┐P∨◇Q）等， 由命题逻辑中的析取三段论A∨B，┐A ? B 可推广得◇P∨（□┐Q），┐◇P ?（□┐Q）等。 2.关于模态算子的基本蕴涵式 此类蕴涵式很多，下面将一些最常见的列举出来。 （1）□P ? ┐□┐P （2）□┐P ? ┐□P （3）□┐P ? ┐◇P （4）◇┐P ? ┐□P （5）┐□P ? ◇┐P （6）□P ? P （7）P ? ◇P （8）□P ? ◇P （9）□┐P ? ┐P ; （10）┐P ?◇┐P （11）□┐P ? ◇┐P （12）┐◇P ? ┐P （13）┐P ? ┐□P （14）┐◇P ? ┐□P （15）┐◇┐P ? ┐┐P （16）┐┐P ? ┐□┐P （17）┐◇┐P ? ┐□┐P （18）┐◇P ? ◇┐P （19）┐◇┐P ? ◇P 上面的关于算子的基本蕴涵式通过语义解释，可以反映必然性、 现实性和可能性之间的关系。例如，（6）可解释为“凡具有必然性 的都具有现实性”；（7）可解释为“凡具有现实性的都具有可能性”； （8）可解释为“凡具有必然性的都具有可能性”；（12）可解释为 “凡不具有可能性的都不具有现实性”；（13）可