Syntax, semantics and soundness
The two relations a formal system has, the theorem that says everything derivable is entailed, how it is proved rule by rule, and what it does not say.
About 20 minutes7 activities Paper packet
The two relations a formal system has, the theorem that says everything derivable is entailed, how it is proved rule by rule, and what it does not say.
About 20 minutes7 activities Paper packet