This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: case that the antecedent is true and the consequent is false (applies to all forms) • If P then Q, can use arrow or horseshoe A –> B Method 1: o Ask: is the consequent true? o Statement has to be true o If not, determine whether the antecedent is true or false Method 2: o Ask: is the antecedent false? o If so, then the statement is true o If not, then determine the truth value of the consequent P Q P –> Q ~(P • ~Q) T T T T T F F F F T T T F F T T (A –> B) –> Z T T F True antecedent, false consequent, FALSE STATEMENT {[(X –> Y) –> Z] –> [Z –> (X –> Y)]} > [(X > Z) > Y] (F > T) > F T > F F [P > (Q>P)] > Y Experiment w/ true and false values for unknowns Statement is False...
View
Full Document
 Fall '07
 Hopper
 Logic, Logical connective, consequent • Definitional, True antecedent

Click to edit the document details