We can also speak of a counterexample to a semantic sequent.
You assert " P is true of my system " and the model checker attempts to find a counterexample.
More to the point, he provided a counterexample for each of the examples that Tsai cited in support of her hypothesis.
Can Brooks not produce a counterexample or argument to show that people are not better off having more of what they want?
Abstract I propose a counterexample to naturalistic representational theories of phenomenal character.