Skip to content
Nydus Open Learning

Symbolic logic

Universal instantiation

apply universal instantiation to a named object

About 40 minutes7 activities Paper packet