SCI 320
MATHEMATICAL LOGIC (2)
Basic concepts and techniques of symbolic logic are covered.
Topics include truth tables, truth functions, validity, tautologies, contradictions,
contingencies, consistency, proofs, and the problem of language and its usage.
Pre: none
