求命题公式 A=(p→q)→((q→r)→(p→r))的真值表,并判断他的类型

问题描述:

求命题公式 A=(p→q)→((q→r)→(p→r))的真值表,并判断他的类型

因为(0→0)=1,(0→1)=1,(1→0)=0,(1→1)=1
所以真值表如下图:因为真值恒为1,所以是真命题.