命题公式 (P∧(P→Q))→Q 是什么类型的公式？

合式。

命题公式 (P∧(P→Q))→Q 是一个 蕴涵式。它表示，如果命题 P 为真且 P 蕴含 Q 为真，则 Q 为真。

这个公式可以用真值表来验证，也可以用逻辑等价关系来推导。例如，我们可以利用 分离式 推理规则，将公式 (P∧(P→Q))→Q 等价于 (P∧¬Q)→¬P。

蕴涵式在逻辑推理中扮演着重要的角色。它允许我们从已知的条件推导出新的结论。