Presentation is loading. Please wait.

Presentation is loading. Please wait.

“If John studies then he will get an A.” s a s a F F T F T T T T T T F F.

Published byGabriella Dorsey Modified over 9 years ago

Similar presentations

Presentation on theme: "“If John studies then he will get an A.” s a s a F F T F T T T T T T F F."— Presentation transcript:

1

2

3 “If John studies then he will get an A.” s a s a F F T F T T T T T T F F

4 “If then.” s a s a F F T F T T T T T T F F the model

5 “If this statement is true then Santa Claus exisits.” s a s a F F T F T T T T T T F F

6 “If this statement is true then Santa Claus exisits.” s a s a F F T F T T T T T T F F This statement

7 “If this statement is true then Santa Claus exisits.” s a s a F F T F T T T T T T F F This statement The only conditions under which this statement is FALSE

8 “If this statement is true then Santa Claus exisits.” s a s a F F T F T T T T T T F F This statement The only conditions under which this statement is FALSE a contradiction

9 “If this statement is true then Santa Claus exisits.” s a s a F F T F T T T T T T F F This statement must be TRUE So Santa Claus exists!

10 Of course, the exact same reasoning can be used to prove that Santa Claus does NOT exist!

11 Of course, the exact same reasoning can be used to prove that Santa Claus does NOT exist! Yes I do!

Download ppt "“If John studies then he will get an A.” s a s a F F T F T T T T T T F F."

Similar presentations

The Important Thing About By. The Important Thing About ******** The important thing about ***** is *****. It is true s/he can *****, *****, and *****.

The Important Thing About By. The Important Thing About ******** The important thing about ***** is *****. It is true s/he can *****, *****, and *****.
2.1.4 USING LOGICAL REASONING

2.1.4 USING LOGICAL REASONING
Using Indirect Reasoning

Using Indirect Reasoning
Consider... [[Tall(John) Tall(John)]] [[Tall(John)]] = undecided, therefore [[Tall(John) Tall(John)]] = undecided.

Consider... [[Tall(John) Tall(John)]] [[Tall(John)]] = undecided, therefore [[Tall(John) Tall(John)]] = undecided.
PROOF BY CONTRADICTION

PROOF BY CONTRADICTION
The if structure is used to execute statement(s) only if the given condition is satisfied.

The "if structure" is used to execute statement(s) only if the given condition is satisfied.
Quiz 11-18-2008 Propositional Logic. 1. Let A,B,C be propositions, i.e. they can take values False (F) or True (T). a) How many possible worlds are there.

Quiz Propositional Logic. 1. Let A,B,C be propositions, i.e. they can take values False (F) or True (T). a) How many possible worlds are there.
Biconditionals & Counterexamples Geometry Chapter 02 A BowerPoint Presentation.

Biconditionals & Counterexamples Geometry Chapter 02 A BowerPoint Presentation.
Inductive Reasoning.  Reasoning based on patterns that you observe  Finding the next term in a sequence is a form of inductive reasoning.

Inductive Reasoning.  Reasoning based on patterns that you observe  Finding the next term in a sequence is a form of inductive reasoning.
Proof by Induction and contradiction Leo Cheung. The TAs Our office is in SHB117, feel free to come if you get problems about the course Or ask your questions.

Proof by Induction and contradiction Leo Cheung. The TAs Our office is in SHB117, feel free to come if you get problems about the course Or ask your questions.
some important examples of paradox How do we interpret “reality”. What models do we build to simplify, generalize, and organize the complex data of experience?

some important examples of paradox How do we interpret “reality”. What models do we build to simplify, generalize, and organize the complex data of experience?
Honors Geometry.  How many lines can be passed through one point?  How many planes can be passed through one point?  How many planes can be passed.

Honors Geometry.  How many lines can be passed through one point?  How many planes can be passed through one point?  How many planes can be passed.
Rules of Fractions Investigation. What do you understand from this statement? What can we say about this? What do we need to know first? What should we.

Rules of Fractions Investigation. What do you understand from this statement? What can we say about this? What do we need to know first? What should we.
Math 240: Transition to Advanced Math Deductive reasoning: logic is used to draw conclusions based on statements accepted as true. Thus conclusions are.

Math 240: Transition to Advanced Math Deductive reasoning: logic is used to draw conclusions based on statements accepted as true. Thus conclusions are.
Comparing and ordering rational numbers

Comparing and ordering rational numbers
Postulates and Paragraph Proofs Section 2-5.  postulate or axiom – a statement that describes a fundamental relationship between the basic terms of geometry.

Postulates and Paragraph Proofs Section 2-5.  postulate or axiom – a statement that describes a fundamental relationship between the basic terms of geometry.
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.

Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
5-4 Inverses, Contrapositives, and Indirect Reasoning

5-4 Inverses, Contrapositives, and Indirect Reasoning
P. 270 #47-49.

P. 270 #47-49.
1.2 Inductive Reasoning. Inductive Reasoning If you were to see dark, towering clouds approaching what would you do? Why?

1.2 Inductive Reasoning. Inductive Reasoning If you were to see dark, towering clouds approaching what would you do? Why?

Similar presentations

Ads by Google