Demonstration of non-consequence

An argument that shares the same form as the original but consists of true premises and a false conclusion. A counterexample shows an argument is invalid, since there is at least one possible scenario in which the premises are true and the conclusion is false or is not necessarily true. (See also Counterexample.)