(pvq) → (q→p) 是永真式吗？ - 逻辑推理与命题逻辑

(p∨q) → (q→p) 是一个永真式。

我们可以通过真值表来证明这一点。

| p | q | p∨q | q→p | (p∨q) → (q→p) | |---|---|---|---|---| | T | T | T | T | T | | T | F | T | T | T | | F | T | T | F | F | | F | F | F | T | T |

如表所示，无论 p 和 q 的取值为真或假，(p∨q) → (q→p) 的真值都为真。因此，(p∨q) → (q→p) 是一个永真式。