You're not logged in. Exercises work as usual, but progress is not tracked.

Finding classical counterexamples

Here is a random argument! (Premises above the line; conclusion below it)

  • e → l
  • ¬x
  • (m → ((m ∧ q) ∨ y)) ∨ ⊥
  • ---------------
  • ¬(⊥ ∨ q)

Give a counterexample to this argument in the CL matrix, if there is one!

e

l

m

q

x

y