数理逻辑有哪两部分内容?这两部分内容有什么联系和区别?

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/30 01:43:45
数理逻辑有哪两部分内容?这两部分内容有什么联系和区别?
xi @o;K .0RNFd{crM.|e\Y߇,E:N2G '?h3F8QL+)F[rRz{eXEN´IY,c*j*u4sO٠,шyJܑ͢1CvzQL~5R3jЋV6o>}

数理逻辑有哪两部分内容?这两部分内容有什么联系和区别?
数理逻辑有哪两部分内容?这两部分内容有什么联系和区别?

数理逻辑有哪两部分内容?这两部分内容有什么联系和区别?
一般经常讲的就是命题逻辑和经典一阶逻辑.有时候也会讲构造性逻辑、模态逻辑等.主要就是前两部分.一阶逻辑包含命题逻辑.