For example, students may not know how to use proof by contradiction, proof by cases, or proof by induction with predicate logic expressions, or how to apply modus ponens, modus tollens, or ...

McCall, S. (1963). Aristotle’s Modal Syllogisms, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company. has been cited by the following article: TITLE: Reduction ...

Model checking-deciding if a logical sentence holds on a structure-is a basic computational task that is well-known to be intractable in general. For first-order logic on finite structures, it is ...