证明((P→Q)∧(Q→R))→(P→R)为重言式

问题描述:

证明((P→Q)∧(Q→R))→(P→R)为重言式

((P→Q)∧(Q→R))→(P→R)列真值表,P Q R P→Q Q→R P→R ((P→Q)∧(Q→R)) ((P→Q)∧(Q→R))→(P→R)0 0 0 1 1 1 1 10 0 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 11 0 0 0 1 1 0 1 1 0 1 0 1 0 0 11 1 0 1 0 0 ...