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)

  • k
  • ((o ∧ y) ∧ i) → ¬o
  • ¬((d ∨ k) ∧ ¬⊥)
  • ---------------
  • r ∧ e

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

d

e

i

k

o

r

y