Quiz 6 1.5 Methods of Proof..

Slides:



Advertisements
Similar presentations
Rules of Inference Rosen 1.5.
Advertisements

Add title Add a picture or a description. Question 1(True) Click to type your question here I have made this an easy True/false question true False Next.
1.4 Functions Function - for every x there is exactly one y. Domain - set of x-values Range - set of y-values Open books to page 40, example 1.
Announcements Grading policy No Quiz next week Midterm next week (Th. May 13). The correct answer to the quiz.
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
1 Valid and Invalid arguments. 2 Definition of Argument Sequence of statements: Statement 1; Statement 2; Therefore, Statement 3. Statements 1 and 2 are.
CSE115/ENGR160 Discrete Mathematics 01/26/12 Ming-Hsuan Yang UC Merced 1.
22C:19 Discrete Structures Logic and Proof Spring 2014 Sukumar Ghosh.
Logic 3 Tautological Implications and Tautological Equivalences
Analyzing Arguments. Objectives Determine the validity of an argument using a truth table. State the conditions under which an argument is invalid.
TR1413: Discrete Mathematics For Computer Science Lecture 3: Formal approach to propositional logic.
Create Your Own Quiz Quiz Rules & Guidelines  You and your partner will create a minimum 5 problem, multiple choice quiz along with an answer key. 
Through the Looking Glass, 1865
1.5 Rules of Inference.
2.5 Verifying Arguments Write arguments symbolically. Determine when arguments are valid or invalid. Recognize form of standard arguments. Recognize common.
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.
Quiz Name Here Click to start Question 1 Type question here Wrong Answer Right Answer.
It’s All About Properties of Equality. How could properties of equality be applied to solve this equation? Example 1: 3x + 11 = 32 What is the value of.
The Inverse Error Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13.
Standard 22 Identify arithmetic sequences Tell whether the sequence is arithmetic. a. –4, 1, 6, 11, 16,... b. 3, 5, 9, 15, 23,... SOLUTION Find the differences.
$1,000,000 $500,000 $100,000 $50,000 $10,000 $5000 $1000 $500 $200 $100 Is this your Final Answer? YesNo Question 2? Correct Answer Wrong Answer.
INTRODUCTION TO LOGIC Jennifer Wang Fall 2009 Midterm Review Quiz Game.
Over Lesson 2–4 5-Minute Check 4 A.valid B.invalid Determine whether the stated conclusion is valid based on the given information. If not, choose invalid.
Critical Thinking Face Off Final Round – Questions
3.1 Inequalities and their graphs
Introduction to Derivations in Sentential Logic PHIL 121: Methods of Reasoning April 8, 2013 Instructor:Karin Howe Binghamton University.
Study Questions for Quiz 1 1. The Concept of Validity (20 points) a. You will be asked to give the two different definitions of validity given in the lecture.
Thinking Mathematically Arguments and Truth Tables.
Chapter 1: The Foundations: Logic and Proofs
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.4, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3.
Quiz Name Here Click to start Question 1 Type question here Wrong Answer Right Answer.
2.3 Methods of Proof.
Methods of Proof – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Methods of Proof Reading: Kolman, Section 2.3.
Analyzing Arguments Section 1.5. Valid arguments An argument consists of two parts: the hypotheses (premises) and the conclusion. An argument is valid.
Rational Exponents Use the rules for combining fractions when the exponents are rational numbers X 2 3 X 1 2 (()) = X = X = X 7.
Money Quiz!!!!. Write the question number and the answer in your maths book. How much money is shown? 1.
Money Quiz!!!!. Write the question number and the answer in your maths book. How much money is shown? 1.
Quiz 5 1.5, 3.1 Methods of Proof.. Quiz 5: Th. May pm 1) Give 2 rules of inference and the tautologies on which they are based. 2) Explain.
Study Questions for Quiz 5 The exam has four parts: 1. (32 points) Truth Tables 2. (48 points) Truth Trees 3. (10 points) Review of Highly Recommended.
Lecture 10 Methods of Proof CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Median and Mode What do I know? Formulas and Examples Practice.
Symbolic Logic and Rules of Inference. whatislogic.php If Tom is a philosopher, then Tom is poor. Tom is a philosopher.
2. The Logic of Compound Statements Summary
Chapter 1 Logic and Proofs Homework 1 Two merchants publish new marketing campaign to attract more customers. The first merchant launches a motto “Good.
Functions Review: 8.1 through 8.4 Sprint Relay
COMP 1380 Discrete Structures I Thompson Rivers University
MAT 142 Lecture Video Series
Logical Inferences: A set of premises accompanied by a suggested conclusion regardless of whether or not the conclusion is a logical consequence of the.
1-5 Equations Goals: Solve equations with one variable
Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13
6 Figure Grid Map skills Quiz Reference Quiz
Make Your Own Quiz.
Quiz About [Your topic]
Logical Inferences: A set of premises accompanied by a suggested conclusion regardless of whether or not the conclusion is a logical consequence of the.
Section 3.5 Symbolic Arguments
3.5 Symbolic Arguments.
CS 220: Discrete Structures and their Applications
Discrete Mathematics Lecture # 8.
Money Quiz!!!!.
Quiz Name Here Click to start.
Quiz Name Here Click to start.
Introductory Logic PHI 120
1. Rearrange the equation 2p + 1 = 11 to make p the subject.
f(x) y x A function is a relation that gives a single
Using the Discriminant and writing quadratic equations
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
9J Conditional Probability, 9K Independent Events
3.5 Symbolic Arguments.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Rules of inference Section 1.5 Monday, December 02, 2019
Presentation transcript:

Quiz 6 1.5 Methods of Proof.

Quiz 5: Th. May 26 3.30-3.45 pm 1) Give 2 rules of inference (no names, just the equations) and the tautologies on which they are based. 2) Formulate the following arguments symbolically and determine whether each one is valid: (p=“I study hard”, q=“I get A’s”, r=“I get rich”) a) If I study hard then I get A’s. I did not study hard. Therefore: I will not get A’s. b) If I study hard then I get A’s If I don’t get rich then I don’t get A’s Therefore: I get rich c) If I study hard then I get A’s or I get rich I don’t get A’s and I don’t get rich Therefore: I don’t study hard.

Answers Quiz 5 1) Give 2 rules of inference (no names, just the equations) and the tautologies on which they are based. book page 58 table 1. 2) Formulate the following arguments symbolically and determine whether each one is valid: (p=“I study hard”, q=“I get A’s”, r=“I get rich”) a) If I study hard then I get A’s. pq I did not study hard. NOT p Therefore: I will not get A’s. NOT q (invalid). b) If I study hard then I get A’s pq If I don’t get rich then I don’t get A’s NOT r  NOT q  qr Therefore: I get rich r (this is wrong because we don’t know if p=T, we may only conclude pr). c) If I study hard then I get A’s or I get rich p (q OR r)  (NOT q) AND (NOT r)  NOT p I don’t get A’s and I don’t get rich (NOT q) AND (NOT r) Therefore: I don’t study hard. NOT p (yes this is correct).