命題演算的初步介紹

数理邏輯是把数学方法应用于邏輯研究的产物。从它的历史看,是应数学的需要而产生的。在近二十余年来,由于自动化和計算技术发展的要求,数理邏輯在这方面以及其他一些技术領域中得到广泛的应用。在数理邏輯中,命題演算是最簡单的、最基本的一部分。