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

求命题公式 A=(p→q)→((q→r)→(p→r))的真值表,并判断他的类型
求命题公式 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,所以是真命题.