MATH 230
MATHEMATICAL LOGIC (3)

Basic concepts and techniques of symbolic logic are covered. Topics include truth tables, truth functions, validity, tautologies, contradictions, contingencies, consistency, proofs and problematic of language and its usage.
Pre: none

{CLOSE}