The term ""non sequitur"" usually refers to those types of invalid arguments which are not named formal fallacies (e.g. post hoc ergo propter hoc). In other words, in practice, ""non sequitur"" refers to an unnamed formal fallacy. 