Non sequitur (Latin for it does not follow), in formal logic, is an argument in which its conclusion does not follow from its premises. In a non sequitur, the conclusion could be either true or false, but the argument is fallacious because there is a disconnection between the premise and the conclusion. All invalid arguments are special cases of non sequitur. The term has special applicability in law, having a formal legal definition. Many types of known non sequitur argument forms have been classified into many types of logical fallacies.