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)

  • ¬n
  • f ∧ h
  • (s → (⊥ ∨ j)) ∧ s
  • ---------------

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

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

f

h

j

n

s