Logic Quiz #2 Study Guide

Definitions

Statement, Deductive Argument, Validity, Soundness;

Conjunct, Disjunct, Antecedent, Consequent

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

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.

Use the long truth table method to determine the validity of arguments (no more than 3 simple statements).

Extra Credit: Use the streamlined truth table method to determine the validity of arguments.

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.