Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

countermodel

A row that makes every premise true and the conclusion false.

A countermodel to an argument in sentential logic is a valuation on which all the premises are true and the conclusion is false. One countermodel is enough to show the argument invalid.

Examples

  • P false, Q true is a countermodel to "P → Q, Q, so P."

See also

counterexample truth-table test
Read the full section →