摘要
从数理逻辑中的命题公式等值判定、联结词定义、主析取范式求法、谓词公式类型辨别和推理正确性检验等几方面探讨了真值表所起的重要作用，指明真值表是数理逻辑学科体系的最重要的基石，重点抓好真值表的教学是解决好整个数理逻辑教学的关键.
It has been discussed that important action of true values' table for mathematical logic in some principal aspect.
出处
《天中学刊》
1997年第2期20-23,共4页
Journal of Tianzhong
关键词
命题公式
谓词公式
真值表
数理逻辑
propositional formula, predicate formula, true values'table disjunctive normal form, conjunctive normal form
