LOGIC LAWS Law of Detachment p q p _ q p q ~q _ ~p Modus Tollens.

Slides:

Advertisements

Similar presentations

Solving Systems of three variables

Advertisements

1 Knowledge Representation Introduction KR and Logic.

Repeated Addition Or Adding up.

Sec.2-3 Deductive Reasoning

Rules of Inference Rosen 1.5.

How well do you KNOW your 2 times table ? Play the following game Are you ready ? X MULTIPLYTIMES PRODUCT.

BALANCING 2 AIM: To solve equations with variables on both sides.

Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.

Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:

1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.

Statements, Connectives, and Quantifiers

February 26, 2015Applied Discrete Mathematics Week 5: Mathematical Reasoning 1 Addition of Integers Example: Add a = (1110) 2 and b = (1011) 2. a 0 + b.

CPSC 121: Models of Computation Unit 6 Rewriting Predicate Logic Statements Based on slides by Patrice Belleville and Steve Wolfman.

Chapter 2 Fundamentals of Logic Dept of Information management National Central University Yen-Liang Chen.

IX Conjunctions of Premises & Conclusions Working with more than two premises.

CSE115/ENGR160 Discrete Mathematics 01/26/12 Ming-Hsuan Yang UC Merced 1.

Chapter 1 The Logic of Compound Statements. Section 1.3 Valid & Invalid Arguments.

Deductive Arguments and Inference Rules Terminology: Valid Argument: – truth of the premises guarantees the truth of the conclusion – It would be contradictory.

Aim: How can we review logic proofs for the upcoming regents exam? Homework- Logic proof questions (2) Do Now- Name three reasons used when solving a logic.

Logic 3 Tautological Implications and Tautological Equivalences

Is there any proof that the Bible is true?

Warm Up Make a conjecture based on the following information. For points A, B and C, AB = 2, BC = 3, and AC = 4. A, B, and C form an equilateral triangle.

Deductive Reasoning 2-3. Deductive Reasoning Example 1  Suppose that a mechanic knows that if a car has a dead battery, the car will not start. A mechanic.

Propositional Logic Reasoning correctly computationally Chapter 7 or 8.

1.5 Rules of Inference.

3.6 Analyzing Arguments with Truth Tables

2.5 Verifying Arguments Write arguments symbolically. Determine when arguments are valid or invalid. Recognize form of standard arguments. Recognize common.

Conditional Statements

Deduction, Proofs, and Inference Rules. Let’s Review What we Know Take a look at your handout and see if you have any questions You should know how to.

Modus Ponens The following valid arguments show us how to apply the modus ponens (Rule of Detachment). a) 1) Lydia wins a ten-million-dollar lottery.

Chap. 2 Fundamentals of Logic. Proposition Proposition (or statement): an declarative sentence that is either true or false, but not both. e.g. –Margret.

Logic Eleanor Roosevelt High School Geometry Mr. Chin-Sung Lin.

Warm Up Underline the hypothesis and circle the conclusion of each conditional. 1. A mapping that is a reflection is a type of transformation. 2. The quotient.

Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.

Holt McDougal Geometry 2-1 Using Inductive Reasoning to Make Conjectures 2-1 Using Inductive Reasoning to Make Conjectures Holt Geometry Warm Up Warm Up.

Arguments with Quantified Statements M Universal Instantiation If some property is true for everything in a domain, then it is true of any particular.

Bell Work “If x=4, then “ 1)Write the hypothesis 2)Write the Conclusion 3) Write the converse 4)What is the Biconditional?

Deductive Reasoning Chapter 2 Lesson 4.

2.4 Ms. Verdino.  Biconditional Statement: use this symbol ↔  Example ◦ Biconditional Statement: The weather is good if and only if the sun is out 

Section 2.5 If-Then Statements and Deductive Reasoning pg.82.

CS 381 DISCRETE STRUCTURES Gongjun Yan Aug 25, November 2015Introduction & Propositional Logic 1.

Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.

C HAPTER Using deductive reasoning. O BJECTIVES Students will be able to: Apply the Law of Detachment and the Law of Syllogism in logical reasoning.

Lesson 1.7/1.8 Deductive Structure and Statements of Logic Objective: Recognize that geometry is based on deductive structure, identify undefined terms,

Rules of Inference Section 1.6. Arguments in Propositional Logic A argument in propositional logic is a sequence of propositions. All but the final proposition.

What is Reasoning  Logical reasoning is the process of drawing conclusions from premises using rules of inference.  These inference rules are results.

2.2 Inductive and Deductive Reasoning. Deductive reasoning is the process of reasoning logically from given statements to a conclusion.

Lesson 21 LAW OF DETACHMENT AND SYLLOGISM. Review and New Vocabulary Inductive reasoning is the process of reasoning that a rule or statement is true.

Logic: The Language of Philosophy. What is Logic? Logic is the study of argumentation o In Philosophy, there are no right or wrong opinions, but there.

Discrete Mathematical Structures: Theory and Applications 1 Logic: Learning Objectives  Learn about statements (propositions)  Learn how to use logical.

Name vertical angles and linear pairs. Name a pair of complementary angles and a pair of supplementary angles.

2.3 Deductive Reasoning 2.4a Reasoning in Algebra.

Deductive Reasoning. Inductive: premise offers support and evidenceInductive: premise offers support and evidence Deductive: premises offers proof that.

Using Deductive Reasoning to Verify Conjectures 2-3

Palm trees grow in warm climates

Objective Apply the Law of Detachment and the Law of Syllogism in logical reasoning.

Rules of Inference Section 1.6.

2 Chapter Introduction to Logic and Sets

Earlier we learned about inductive reasoning. • Earlier we learned about inductive reasoning. • Look at specific examples. • Recognize patterns, which.

Drawing and Supporting Conclusions

Five step procedure for drawing conclusions.

Math Humor Q: How is a geometry classroom like the United Nations?

CS 220: Discrete Structures and their Applications

Applied Discrete Mathematics Week 1: Logic

1 Chapter An Introduction to Problem Solving

1 Chapter An Introduction to Problem Solving

Notes 2.3 Deductive Reasoning.

Pearson Unit 1 Topic 2: Reasoning and Proof 2-4: Deductive Reasoning Pearson Texas Geometry ©2016 Holt Geometry Texas ©2007.

Presentation transcript:

LOGIC LAWS

Law of Detachment p q p _______ q

p q ~q _______ ~p Modus Tollens

p qp q ~p~q____ q P Law of disjunctive inference

Drawing Conclusions using the laws Given the three statements, what conclusion can be found? If Rachel joins baseball then Rachel likes to sing Rachel will join baseball or Rachel will play basketball Rachel does not like to sing

Rewrite the sentences into symbols: B S B A ~S Try to find two statements that form a rule B S ~S You can use Modus tollens to conclude ~B You then can use ~B to form a rule with B A You can use the law of disjunctive inference to conclude A

Try: Given: If Billy misses the Yankees game then the red sox win If the red sox win then Billy is not happy Billy is happy Prove: Billy does not miss the Yankee game Y: Billy misses the Yankee game W: Red sox win H: Billy is happy

Y: Billy misses the Yankee game W: Red sox win H: Billy is happy Given: Y W W ~H H Using Modus tollens W ~H H Conclude ~W Therefore using Modus tollens Y W ~W Concludes ~Y So Billy does not miss the Yankee game

HOMEWORK Pg even Pg Pg , 12, 15