Here, the topic is introduced but student learning is not assessed.

In CSCI 2400, students are taught propositional logic and predicate logic. Given a bunch of premises and a conclusion, the students will be asked to determine whether the conclusion follows from the premises or not. If so, they will be asked to provide a demonstration of how it follows by using inference rules. If not, they will be asked to present a scenario that serves as a counterexample.