1.4 本次毕业设计所要完成的主要工作
命题公式语法正确性判定算法与程序设计；命题公式语义真假值得判定算法与程序设计；真值表的生成算法与程序设计。
1.5 本章小结
本章首先介绍了计算机自动定理证明器的发展背景以及继续研究的意义，然后介绍了本次毕业设计的目的和所要完成的主要工作。