Editing Denying the antecedent (section)

== Examples ==
One way to demonstrate the invalidity of this argument form is with an example that has true premises but an obviously false conclusion. For example:

:If you are a ski instructor, then you have a job.
:You are not a ski instructor.
:Therefore, you have no job.<ref name=KA/>

That argument is intentionally bad, but arguments of the same form can sometimes seem superficially convincing, as in the following example offered by [[Alan Turing]] in the article "[[Computing Machinery and Intelligence]]":

:If each man had a definite set of rules of conduct by which he regulated his life he would be no better than a machine. But there are no such rules, so men cannot be machines.<ref>{{Turing 1950}}</ref>

However, men could still be machines that do not follow a definite set of rules. Thus, this argument (as Turing intends) is invalid.

Another example is:

:If I am [[President of the United States]], then I can veto Congress.
:I am not President.
:Therefore, I cannot veto Congress.
[This is a case of the fallacy denying the antecedent as written because it matches the formal symbolic schema at beginning. The form is taken without regard to the content of the language.]