Skip to content
Nydus Open Learning

Symbolic logic

Finding a countermodel

Working backwards from a false conclusion to the one row that refutes an argument, and why a failed search that closes every route is a proof of validity.

About 20 minutes7 activities Paper packet