论文部分内容阅读
逻辑一词源于希腊文,意思指:词,思想,理性,规律等。逻辑学研究的是:判别一个推理过程是否正确的标准。传统逻辑用以表示命题形式和推理形式的是自然语言的某些词语,而自然语言是多义的,不适于用以精确地表示各种命题形式和推理形式。数理逻辑克服了这方面的局限性,以其特有的人工符号来书写逻辑法则,突出体现了方便、精确的优势。在自然语言中,有各种各样的联