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 ∧ p
  • ¬((u → j) → h) → (z → s)
  • ---------------
  • ((c → p) → p) ∨ z

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

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

c

e

h

j

p

s

u

z