【摘要】基本命题逻辑是不同于经典命题逻辑的命题逻辑,属于非经典逻辑,与它最类似的非经典逻辑是直觉主义命题逻辑。相比于经典命题逻辑,基本命题逻辑引入了一个恒假概念(记为⊥),并在否定和蕴含的定义上均与经典命题逻辑不同。基本命题逻辑中蕴含的意义在于一个特定的传递关系的后继上,蕴含式的真值也由该关系的后继上前件和后件的真值确定。否定式也不再是经典命题逻辑中那样的真值变换,一个命题的否定被定义为该命题蕴含 […]