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

Finding nonclassical counterexamples

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

  • ((e ∧ v) → ¬k) ∧ m
  • (x ∧ ⊥) ∨ d
  • v ∧ (o ∨ y)
  • ---------------
  • y

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

Note that the matrix can change from one argument to the next, so stay alert!

d

e

k

m

o

v

x

y