Non sequitur is Latin for "it does not follow." In formal logic, an argument is a non sequitur if the conclusion does not follow from the premise. It should be stressed that in a non sequitur, the conclusion can be either true or false, but the argument is a fallacy because the conclusion does not follow from the premise. All logical fallacies are actually just specific types of non sequitur. The term has special applicability in law, having a formal legal definition. Latin is an ancient Indo-European language. ... A logical fallacy is an error in logical argument which is independent of the truth of the premises. ...

Here are two types of non sequitur of traditional noteworthiness:

1) Any argument that takes the following form is a non sequitur:

1. If A is true, then B is true.
2. B is stated to be true.
3. Therefore, A must be true.

Even if the premises and conclusion are all true (see 1.5), the conclusion is not a necessary consequence of the premises. This sort of non sequitur is also called affirming the consequent. Affirming the consequent is a logical fallacy in the form of a hypothetical proposition. ...

1.5) An example of a non sequitur where the premises and conclusion are all true would be:

1. If I am a human (A) then I am a mammal. (B)
2. I am a mammal. (B)
3. Therefore, I am a human. (A)

"I" could be another type of mammal without being a human. While the conclusion may be true, it does not follow from the premises. This argument is still a fallacy even if the conclusion is true. It is a non sequitur (note that it is the exact same argument form as in example 1 - the form is always a non sequitur).

2) Another common non sequitur is this:

1. If A then B. (e.g. If I am in Tokyo, I am in Japan.)
2. Not A. (e.g. I am not in Tokyo.)
3. Therefore, not B. (e.g. Therefore, I am not in Japan.)

The speaker could be anywhere else in Japan. This sort of non sequitur is called denying the antecedent. Denying the antecedent (also known as vacuous implication) is a type of logical fallacy. ...

(If either of the above examples had "If and only if A, then B" as their first premise, then they would be valid and non-fallacious but unsound.) It has been suggested that this article or section be merged with Logical biconditional. ... This article discusses validity in logic, for the term in the social sciences see validity (psychometric). ... (This article discusses the soundess notion of informal logic. ...

Many other types of known non sequitur argument forms have been classified into many different types of logical fallacies. In everyday speech and reasoning, an example might be: "If my hair looks nice, all people will love me." However, there is no real connection between your hair and the love of all people. Advertising typically applies this kind of 'deduction'. In philosophy, the term logical fallacy properly refers to a formal fallacy: a flaw in the structure of a deductive argument which renders the argument invalid. ... Advertising, generally speaking, is the promotion of goods, services, companies and ideas, usually performed by an identified sponsor. ...

See also

• Modus tollens
• Post hoc ergo propter hoc
• Regression fallacy