Logic Exam #3 Study Guide

All the items listed on the Quiz #3 study guide plus:

Definitions

Logic, Statement, Argument

State the rules for Negation, Conjunction, Disjunction, and Conditional (see below).

State the symbolic form of Modus Ponens, Modus Tollens, Affirming the Consequent, Denying the Antecedent, Disjunctive Syllogism, Hypothetical Syllogism, Conjunction, and Simplification.

Exercises

Translate statements into symbolic form.

Determine the truth value of compound statements, given the truth value of their simple statements.

Write truth tables for each of the logical operators.

Identify the argument forms listed above.

Use truth tables to determine the validity of propositional arguments (no more than 3 simple statements).

Identify arguments types (CS, IG, AA, Fallacies, CA, IBE, PA) and determine whether they are deductive, inductive, or neither.

Evaluate these arguments, and support your evaluation by using the various methods and criteria we learned in class.

Rules for Logical Operators

Negation – Reverses the truth value of the statement it negates.

Conjunction – Only true when both conjuncts are true.

Disjunction – Only false when both disjuncts are false.

Conditional – Only false when the antecedent is true and the consequent is false.