Outcome
Illustrate historical and contemporary applications of mathematical/logical systems.
Outcome
Explain what constitutes a valid mathematical/logical argument (proof).
Outcome
Apply higher-order problem-solving and/or modeling strategies.
Outcome
Identify inferential rules operative in natural language examples.
Outcome
Use truth tables.
Outcome
Determine whether propositions are tautologies, contradictions, or neither.
Outcome
Use propositional calculus.
Outcome
Use predicate calculus.
Outcome
Use rules of inference to derive propositions from other propositions.