Skip to content
Nydus Open Learning

Symbolic logic

Mixed quantifiers

What changes when a for-all and a there-is swap places, which direction the entailment runs, and how a two-object structure settles that they differ.

About 20 minutes7 activities Paper packet