You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random argument! (Premises above the line; conclusion below it)
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!
a | |||||
b | |||||
d | |||||
f | |||||
l | |||||
m |