PHI 213 Symbolic Logic

Covers basic information in semantics and syntax of sentential and predicate logic, construction of truth trees and derivations of natural deductive systems.

Credits

3