经典命题逻辑是现代形式逻辑的基础。
The classical proposition logic is the basis of modern formal logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
应用推荐