Using truth tables to assess relations of equ...
Discussion of functions, truth functions, the...
Translating natural language into the formal ...
Here we begin describing the formal structure...
Information on the class -- grading, sections...