引进数理逻辑的符号表达式应合逻辑

逻辑是一种规范,逻辑自身必须合逻辑。逻辑学有着悠久的历史,发展到今天已成为一个多层次、多学科的庞大系统。数理逻辑的符号表达式,大大简化了逻辑繁杂的语言表达。但有些符号的引入,违反了逻辑的自身要求,不合逻辑。由十一所高等院校编写的《普通逻辑》(修订本),扩大了对数理逻辑有关成果的引进面,把传统的逻辑知识同现代逻辑的知识联系起来,这是逻辑教材发展的方向。但此书在负判断一节中引进“P∨q(?)(P∧q)∨(p∧q)”和“p(?)q(?)(p∧q)∨(p∧q)”,这两个表达式存在逻辑错误。