Closed coaxlab0 closed 8 months ago
It says “If P then Q, thus if P is false, then Q is also false.” But I think this is denying the antecedent (i.e., Q could have other causes). https://en.wikipedia.org/wiki/Denying_the_antecedent
I think it should be “If P then Q, not Q, therefore not P”.
It says “If P then Q, thus if P is false, then Q is also false.” But I think this is denying the antecedent (i.e., Q could have other causes). https://en.wikipedia.org/wiki/Denying_the_antecedent
I think it should be “If P then Q, not Q, therefore not P”.