如何从函数角度理解命题逻辑的五个联结词

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/23 20:01:29
如何从函数角度理解命题逻辑的五个联结词如何从函数角度理解命题逻辑的五个联结词如何从函数角度理解命题逻辑的五个联结词对于命题逻辑,一般只要定义五个常用的连接词(从数学的角度看,每个连接词就是一种函数,每

如何从函数角度理解命题逻辑的五个联结词
如何从函数角度理解命题逻辑的五个联结词

如何从函数角度理解命题逻辑的五个联结词
对于命题逻辑,一般只要定义五个常用的连接词(从数学的角度看,每个连接词就是一种函数,每个命题变元就是变量,其结果由变元和函数关系决定).
即析取、合取、条件蕴涵、取反、等价.
其实,命题逻辑的连接词只需定义一个即可;所有命题逻辑形式公式均可仅有它一个连接词与命题变元连接表示,无论是二元命题逻辑还是多元命题逻辑.
证明过程有点长,这里就大概指出几个要点吧:(本人不喜欢数学语言的繁琐,所以一般采用图解的方式直观又好理解,而且逻辑上的严密度丝毫不逊色于数学语言,不过由于是在手机上打字,就不画图了)
一、这个图由有两个命题变元的命题函数,共16种;由这16种函数的真值表构成一幅真值矩阵图;
二、根据这幅图,可以很容易的找出这16种函数的转化关系,即此可得出命题公式的等价式.
目前,对于命题逻辑本人仅有一个疑问还未完全解决,能够解决它可称的上精通命题逻辑.