摘要
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.
It's relatively abstract to transform the well formed formula of the calculus of propositions into the principal disjunctive normal form through the technique of truth table in the teaching of mathematical logic. The nature of the encoding of miniterm to grasp this problem is easier to understand. The thesis shows several important characters of miniterm to and its encoding,Which has good effect in teaching practice.
出处
《赣南师范学院学报》
2002年第6期21-23,共3页
Journal of Gannan Teachers' College(Social Science(2))
