Introductory Symbolic Logic

The subject matter is monadic predication, a type of predication in propositional logic, and its application to truth-values and validity.