6.1 Symbols and Translation

1. 6.1 Symbols and Translation • Simple Statements: • James Joyce wrote Ulysses. • Compound Statements: • Contain at least one simple statement. • It is not the case that Al Qaeda is a humanitarian organization translated to: It is not the case that A.

2. 6.1 Continued • Translating and Symbolizing Negation, Conjunction, Disjunction, Implication and Equivalence.

3. 6.1 Continued • Example of negation • It is not the case that A: ~A. • Example of conjunction • Tiffany sells jewelry and Gucci sells cologne: T• G

4. 6.1 Continued • Example of disjunction: • Aspen sells snowboards or Teluride does: A ˅ T. • Examples of conditionals (implication): • If Purdue raises tuition, then so does Notre Dame: P N.

5. 6.1 Continued • Examples of Biconditionals (equivalence): • JFK tightens security if and only if O’Hare does: J ≡ O. • Common Confusions:

6. 6.2 Truth Functions • A Truth Function is any compound proposition whose truth value is completely determined by the truth values of its components. • The definitions of the Logical Operators are presented in the forms of Statement Variables, which are lowercase letters that can stand for any statement.

7. 6.2 Continued • A Truth Table is an arrangement of truth values that shows in every possible case how the truth value of a compound proposition is determined by the value of its simple components.

8. 6.2 Continued • Computing the truth value of Longer Propositions: If A, B, and C are true and D, E and F are false, then : (A v D)  E with these truth values below: (T v F)  F. Next: T  F. Finally: F

9. 6.2 Continued • Further Comparisons with Ordinary Language: • She got married and had a baby: M• B. • She had a baby and got married: B • M.

10. 6.3 Truth Tables for Propositions • Constructing Truth Tables: the relationship between the columns of numbers is L = 22

11. 6.3 Continued • An Alternate Method: • [(a v b) • (b  a)]  b

12. 6.3 Continued • Classifying Statements: • A Tautologous or Logically True Statement is true regardless of the truth values of its components. • A Self-contradictory or Logically False Statement is false regardless of the truth values of its components. • A Contingent Statement’s truth value varies according to the truth values of its components.

13. 6.3 Continued • Comparing Statements: • Logically Equivalent statements have the same truth value on each line under their main operators. • Contradictory Statements have the opposite truth value on each line under their main operators. Consistent Statements have at least one line on which both (or all) the truth values are true. • Inconsistent Statements have no line on which both (or all) the truth values are true. • Compare main operator columns; logically equivalent and contradictory statements take precedence over consistent and inconsistent ones

14. 6.4 Truth Tables for Arguments • Constructing a Truth Table for an Argument: • Symbolize the argument using letters for simple propositions. • Write out the argument using a single slash between premises and a double slash between the last premises and the conclusion. • Draw a truth table for the symbolized argument as if it were a proposition broken into parts. • Look for a line where all the premises are true and the conclusion false. If there is no such line, the argument is valid. If there is not, it is invalid.

15. 6.5 Indirect Truth Tables • They are shorter and faster than ordinary truth tables and work best for arguments with a large number of simple propositions. • However, you must be able to work backward from the truth value of the main operator of a compound statement to the truth values of its simple components.

16. 6.5 Continued • Testing Arguments for Validity • Assume the argument is invalid. • Work backward to derive the truth values of the separate components. • Can you derive a contradiction? If you can, it is not possible for the premises to be true and the conclusion false, so the argument is valid.

17. 6.5 Continued • Testing Statements for Consistency is similar to the method for testing arguments. • Assume the statements are consistent. • Can you derive a contradiction?

18. 6.6 Argument Forms and Fallacies • An Argument Form is an arrangement of statement variables and operators so that uniformly substituting statements in place of variables results in arguments. Common forms are as follows: • Disjunctive Syllogism (DS) p v q ~p q

19. 6.6 Continued • Pure Hypothetical Syllogism (HS): p q q r p r • Modus Ponens (MP): p q p q

20. 6.6 Continued • Modus Tollens (MT): p  q ~q ~p • Affirming the Consequent (AC): p q q p

21. 6.6 Continued • Denying the Antecedent (DA): p q ~p ~q • Constructive Dilemma (CD): (p q) • (r s) p v r q v s • Destructive Dilemma (DD): (p q) • (r s) ~q v ~s ~p v ~r

22. 6.6 Continued • Refuting Constructive and Destructive Dilemmas.

23. 6.6 Continued • Note on Invalid Forms: any substitution instance of a valid argument form is a valid argument. However, this result does not apply to invalid forms.