> [!Definition] > A *counterexample* to an [[Argument|argument]] is a possible situation in which the premises of the argument in question are all true and its conclusion is false. > > An argument is [[Logically Valid Argument|invalid]] if it has a counterexample.