The course is a study of mathematical logic that
covers topics such as propositions, logical operators, rules of replacement,
rules of inference, algebra of logic and quantifiers, and methods of proof. It
also includes a discussion of the elementary theory of sets such as fundamental
concepts of sets, set theorems, set operations, functions, and relations. It
prepares the students for higher/advanced mathematics (Number theory, Linear
Algebra, Abstract Algebra)

- Faculty: Joe Marie Yocte