Non sequitur is Latin for "it does not follow." In formal logic, an argument is a non sequitur if its conclusion does not follow from its premises. 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 formal fallacies are specific types of non sequitur. The term has special applicability in law, having a formal legal definition.
Even if the premises and conclusion are all true, the conclusion is not a necessary consequence of the premises. This sort of non sequitur is also called affirming the consequent.
"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).
(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.)
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'.