Skip to content
Nydus Open Learning

Symbolic logic

Identity and counting claims

The one predicate every structure interprets the same way, and the at-least, at-most and exactly claims it makes expressible.

About 20 minutes7 activities Paper packet