我们知道，普通逻辑自学考试主要内容是传统逻辑，如同素材性质判断形式之间的对当关系、换质法和换位法、三段论等，它们是一种非形式化逻辑，比较多的使用自然语言和结合人们的日常思维。自学考试还有一些数理逻辑内容，特别在复合判断及其推理和模态逻辑等章节，如真值表、两个德摩根定律，各逻辑公式间的推导等。数理逻辑是一种形式化逻辑，以人工符号这种形式语言建构形式化体系，不用或很少使用自然语言，离人们日常思维较远。..
