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)

  • h ∨ (⊥ ∧ c)
  • (l → (l ∨ r)) ∨ ¬(p → q)
  • ---------------
  • h

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

c

h

l

p

q

r