Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Rules of inference.

Slides:



Advertisements
Similar presentations
Rules of Inference Rosen 1.5.
Advertisements

Discrete Mathematics University of Jazeera College of Information Technology & Design Khulood Ghazal Mathematical Reasoning Methods of Proof.
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.
The Foundations: Logic and Proofs
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.
1 Introduction to Abstract Mathematics Valid AND Invalid Arguments 2.3 Instructor: Hayk Melikya
1 Valid and Invalid Arguments CS 202 Epp Section 1.3 Aaron Bloomfield.
Chapter 3. Mathematical Reasoning 3.1 Methods of proof A theorem is a statement that can be shown to be true. A proof is to demonstrate that a theorem.
Muhammad Arief download dari
CSE115/ENGR160 Discrete Mathematics 01/26/12 Ming-Hsuan Yang UC Merced 1.
Valid Arguments An argument is a sequence of propositions. All but the final proposition are called premises. The last statement is the conclusion. The.
CS128 – Discrete Mathematics for Computer Science
Logic 3 Tautological Implications and Tautological Equivalences
Fall 2002CMSC Discrete Structures1 Let’s proceed to… Mathematical Reasoning.
1.5 Rules of Inference.
Copyright © Curt Hill Rules of Inference What is a valid argument?
Propositional Proofs 2.
CS 103 Discrete Structures Lecture 07b
Chap. 2 Fundamentals of Logic. Proposition Proposition (or statement): an declarative sentence that is either true or false, but not both. e.g. –Margret.
March 3, 2015Applied Discrete Mathematics Week 5: Mathematical Reasoning 1Arguments Just like a rule of inference, an argument consists of one or more.
Discrete Mathematics CS 2610 August 24, Agenda Last class Introduction to predicates and quantifiers This class Nested quantifiers Proofs.
1 Basic Proof Methods I Basic Proof Methods II Proofs Involving Quantifiers.
1 Methods of Proof. 2 Consider (p  (p→q)) → q pqp→q p  (p→q)) (p  (p→q)) → q TTTTT TFFFT FTTFT FFTFT.
10/17/2015 Prepared by Dr.Saad Alabbad1 CS100 : Discrete Structures Proof Techniques(1) Dr.Saad Alabbad Department of Computer Science
Section 1.5. Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements.
1 Sections 1.5 & 3.1 Methods of Proof / Proof Strategy.
Discrete Structures (DS)
2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such.
Fallacies The proposition [(p  q)  q]  p is not a tautology, because it is false when p is false and q is true. This type of incorrect reasoning is.
Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems or solving problems, creativity and insight.
CompSci 102 Discrete Math for Computer Science January 24, 2012 Prof. Rodger Slides modified from Rosen.
CSE 321 Discrete Structures Winter 2008 Lecture 5 Rules of Inference.
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.
Module #1 - Logic Based on Rosen, Discrete Mathematics & Its Applications. Prepared by (c) , Michael P. Frank. Modified By Mingwu Chen 1 Module.
Chapter 2 Fundamentals of Logic 1. What is a valid argument or proof?
CSci 2011 Discrete Mathematics Lecture 4 CSci 2011.
Lecture 10 Methods of Proof CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
Discrete Mathematical Structures: Theory and Applications 1 Logic: Learning Objectives  Learn about statements (propositions)  Learn how to use logical.
Discrete Math by R.S. Chang, Dept. CSIE, NDHU1 Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems.
Chapter 1, Part III: Proofs With Question/Answer Animations Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without.
Uniqueness Quantifier ROI for Quantified Statement.
Chapter 1 Logic and proofs
CSE15 Discrete Mathematics 01/30/17
Discrete Mathematics Logic.
Proof Techniques.
Rules of Inference Section 1.6.
Module #10: Proof Strategies
CS100: Discrete structures
CS201: Data Structures and Discrete Mathematics I
Mathematical Reasoning
Methods of Proof. Methods of Proof Definitions A theorem is a valid logical assertion which can be proved using Axioms: statements which are given.
CMSC Discrete Structures
CS 220: Discrete Structures and their Applications
Applied Discrete Mathematics Week 1: Logic
CS 103 Discrete Structures
Inference Rules: Tautologies
CSE 321 Discrete Structures
Discrete Mathematics Logic.
Information Technology Department SKN-SITS,Lonavala.
Module #10: Proof Strategies
Foundations of Discrete Mathematics
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
Valid and Invalid Arguments
Mathematical Reasoning
Discrete Mathematics and its Applications
CS201: Data Structures and Discrete Mathematics I
The Foundations: Logic and Proofs
Rules of inference Section 1.5 Monday, December 02, 2019
Presentation transcript:

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Rules of inference

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 22 Introduction Proofs in mathematics are valid arguments that establish the truth of mathematical statement An argument in Propositional logic is a sequence of propositions. An argument form in Propositional logic is a sequence of compound propositions involving propositional variables. All but the final proposition in the argument are called premises and the final proposition is called the conclusion.

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 33 Introduction Example: “If you have a current password, p then you can log onto the network” q premises “You have a current password” premises Therefore, “You can log onto the network” conclusion

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 44 Valid argument in Propositional Logic p  q p ______  q  An argument is valid if the truth of all its premises implies that the conclusion is true.  The hypotheses are written in a rows, followed by horizontal bar, followed by the  and the conclusion.   means “therefore”

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 55 Valid argument in Propositional Logic If we have an argument with premises p1, p2, p3, …,pn and conclusion q This argument is valid when (p1  p2  p3  …………  pn)  q is a tautology p  q p _________  q The tautology (p  ( p  q))  q is the basis of the rule of inference called Modus Ponens (or law of detachment- mode that affirms) pq p  qp  (p  q) (p  ( p  q))  q FFTFT FTTF T TFFFT TTTTT

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 66 Rules of Inference for propositional logic  We can use a truth table to show that an argument form is valid. By showing that whenever the premises are true, the conclusion must also be true.  If an argument form involves 10 different propositional variables, to use truth table, 210=1024 rows are needed. This is a tedious (long and boring) approach.  Instead of using a truth table to show that an argument form is valid, we cant use Rules of inference..

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 77 Rules of Inference for propositional logic Modus Ponens Modus Ponens tell us that if a conditional statement and its hypothesis are both true, then the conclusion must also be true. Example: Conditional statement “If you have a current password, then you can log onto the network” Hypothesis “You have a current password” if conditional statement and hypothesis are true Then the conclusion is true “You can log onto the network”

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 88 Rules of Inference for propositional logic Examples: “if, then “ Determine whether the argument is valid, and determine whether its conclusion must be true because of the validity of the argument. Let p be the proposition and q be the proposition The premises of the argument are p  q, p and its conclusion is q. This argument is valid (it is constructed by using Modus ponens), a valid argument form. The premise is false, therefore we can not conclude that the conclusion is true. Conclusion is false. 2< 9/4

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 99 Inference Rule – general form Pattern establishing that if we know that a set of hypotheses all are true, then a certain related conclusion statement is true. Hypothesis 1 Hypothesis 2 ……. Hypothesis n  Conclusion Each logical inference rule corresponds to an implication that is a tautology. [(Hypothesis 1)  (Hypothesis 2)  …  (Hypothesis n)]  conclusion

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 10 Some Inference Rules

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 Some Inference Rules Examples:  “It is below freezing now (p). Therefore, it is either below freezing or raining now (q).”  “It is below freezing (p). It is raining now (q). Therefore, it is below freezing and it is raining now.  “if it rains today (p), then we will not have a barbecue today (q). if we do not have a barbecue today, then we will have a barbecue tomorrow (r). Therefore, it is rains today, then we will have a barbecue tomorrow.  “If it is snows today (p), then we will go skiing (q)”. “It is snowing today”. Therefore (or imply that) “We will go skiing”  “It is below freezing (p) and raining now (q). Therefore, it is below freezing now.”

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 12 Using Rules of Inference to Build Arguments  A formal proof of a conclusion C, given premises p 1, p 2,…,p n consists of a sequence of steps, each of which applies some inference rule to premises or to previously-proven statements (as hypotheses) to yield a new true statement (the conclusion).  A proof demonstrates that if the premises are true, then the conclusion is true (i.e., valid argument).

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity Example: 1.It is not sunny this afternoon and it is colder than yesterday. 2.We will go swimming only if it is sunny. 3.If we do not go swimming then we will take a canoe trip. 4.If we take a canoe trip then we will be home by sunset. 5.We will be home by sunset propositions hypotheses Using Rules of Inference to Build Arguments

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity Using Rules of Inference to Build Arguments

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 15 Resolution  Computer programs have been developed to automate the task of reasoning and proving theorem. Many of these programs make use of rule of inference as resolution ((p  q)  (  p  r))  (q  r) and it is tautology Even if we let q=r then ((p  q)  (  p  r))  q Or when r=F then (p  q)  (  p)  q because q  F Ξ q

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 1.Anna is skiing or it is not snowing. 2.It is snowing or Bart is playing hockey. 3.Consequently Anna is skiing or Bart is playing hockey. propositions hypotheses Consequently Anna is skiing or Bart is playing hockey Resolution rule Resolution Example

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 17 Fallacies Fallacy of affirming the conclusion Fallacy of affirming the conclusion Is this argument is valid? “If you do every problem in this book, then you will learn discrete mathematics (q).” “You learned discrete mathematics.” “Therefore, you did every problem in this book (p).”  This argument is of the form p  q and q then p.  This is an example of an incorrect argument using the Fallacy of affirming the conclusion.  p  q and q does not imply p.  The proposition [(p  q)  q)  p] is not a tautology (its false if p is F and q is T) check the truth table  You can learn discrete mathematics in some way other than doing every problem in this book (by reading- listening to lectures-doing some (but not all) the problems in this book)

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 18 Fallacies Fallacy of denying the hypothesis Is this argument is valid? “If you do every problem in this book (p), then you will learn discrete mathematics (q)”. “You did not do every problem in this book. Therefore, You did not learn discrete mathematics.” this argument is of the form p  q and  p imply  q. This is an example of an incorrect argument using the Fallacy of denying the hypothesis. p  q and  p does not imply  q. The proposition [(p  q)   p)   q] is not a tautology (its false if p is F and q is T). It is possible that you learned discrete even you did not do every problem in this book

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 19 Fallacies  A fallacy is an inference rule or other proof method that is not logically valid. It may yield a false conclusion!  Fallacy of affirming the conclusion: “p  q is true, and q is true, so p must be true.” (No, because F  T is true.)  Fallacy of denying the hypothesis: “p  q is true, and p is false, so q must be false.” (No, again because F  T is true.)

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 20 Inference Rules for Quantifiers Universal instantiation  x P(x)  P(c) (Substitute any object c) We can conclude that P(c) is true, where c is a particular member of the domain, if we know that   x P(x) is true. Example “all students have internet account”  “Ahmed has internet account” Where, Ahmed is a member of the domain of all students. Universal generalization P(c) (for an arbitrary c)   x P(x)

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 21 Inference Rules for Quantifiers Existential instantiation  x P(x)  P(c) (Substitute for some element c ) We can conclude that there is an element c in the domain for which P(c) is true, if we know that  x P(x) is true. Existential generalization P(c) (for some element c )   x P(x)

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity Example: Show that the premises “Everyone in this discrete math class has taken a course in computer science” and “Ali is a student in this class” Imply the conclusion “Ali has taken a course in computer science” D(x): “x is in discrete math class” C(x): “x has taken a course in computer science”  x (D(x)  C(x)) Premise #1 D(Ali) Premise #2  C(Ali) Step Reason 1  x (D(x)  C(x)) Premise #1 2 D(Ali)  C(Ali) Univ. instantiation 3 D(Ali) Premise #2 4 C(Ali) Modus ponens on 2,3 Inference Rules for Quantifiers

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity Example: Show that the premises “A student in this class has not read the book” and “Everyone in this class passed the first exam “ Imply the conclusion “someone who passed the exam has not read the book” C(x) = “x is in this class” B(x) = “ x has read the book” P(x)= “ x passed the first exam “ Inference Rules for Quantifiers

Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity  x(C(x)   B(x)) Premise #1  x(C(x)  P(x)) Premise #2   x(P(x)   B(x)) Step Reason 1.  x(C(x)   B(x)) premise 1 2. C(a)   B(a) Existential instantiation from (1) 3. C(a) Simplification from 2 4.  x(C(x)  P(x)) premise 2 5. C(a)  P(a) Universal instantiation from (4) 6. P(a) Modus ponens from (3) and (5) 7.  B(a) Simplification from 2 8. P(a)   B(a) conjunction from 6 and 7 9.  x(P(x)   B(x)) Existential generalization from 8 Inference Rules for Quantifiers