Description: Not open to students with credit in MATH 385 Logical connectives, rules of sentential inference, quantifiers, bound and free variables, rules of inference, interpretations and validity, ...