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