Students should develop and exhibit the following abilities:

• Demonstrate the ability to generate the truth table for a given propositional function.
• Demonstrate the ability to generate that a given propositional argument is valid.
• Demonstrate the ability to generate that a given propositional argument is a valid consequence.
• Demonstrate the ability to generate that a given propositional argument is proveable.
• Demonstrate that for propositional arguments valid is equivalent to provable
• Demonstrate the ability to generate the truth table for a given predicate function
• Demonstrate the ability to generate that a given predicate argument is valid.
• Demonstrate the ability to generate that a given predicate argument is a valid consequence.
• Demonstrate the ability to generate that a given predicate argument is proveable.
• Demonstrate that for predicate arguments valid is equivalent to provable