Study Guide for Test #2


The test will have about 12 questions, each weighted roughly equally. There should be ample room to show your work.

Here is a list of material included on the test.

6.1, 6.2
Be able to translate sentences into symbolic form with capital letters representing simple statements.
Know and understand the five logical operators and their truth tables.
Be able to work out the truth tables for statements, and identify statements as tautologous, self-contradictory or contingent.
Use truth tables to decide if pairs of statements are logically equivalent, contradictory, consistent or inconsistent.
Determine the validity of an argument by writing its truth table.
Use indirect truth tables to test validity of arguments and consistency of groups of statements.


For practice, you may wish to try Sample Test #2