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)

  • ¬((p ∨ (g ∧ d)) ∨ (c ∨ k))
  • r
  • v → ¬o
  • ---------------
  • z → ¬q

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

c

d

g

k

o

p

q

r

v

z