Presentation is loading. Please wait.

Presentation is loading. Please wait.

Why Truth Tables? We will learn several ways to evaluate arguments for validity. * Proofs * Truth Tables * Trees.

Published byAudra Osborne Modified over 9 years ago

Similar presentations

Presentation on theme: "Why Truth Tables? We will learn several ways to evaluate arguments for validity. * Proofs * Truth Tables * Trees."— Presentation transcript:

1

2 Why Truth Tables? We will learn several ways to evaluate arguments for validity. * Proofs * Truth Tables * Trees

3 Why Truth Tables? There is no way to show that an argument is INVALID with the proof method.

4 Why Truth Tables? There is no way to show that an argument is INVALID with the proof method. Your failure to find a proof does not show an argument is INVALID.

5 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFPTF -P F T The truth value of -P is the opposite of the value of P.

6 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFPTF -P F T The truth value of -P is the opposite of the value of P. Dogs are mammals. Dogs are not mammals.

7 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFPTF -P F T The truth value of -P is the opposite of the value of P. Dogs are fish. Dogs are not fish.

8 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P&Q T F The truth value of P&Q is T iff P is T AND Q is T.

9 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF PvQ T F The truth value of PvQ is T iff P is T OR Q is T.

10 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P<>Q T F T The truth value of P<>Q is T iff the values of P and Q match.

11 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P<>Q T F T The truth value of P<>Q is T iff the values of P and Q match. Watch Out!

12 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

13 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T. The only F row

14 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T. If water is wet, then dogs are mammals.

15 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T. If dogs are mammals, then dogs have hair.

16 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T. If the moon is made of cheese, then some people are wrong.

17 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T. If the moon is made of cheese, then the moon is edible.

18 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

19 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T? F T? The truth value of P>Q is T iff P is F OR Q is T. If water is wet, then dogs are mammals.

20 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T? F T? The truth value of P>Q is T iff P is F OR Q is T.

21 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

22 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

23 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

24 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

25 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T.

26 Basic Truth Tables Truth tables tell us how to calculate truth values (T or F) of a complex statement give that we know the values of its parts. PTFTFPTFTF QTTFFQTTFF P>Q T F T The truth value of P>Q is T iff P is F OR Q is T. For more click here

Download ppt "Why Truth Tables? We will learn several ways to evaluate arguments for validity. * Proofs * Truth Tables * Trees."

Similar presentations

Copyright 2008, Scott Gray1 Propositional Logic 4) If.

Copyright 2008, Scott Gray1 Propositional Logic 4) If.
Formal Criteria for Evaluating Arguments

Formal Criteria for Evaluating Arguments
TRUTH TABLES Section 1.3.

TRUTH TABLES Section 1.3.
TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.

TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.
Truth Functional Logic

Truth Functional Logic
1 Valid and Invalid arguments. 2 Definition of Argument Sequence of statements: Statement 1; Statement 2; Therefore, Statement 3. Statements 1 and 2 are.

1 Valid and Invalid arguments. 2 Definition of Argument Sequence of statements: Statement 1; Statement 2; Therefore, Statement 3. Statements 1 and 2 are.
Deduction In addition to being able to represent facts, or real- world statements, as formulas, we want to be able to manipulate facts, e.g., derive new.

Deduction In addition to being able to represent facts, or real- world statements, as formulas, we want to be able to manipulate facts, e.g., derive new.
Notation for Arguments Vertical Notation: S>T T>U S>U.

Notation for Arguments Vertical Notation: S>T T>U S>U.
Chapter 1 The Logic of Compound Statements. Section 1.3 Valid & Invalid Arguments.

Chapter 1 The Logic of Compound Statements. Section 1.3 Valid & Invalid Arguments.
Chapter 1 The Logic of Compound Statements. Section 1.2 – 1.3 (Modus Tollens) Conditional and Valid & Invalid Arguments.

Chapter 1 The Logic of Compound Statements. Section 1.2 – 1.3 (Modus Tollens) Conditional and Valid & Invalid Arguments.
Analyzing Arguments. Objectives Determine the validity of an argument using a truth table. State the conditions under which an argument is invalid.

Analyzing Arguments. Objectives Determine the validity of an argument using a truth table. State the conditions under which an argument is invalid.
Statements The most important idea in logic: Validity of an argument.

Statements The most important idea in logic: Validity of an argument.
Consistency In logic, ‘consistency’ has two meanings.

Consistency In logic, ‘consistency’ has two meanings.
Introduction to Logic Logical Form: general rules

Introduction to Logic Logical Form: general rules
Click Here to Begin the Game 100 200 400 300 400 CHOICE 1CHOICE 2CHOICE 3 CHOICE 4 300 200 400 200 100 500 100 200 300 400 CHOICE 5 100 500.

Click Here to Begin the Game CHOICE 1CHOICE 2CHOICE 3 CHOICE CHOICE
Logic A statement is a sentence that is either true or false (its truth value). Logically speaking, a statement is either true or false. What are the values.

Logic A statement is a sentence that is either true or false (its truth value). Logically speaking, a statement is either true or false. What are the values.
Propositional Logic.

Propositional Logic.
MATERI II PROPOSISI. 2 Tautology and Contradiction Definition A tautology is a statement form that is always true. A statement whose form is a tautology.

MATERI II PROPOSISI. 2 Tautology and Contradiction Definition A tautology is a statement form that is always true. A statement whose form is a tautology.
Validity All UH students are communists. All communists like broccoli. All UH students like broccoli.

Validity All UH students are communists. All communists like broccoli. All UH students like broccoli.
Animals Grow and Change Test Review. What do a dog and parrot need to survive? food, water, & air Click here for answer Next.

Animals Grow and Change Test Review. What do a dog and parrot need to survive? food, water, & air Click here for answer Next.

Similar presentations

Ads by Google