肯定前件式是什麼意思

在邏輯學中，"肯定前件式"（Affirming the Consequent）是一種無效的推理形式，它違反了邏輯規則。肯定前件式的形式是：

如果P，那麼Q。 Q。 所以，P。

這裡的P是前提（antecedent），Q是結論（consequent）。這個推理形式是無效的，因為即使Q是真的，P也可能是假的。例如：

如果一個人是醫生，那麼他/她有醫學學位。 張三有醫學學位。 所以，張三是醫生。

這個推理是無效的，因為雖然所有醫生都有醫學學位，但擁有醫學學位的人不一定是醫生（他們可能是醫學研究者、教師等）。因此，從「張三有醫學學位」不能邏輯地推斷出「張三是醫生」。