术语“命题逻辑”的详细信息

英译术语:

propositional logic

汉语语境:

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

英语语境:

Basic propositional logic is a non-classical logic which is different from classical propositional logic and intuitionistic propositional logic. Compared to the classical propositional logic, basic propositional logic has introduced a new concept which designates the eternity of falsehood, and the definitions of negation and implication are different from those in the classical propositional logic. The truth-value of an implication depended on a specific transitive relation.