1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。2、本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。3、基于实质蕴涵的数理逻辑并非传统逻辑的