Notes on Venn Diagrams Cynthia Bolton Arizona State University - Summer 2005

Size: px
Start display at page:

Download "Notes on Venn Diagrams Cynthia Bolton Arizona State University - Summer 2005"

Transcription

1 Notes on Venn Diagrams Cynthia Bolton Arizona tate University - ummer 2005 Venn Diagrams: An Introduction Venn diagrams are used to pictorially prove the validity or invalidity of syllogisms. A Venn diagram provides a picture of the premises. If the syllogism is valid, the Venn diagram also provides a picture of the conclusion. How To Draw a Venn Diagram General Instructions (1) Draw three interlocking circles. Label the circles,, and. (Each circle represents the subject term, the predicate term, and the middle term of the syllogism.) (2) Diagram the premises. (i) Diagram universal premises first. This essentially means that we will shade before we put an X anywhere. Universal premises begin with the word All or the word No. If both premises are universal, it does not matter which premise we diagram first. And if both premises are particular, both begin with the word some, it does not matter which premises we diagram first. We shade regions we know to be empty. If we have a premise All y are z (where y could be,, or and z could be,, or ), then we will shade the y circle that is outside the z circle. Whatever is left of the y circle will be entirely contained in the z circle. If we have a premise No y are z, then we will shade the region where the y and z circles intersect. There is nothing in that region. (ii) We put an X on a line if the premises do not indicate which side of the line the X falls. We put an X in regions where we know an object to exist. If we have a premise ome y are z, then there is an X where the y and z circles intersect. If we have a premise ome y are not z, then there is an x in the region of the y circle that is outside of the z circle. ince we have three interlocking circles, sometimes the arc of third circle will appear in the region where we are placing an X. If this occurs, we place the X on this

2 line. (3) Read the conclusion. DO NOT DIAGRA THE CONCLUION. If the diagram of the premises give a diagram of the conclusion, then the argument is valid. If the diagram of the premises do not give a diagram of the conclusion, then the argument is not valid.

3 Example 1: rovide a Venn diagram for the following syllogism: All are No are No are tep 1: Draw the three interlocking circles. Label them,, and. tep 2: Diagram one premise. ince both premises are universal, it does not matter which premise we diagram first. We will diagram the premise All are first. We shade everything in the circle that is outside of the circle. Remember, we shade regions we know to be empty. The only part of the circle that remains is also in the circle. tep 3: Diagram the other premise. We will now diagram the statement No are. (For pedagogical reasons, we will pretend that we have yet to diagram All are this way, we can see exactly what the diagram looks like for No are )

4 Again, we are shading regions we know to be empty. The statement No are tells us that nothing can be both an and an. This means that the region between the and the, the and intersection, is empty. Thus, we shade in this region. tep 4: We look at the diagram of both premises. tep 5: We now read the conclusion. The conclusion for this argument is this: No are. This means that nothing can be both an and a. There is nothing in the region where the and intersect. o, the and intersection should be completely shaded in. When we examine our diagram, we see that this is the case. o, we know that this syllogism is valid.

5 Example 2 rovide the Venn diagram for the following argument: ome are ome are not All are tep 1: Draw three interlocking circles. Label them,, and. tep 2: ince both premises are particular, it does not matter which we diagram first. We will start with the first premise: ome are. The statement ome are tells us that there exists at least one object, which we will designate as X, that is both and. The only region where an object can be both and is where the and circles intersect. Note that in this region, there is a line that bisects the intersection in two. On one side of the line, we have a region that intersects the, and circle. On the other side of the line, we have a region that only intersects the and circles. ince we do not know which side of the line the x falls, we place it on the line. tep 3: Now we will diagram the second premise (and for the time being, we will ignore the fact

6 that we have already diagrammed the first premise.) The statement ome are not tells us that there exists an object that is an but not an. tep 4: This is the Venn diagram for our two premises: tep 5: Now we will read the conclusion. The conclusion for this syllogism said All are. If this argument is valid, then the circle, that is outside of the circle, should be completely shaded. But it is not. o, this syllogism is invalid. The premises do not provide a diagram of the conclusion.

7 Example 3: rovide a Venn diagram for the following syllogism: No are ome are not ome are tep 1: Draw the three interlocking circles. Label them,,. tep 2: Diagram the premises. (i) We have a universal premise and a particular premise. This means that we will diagram the universal premise, No are first.

8 (ii) Now, we will diagram the second premise. In this case, it was important to diagram the universal premise first. If we had not, then we would have placed the X on a line. By shading the and intersection, we know that there is nothing in this region. This means that no X will fall in that region; so we put the X on the other side of the line, in an open region. The X falls in the circle alone. tep 3: Now, we read the conclusion. The conclusion says ome are. If the syllogism is valid, then we will have an X in the region where the and circles intersect; but we have no X in this region. Thus, the syllogism is invalid.

9 Example 4 rovide a Venn diagram for the following syllogism: All are ome are not ome are not At this point, we presumably know that we need to first draw three interlocking circles. o, let us proceed directly to diagramming the premises. tep 1: Diagram the universal premise first. This means that we will diagram the first premise: All are. tep 2: Diagram the particular premise: ome are not. In this case, it did not matter that we diagrammed the universal premise first. We still had to place the X on the line. We know that the X is in the circle outside of the circle; but we do not know whether this X also falls in the circle as well. tep 3: Read the conclusion. The conclusion is this: ome are not. If the syllogism is valid, then we will have an X in the circle outside of the circle. The problem is that the premises only allow us to infer one X; and this X is not even in the circle.

10 Example 5: rovide a Venn diagram for the following syllogism: ome are ome are not ome are Diagramming the remises: tep 1: ince both premises are particular, it does not matter which we start with. We will tart, for the sake of convenience, with the first premise: ome are The premise, ome are, tells that there exists at least one thing that is both and. o, we put the X in the and intersection. But there is a line going through this region (it is part of the arc of the circle). We put the X on this line because we do not know whether the X is also an as well as an and or whether it is just an and. tep 2: We will now diagram the premise: ome are not. The premise ome are not tells us that there is an X in the circle that is not in the circle. o, the X goes in the crescent outside of the circle. There is a line inside this region (it is part of the arc of the circle). We put the X on the line because we do not know whether the X is an alone or whether it can also be a.

11 tep 3: We now read the conclusion: ome are. If the syllogism is valid, then we are guaranteed that there is an X in the region where the and circles intersect. We are not guaranteed that there is such an X. It is possible that one of our X s (or both) could fall in the region where the and circles intersect. But it is also possible that one X would fall into the circle outside of the circle and the other X could fall in the region where just the and circles intersect. Thus, this syllogism is invalid.

12 Example 6 rovide a Venn diagram for the following syllogism: ome are All are. ome are tep 1: We diagram the universal premise first. This means we start out with the second premise: All are. To diagram All are, we shade all of the circle that is outside of the circle. Whatever is left of the circle will also be in the circle. tep 2: We diagram the second premise: ome are. The premise, ome are tells us that there is an X where the and circles intersect. There is a line in this region (it is part of the arc of the circle). The region on one side of this line is shaded (there is nothing in this region it is empty) while the region on the other side is open. We put the X in the open region. tep 3: The conclusion says this: ome are. If there is an X where the and circles intersect, then this syllogism is valid. There is an X in this region. o, the syllogism is valid.

13 Example 7 lease provide a Venn diagram for the following syllogism: ome are not No are. No are tep 1: We will diagram the universal premise first. This means we will diagram No are. No are tells us that the intersection between the and circles is empty. o, we shade this region. tep 2: We now diagram the premise ome are not The premise ome are not tells us that there is an object in the circle that is not in the circle. There is a line (part of the arc of the circle) in this region of the circle. ince we do not know whether our object falls in the region alone or in the region as well, we place the X on the line. tep 3: We read our conclusion. Our conclusion is No are. If our syllogism is valid, then then the region where the and circles intersect will be shaded in. Only half of this region is shaded in; so, we know our syllogism is invalid.

14 Example 8 lease provide a Venn diagram for the following syllogism: No are ome are not ome are tep 1: We diagram the universal premise, No are first. The premise No are tells us that nothing can be both an and a. This means that the region where the and circles intersect is empty. tep 2: We now diagram the particular premise, ome are not. The premise ome are not tells us that there is an object that is an but not an ; so we place the X in the region of the circle that excludes the circle. ince this region has a line going through it (this line is part of the arc of the circle), we place the X on the line. The X may be an alone or it may be both an and. tep 3: We read the conclusion: ome are. ince our X may fall on the side of the line where it is an alone, and not a, our conclusion does not follow from our premises. Thus, the syllogism is invalid.

15 Example 9 lease provide a Venn diagram for the following syllogism: All are All are All are tep 1: ince both premises are universal, it does not matter which we diagram first. For the sake of convenience, we shall diagram All are first. Whatever is left of the circle should be included in the circle. We shade the rest. tep 2: We will now diagram the premise All are. Whatever is left of the circle should be included in the circle. We shade the rest. tep 3: We read the conclusion: All are. If this syllogism is valid, then whatever is left of the circle should be fully contained in the circle. But part of the circle that is outside of the circle is unshaded. Thus, this argument is invalid.

16 Example 10 lease provide a Venn diagram for the following syllogism: ome are not All are. No are tep 1: We will diagram the universal premise, All are first. Whatever is left of the circle should be contained in the circle. We shade the rest. tep 2: We diagram the particular premise ome are not. This premise tells us that there is an X that is in the circle that is not in the circle. In this region of the circle, there is a line (it is part of the arc of the circle). We put the X on the line because we are not sure whether the X is also an or whether it is an alone. tep 3: We read the conclusion: No are. ince the intersection between the and circles is not completely shaded in, this syllogism is invalid.

SET THEORY. Disproving an Alleged Set Property. Disproving an Alleged Set. Example 1 Solution CHAPTER 6

SET THEORY. Disproving an Alleged Set Property. Disproving an Alleged Set. Example 1 Solution CHAPTER 6 CHAPTER 6 SET THEORY SECTION 6.3 Disproofs, Algebraic Proofs, and Boolean Algebras Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Disproving an Alleged

More information

A constant is a value that is always the same. (This means that the value is constant / unchanging). o

A constant is a value that is always the same. (This means that the value is constant / unchanging). o Math 8 Unit 7 Algebra and Graphing Relations Solving Equations Using Models We will be using algebra tiles to help us solve equations. We will practice showing work appropriately symbolically and pictorially

More information

Name: Block: Unit 2 Inequalities

Name: Block: Unit 2 Inequalities Name: Block: Unit 2 Inequalities 2.1 Graphing and Writing Inequalities 2.2 Solving by Adding and Subtracting 2.3 Solving by Multiplying and Dividing 2.4 Solving Two Step and Multi Step Inequalities 2.5

More information

Topic 5! Venn Diagrams

Topic 5! Venn Diagrams LOGI Norva Y S Lo Produced by Norva Y S Lo Topic Venn Diagrams Summary In this topic, we will learn () Three kinds of statements that classify things into categories: (a) Universal statements (b) Existential

More information

Solving and Graphing Inequalities

Solving and Graphing Inequalities Solving and Graphing Inequalities Graphing Simple Inequalities: x > 3 When finding the solution for an equation we get one answer for x. (There is only one number that satisfies the equation.) For 3x 5

More information

Chapter 1 Review of Equations and Inequalities

Chapter 1 Review of Equations and Inequalities Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve

More information

2.2 Graphs of Functions

2.2 Graphs of Functions 2.2 Graphs of Functions Introduction DEFINITION domain of f, D(f) Associated with every function is a set called the domain of the function. This set influences what the graph of the function looks like.

More information

ARCS An ARC is any unbroken part of the circumference of a circle. It is named using its ENDPOINTS.

ARCS An ARC is any unbroken part of the circumference of a circle. It is named using its ENDPOINTS. ARCS An ARC is any unbroken part of the circumference of a circle. It is named using its ENDPOINTS. A B X Z Y A MINOR arc is LESS than 1/2 way around the circle. A MAJOR arc is MORE than 1/2 way around

More information

LINEAR ALGEBRA KNOWLEDGE SURVEY

LINEAR ALGEBRA KNOWLEDGE SURVEY LINEAR ALGEBRA KNOWLEDGE SURVEY Instructions: This is a Knowledge Survey. For this assignment, I am only interested in your level of confidence about your ability to do the tasks on the following pages.

More information

Worksheet on Relations

Worksheet on Relations Worksheet on Relations Recall the properties that relations can have: Definition. Let R be a relation on the set A. R is reflexive if for all a A we have ara. R is irreflexive or antireflexive if for all

More information

For a horseshoe statement, having the matching p (left side) gives you the q (right side) by itself. It does NOT work with matching q s.

For a horseshoe statement, having the matching p (left side) gives you the q (right side) by itself. It does NOT work with matching q s. 7.1 The start of Proofs From now on the arguments we are working with are all VALID. There are 18 Rules of Inference (see the last 2 pages in Course Packet, or front of txt book). Each of these rules is

More information

Logic, Sets, and Proofs

Logic, Sets, and Proofs Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.

More information

Mathematics 5 Worksheet 14 The Horizon

Mathematics 5 Worksheet 14 The Horizon Mathematics 5 Worksheet 14 The Horizon For the problems below, we will assume that the Earth is a sphere whose radius is 4,000 miles. Note that there are 5,280 feet in one mile. Problem 1. If a line intersects

More information

Symbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true.

Symbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. Symbolic Logic 3 Testing deductive validity with truth tables For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. So, given that truth tables

More information

ABSOLUTE VALUE EQUATIONS AND INEQUALITIES

ABSOLUTE VALUE EQUATIONS AND INEQUALITIES ABSOLUTE VALUE EQUATIONS AND INEQUALITIES The absolute value of a number is the magnitude of the number without regard to the sign of the number. Absolute value is indicated by vertical lines and is always

More information

Math 2 Variable Manipulation Part 7 Absolute Value & Inequalities

Math 2 Variable Manipulation Part 7 Absolute Value & Inequalities Math 2 Variable Manipulation Part 7 Absolute Value & Inequalities 1 MATH 1 REVIEW SOLVING AN ABSOLUTE VALUE EQUATION Absolute value is a measure of distance; how far a number is from zero. In practice,

More information

Our goal for today. 1. To go over the pictorial approach to Lenz s law.

Our goal for today. 1. To go over the pictorial approach to Lenz s law. Our goal for today 1. To go over the pictorial approach to Lenz s law. Lenz s Law Exposing a coil or loop to a changing magnetic flux will generate a current if the circuit is complete. The direction of

More information

(Refer Slide Time: 02:20)

(Refer Slide Time: 02:20) Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 5 Logical Inference In the last class we saw about

More information

Significance Testing with Incompletely Randomised Cases Cannot Possibly Work

Significance Testing with Incompletely Randomised Cases Cannot Possibly Work Human Journals Short Communication December 2018 Vol.:11, Issue:2 All rights are reserved by Stephen Gorard FRSA FAcSS Significance Testing with Incompletely Randomised Cases Cannot Possibly Work Keywords:

More information

Lecture 15: Validity and Predicate Logic

Lecture 15: Validity and Predicate Logic Lecture 15: Validity and Predicate Logic 1 Goals Today Learn the definition of valid and invalid arguments in terms of the semantics of predicate logic, and look at several examples. Learn how to get equivalents

More information

Slope Fields: Graphing Solutions Without the Solutions

Slope Fields: Graphing Solutions Without the Solutions 8 Slope Fields: Graphing Solutions Without the Solutions Up to now, our efforts have been directed mainly towards finding formulas or equations describing solutions to given differential equations. Then,

More information

DR.RUPNATHJI( DR.RUPAK NATH )

DR.RUPNATHJI( DR.RUPAK NATH ) Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology

More information

Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras. Lecture - 13 Conditional Convergence

Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras. Lecture - 13 Conditional Convergence Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras Lecture - 13 Conditional Convergence Now, there are a few things that are remaining in the discussion

More information

Pure Math 30: Explained! 81

Pure Math 30: Explained!   81 4 www.puremath30.com 81 Part I: General Form General Form of a Conic: Ax + Cy + Dx + Ey + F = 0 A & C are useful in finding out which conic is produced: A = C Circle AC > 0 Ellipse A or C = 0 Parabola

More information

Truth Tables for Arguments

Truth Tables for Arguments ruth ables for Arguments 1. Comparing Statements: We ve looked at SINGLE propositions and assessed the truth values listed under their main operators to determine whether they were tautologous, self-contradictory,

More information

Notes on induction proofs and recursive definitions

Notes on induction proofs and recursive definitions Notes on induction proofs and recursive definitions James Aspnes December 13, 2010 1 Simple induction Most of the proof techniques we ve talked about so far are only really useful for proving a property

More information

Fundamentals of Semiconductor Devices Prof. Digbijoy N. Nath Centre for Nano Science and Engineering Indian Institute of Science, Bangalore

Fundamentals of Semiconductor Devices Prof. Digbijoy N. Nath Centre for Nano Science and Engineering Indian Institute of Science, Bangalore Fundamentals of Semiconductor Devices Prof. Digbijoy N. Nath Centre for Nano Science and Engineering Indian Institute of Science, Bangalore Lecture - 05 Density of states Welcome back. So, today is the

More information

Energy Efficiency, Acoustics & Daylighting in building Prof. B. Bhattacharjee Department of Civil Engineering Indian Institute of Technology, Delhi

Energy Efficiency, Acoustics & Daylighting in building Prof. B. Bhattacharjee Department of Civil Engineering Indian Institute of Technology, Delhi Energy Efficiency, Acoustics & Daylighting in building Prof. B. Bhattacharjee Department of Civil Engineering Indian Institute of Technology, Delhi Lecture - 05 Introduction & Environmental Factors (contd.)

More information

Announcements For The Logic of Atomic Sentences Counterexamples & Formal Proofs. Logical Consequence & Validity The Definitions.

Announcements For The Logic of Atomic Sentences Counterexamples & Formal Proofs. Logical Consequence & Validity The Definitions. Announcements For 0906 The Logic of Atomic Sentences & William Starr 1 Complete survey for Logic section times (on Bb) Before Wednesday at midnight!! 2 HW1 & HW2 are due next Tuesday But you can start

More information

Activity Sheet 1: Constructions

Activity Sheet 1: Constructions Name ctivity Sheet 1: Constructions Date 1. Constructing a line segment congruent to a given line segment: Given a line segment B, B a. Use a straightedge to draw a line, choose a point on the line, and

More information

3 Rules of Inferential Logic

3 Rules of Inferential Logic 24 FUNDAMENTALS OF MATHEMATICAL LOGIC 3 Rules of Inferential Logic The main concern of logic is how the truth of some roositions is connected with the truth of another. Thus, we will usually consider a

More information

Statistics 100A Homework 1 Solutions

Statistics 100A Homework 1 Solutions Problem Statistics 00A Homework Solutions Ryan Rosario Suppose we flip a fair coin 4 times independently. () What is the sample space? By definition, the sample space, denoted as Ω, is the set of all possible

More information

Name. Topic. K: What I Know. W: What I Want to Know. L: What I Learned. S: What I Still Want to Know

Name. Topic. K: What I Know. W: What I Want to Know. L: What I Learned. S: What I Still Want to Know Instructions: Write the Solar System topic you are studying on the line provided. In the first section, write what you already know about the topic. In the second section, write what you would like to

More information

Arguments in Ordinary Language Chapter 5: Translating Ordinary Sentences into Logical Statements Chapter 6: Enthymemes... 33

Arguments in Ordinary Language Chapter 5: Translating Ordinary Sentences into Logical Statements Chapter 6: Enthymemes... 33 Table of Contents A Note to the Teacher... v Further tudy of imple yllogisms Chapter 1: Figure in yllogisms... 1 Chapter 2: ood in yllogisms... 5 Chapter 3: Reducing yllogisms to the First Figure... 11

More information

Lecture Number - 01 Metals, Semiconductors and Insulators

Lecture Number - 01 Metals, Semiconductors and Insulators Electronic Materials, Devices and Fabrication Dr. S. Parasuraman Department of Metallurgical and Materials Engineering Indian Institute of Technology, Madras Lecture Number - 01 Metals, Semiconductors

More information

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1) Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +

More information

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

More information

(Refer Slide Time: 0:21)

(Refer Slide Time: 0:21) Theory of Computation Prof. Somenath Biswas Department of Computer Science and Engineering Indian Institute of Technology Kanpur Lecture 7 A generalisation of pumping lemma, Non-deterministic finite automata

More information

Law of Trichotomy and Boundary Equations

Law of Trichotomy and Boundary Equations Law of Trichotomy and Boundary Equations Law of Trichotomy: For any two real numbers a and b, exactly one of the following is true. i. a < b ii. a = b iii. a > b The Law of Trichotomy is a formal statement

More information

P Q (P Q) (P Q) (P Q) (P % Q) T T T T T T T F F T F F F T F T T T F F F F T T

P Q (P Q) (P Q) (P Q) (P % Q) T T T T T T T F F T F F F T F T T T F F F F T T Logic and Reasoning Final Exam Practice Fall 2017 Name Section Number The final examination is worth 100 points. 1. (10 points) What is an argument? Explain what is meant when one says that logic is the

More information

Introductory Quantum Chemistry Prof. K. L. Sebastian Department of Inorganic and Physical Chemistry Indian Institute of Science, Bangalore

Introductory Quantum Chemistry Prof. K. L. Sebastian Department of Inorganic and Physical Chemistry Indian Institute of Science, Bangalore Introductory Quantum Chemistry Prof. K. L. Sebastian Department of Inorganic and Physical Chemistry Indian Institute of Science, Bangalore Lecture - 4 Postulates Part 1 (Refer Slide Time: 00:59) So, I

More information

Statistics 251: Statistical Methods

Statistics 251: Statistical Methods Statistics 251: Statistical Methods Probability Module 3 2018 file:///volumes/users/r/renaes/documents/classes/lectures/251301/renae/markdown/master%20versions/module3.html#1 1/33 Terminology probability:

More information

Engineering Mechanics Prof. Siva Kumar Department of Civil Engineering Indian Institute of Technology, Madras Statics - 5.2

Engineering Mechanics Prof. Siva Kumar Department of Civil Engineering Indian Institute of Technology, Madras Statics - 5.2 Engineering Mechanics Prof. Siva Kumar Department of Civil Engineering Indian Institute of Technology, Madras Statics - 5.2 Now what we want to do is given a surface which is let s assume the surface is

More information

Chapter 2. Reasoning and Proof

Chapter 2. Reasoning and Proof Chapter 2 Reasoning and Proof 2.1 Inductive Reasoning 2.2 Analyze Conditional Statements 2.3 Apply Deductive Reasoning 2.4 Use Postulates and Diagrams 2.5 Algebraic Proofs 2.6 Segments and Angles Proofs

More information

1-1. Expressions and Formulas. Lesson 1-1. What You ll Learn. Active Vocabulary

1-1. Expressions and Formulas. Lesson 1-1. What You ll Learn. Active Vocabulary 1-1 Expressions and Formulas What You ll Learn Skim the lesson. Write two things you already know about expressions and formulas. 1. Active Vocabulary 2. Review Vocabulary Identify the four grouping symbols

More information

Int. Geometry Unit 1 Test Review 1

Int. Geometry Unit 1 Test Review 1 Int. Geometry Unit 1 Test Review 1 irections 1-3: Refer to the given diagram to fill in the blanks: 1. m O + m O = (give two names) O 2. If m O = 60, then m O =, m O = and m O = 3. If O is the midpoint

More information

MA 1128: Lecture 08 03/02/2018. Linear Equations from Graphs And Linear Inequalities

MA 1128: Lecture 08 03/02/2018. Linear Equations from Graphs And Linear Inequalities MA 1128: Lecture 08 03/02/2018 Linear Equations from Graphs And Linear Inequalities Linear Equations from Graphs Given a line, we would like to be able to come up with an equation for it. I ll go over

More information

Computation and Logic Definitions

Computation and Logic Definitions Computation and Logic Definitions True and False Also called Boolean truth values, True and False represent the two values or states an atom can assume. We can use any two distinct objects to represent

More information

Sample: Do Not Reproduce LF6 STUDENT PAGES LINEAR FUNCTIONS STUDENT PACKET 6: SYSTEMS OF LINEAR EQUATIONS. Name Period Date

Sample: Do Not Reproduce LF6 STUDENT PAGES LINEAR FUNCTIONS STUDENT PACKET 6: SYSTEMS OF LINEAR EQUATIONS. Name Period Date Name Period Date LINEAR FUNCTIONS STUDENT PACKET 6: SYSTEMS OF LINEAR EQUATIONS LF6.1 LF6.2 LF6.3 Introduction to Systems of Linear Equations Understand the definition of a system of linear equations Understand

More information

A LEVER PLAYING FIELD 2: NEVER SAY LEVER

A LEVER PLAYING FIELD 2: NEVER SAY LEVER A LEVER PLAYING FIELD 2: NEVER SAY LEVER MATH CIRCLE (BEGINNERS) 05/27/2012 The Law of the Lever, first proved by the Greek mathematician Archimedes, describes the situation in which a scale/balance/lever

More information

Natural deduction for truth-functional logic

Natural deduction for truth-functional logic Natural deduction for truth-functional logic Phil 160 - Boston University Why natural deduction? After all, we just found this nice method of truth-tables, which can be used to determine the validity or

More information

2. FUNCTIONS AND ALGEBRA

2. FUNCTIONS AND ALGEBRA 2. FUNCTIONS AND ALGEBRA You might think of this chapter as an icebreaker. Functions are the primary participants in the game of calculus, so before we play the game we ought to get to know a few functions.

More information

Int. Geometry Units 1-6 Review 1

Int. Geometry Units 1-6 Review 1 Int. Geometry Units 1-6 Review 1 Things to note about this review and the Unit 1-6 Test: 1. This review packet covers major ideas of the first six units, but it does not show examples of all types of problems..

More information

MPM1D - Practice Mastery Test #6

MPM1D - Practice Mastery Test #6 Name: Class: Date: ID: A MPMD - Practice Mastery Test #6 Multiple Choice Identify the choice that best completes the statement or answers the question.. Calculate 0% of 00. a. b. 0 c. 000 d. 00. Seyran's

More information

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader

More information

DISCRETE MATH: LECTURE Chapter 3.3 Statements with Multiple Quantifiers If you want to establish the truth of a statement of the form

DISCRETE MATH: LECTURE Chapter 3.3 Statements with Multiple Quantifiers If you want to establish the truth of a statement of the form DISCRETE MATH: LECTURE 5 DR. DANIEL FREEMAN 1. Chapter 3.3 Statements with Multiple Quantifiers If you want to establish the truth of a statement of the form x D, y E such that P (x, y) your challenge

More information

(Refer Slide Time: 2:11)

(Refer Slide Time: 2:11) Control Engineering Prof. Madan Gopal Department of Electrical Engineering Indian institute of Technology, Delhi Lecture - 40 Feedback System Performance based on the Frequency Response (Contd.) The summary

More information

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC)

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC) Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras Lecture - 15 Propositional Calculus (PC) So, now if you look back, you can see that there are three

More information

Introduction to Metalogic

Introduction to Metalogic Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)

More information

Lecture 30 Descartes on Matter and Motion

Lecture 30 Descartes on Matter and Motion Lecture 30 Descartes on Matter and Motion Patrick Maher Scientific Thought I Fall 2009 Introduction This lecture concerns Part II of Descartes s Principles of Philosophy. It deals with matter and motion.

More information

PSU MATH RELAYS LOGIC & SET THEORY 2017

PSU MATH RELAYS LOGIC & SET THEORY 2017 PSU MATH RELAYS LOGIC & SET THEORY 2017 MULTIPLE CHOICE. There are 40 questions. Select the letter of the most appropriate answer and SHADE in the corresponding region of the answer sheet. If the correct

More information

Proof Worksheet 2, Math 187 Fall 2017 (with solutions)

Proof Worksheet 2, Math 187 Fall 2017 (with solutions) Proof Worksheet 2, Math 187 Fall 2017 (with solutions) Dr. Holmes October 17, 2017 The instructions are the same as on the first worksheet, except you can use all the rules in the strategies handout. We

More information

Formal Logic. Critical Thinking

Formal Logic. Critical Thinking ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,

More information

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC 1 CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC Here, you ll learn: what it means for a logic system to be finished some strategies for constructing proofs Congratulations! Our system of

More information

Phases of the Moon. Phenomenon: The appearance of the moon changes every night. 1. What questions do you have about this phenomenon?

Phases of the Moon. Phenomenon: The appearance of the moon changes every night. 1. What questions do you have about this phenomenon? THE EARTH-SUN-MOON SYSTEM Phases of the Moon OBSERVING PHENOMENA Phenomenon: The appearance of the moon changes every night. 1. What questions do you have about this phenomenon? 2. Sketch a simple model

More information

Lecture 2e Row Echelon Form (pages 73-74)

Lecture 2e Row Echelon Form (pages 73-74) Lecture 2e Row Echelon Form (pages 73-74) At the end of Lecture 2a I said that we would develop an algorithm for solving a system of linear equations, and now that we have our matrix notation, we can proceed

More information

Ordinary Differential Equations Prof. A. K. Nandakumaran Department of Mathematics Indian Institute of Science Bangalore

Ordinary Differential Equations Prof. A. K. Nandakumaran Department of Mathematics Indian Institute of Science Bangalore Ordinary Differential Equations Prof. A. K. Nandakumaran Department of Mathematics Indian Institute of Science Bangalore Module - 3 Lecture - 10 First Order Linear Equations (Refer Slide Time: 00:33) Welcome

More information

Midterm 1 Review. Distance = (x 1 x 0 ) 2 + (y 1 y 0 ) 2.

Midterm 1 Review. Distance = (x 1 x 0 ) 2 + (y 1 y 0 ) 2. Midterm 1 Review Comments about the midterm The midterm will consist of five questions and will test on material from the first seven lectures the material given below. No calculus either single variable

More information

Math 144 Activity #7 Trigonometric Identities

Math 144 Activity #7 Trigonometric Identities 144 p 1 Math 144 Activity #7 Trigonometric Identities What is a trigonometric identity? Trigonometric identities are equalities that involve trigonometric functions that are true for every single value

More information

Exponents. Reteach. Write each expression in exponential form (0.4)

Exponents. Reteach. Write each expression in exponential form (0.4) 9-1 Exponents You can write a number in exponential form to show repeated multiplication. A number written in exponential form has a base and an exponent. The exponent tells you how many times a number,

More information

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION The Peano axioms The following are the axioms for the natural numbers N. You might think of N as the set of integers {0, 1, 2,...}, but it turns

More information

CSE 211. Pushdown Automata. CSE 211 (Theory of Computation) Atif Hasan Rahman

CSE 211. Pushdown Automata. CSE 211 (Theory of Computation) Atif Hasan Rahman CSE 211 Pushdown Automata CSE 211 (Theory of Computation) Atif Hasan Rahman Lecturer Department of Computer Science and Engineering Bangladesh University of Engineering & Technology Adapted from slides

More information

Russell s logicism. Jeff Speaks. September 26, 2007

Russell s logicism. Jeff Speaks. September 26, 2007 Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................

More information

Proving languages to be nonregular

Proving languages to be nonregular Proving languages to be nonregular We already know that there exist languages A Σ that are nonregular, for any choice of an alphabet Σ. This is because there are uncountably many languages in total and

More information

Circles and Volume. Circle Theorems. Essential Questions. Module Minute. Key Words. What To Expect. Analytical Geometry Circles and Volume

Circles and Volume. Circle Theorems. Essential Questions. Module Minute. Key Words. What To Expect. Analytical Geometry Circles and Volume Analytical Geometry Circles and Volume Circles and Volume There is something so special about a circle. It is a very efficient shape. There is no beginning, no end. Every point on the edge is the same

More information

Page 52. Lecture 3: Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 2008/10/03 Date Given: 2008/10/03

Page 52. Lecture 3: Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 2008/10/03 Date Given: 2008/10/03 Page 5 Lecture : Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 008/10/0 Date Given: 008/10/0 Inner Product Spaces: Definitions Section. Mathematical Preliminaries: Inner

More information

Section J Venn diagrams

Section J Venn diagrams Section J Venn diagrams A Venn diagram is a wa of using regions to represent sets. If the overlap it means that there are some items in both sets. Worked eample J. Draw a Venn diagram representing the

More information

Math Final Exam Solutions - Spring Jaimos F Skriletz 1

Math Final Exam Solutions - Spring Jaimos F Skriletz 1 Math 124 - Final Exam Solutions - Spring 2009 - Jaimos F Skriletz 1 1. Consider the universal set U = Z 10 = {1,2,3,4,5,6,7,8,9,10} and the following subsets. A = {2,4,6,8} B = {2,3,5,7} C = {2,3,4,8,9,10}

More information

A Series Transformations

A Series Transformations .3 Constructing Rotations We re halfway through the transformations and our next one, the rotation, gives a congruent image just like the reflection did. Just remember that a series of transformations

More information

Solutions to Old Final Exams (For Fall 2007)

Solutions to Old Final Exams (For Fall 2007) Solutions to Old Final Exams (For Fall 2007) CS 381 (Fall 2002, Fall 2004, Fall 2005, Fall 2006) Yogi Sharma Disclaimer: I, Yogi Sharma, do not claim these solution to be complete, or even to be absolutely

More information

MATH CIRCLE HIGH SCHOOL 2 GROUP, WINTER 2018 WEEK 3: QUANDLES AND KNOT INVARIANTS

MATH CIRCLE HIGH SCHOOL 2 GROUP, WINTER 2018 WEEK 3: QUANDLES AND KNOT INVARIANTS MATH CIRCLE HIGH SCHOOL 2 GROUP, WINTER 2018 WEEK 3: QUANDLES AND KNOT INVARIANTS DON LAACKMAN 1. Quandles Definition. A Quandle is a set Q with two binary operations, and (which I will pronounce quandle

More information

MITOCW MITRES_18-007_Part5_lec3_300k.mp4

MITOCW MITRES_18-007_Part5_lec3_300k.mp4 MITOCW MITRES_18-007_Part5_lec3_300k.mp4 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high-quality educational resources

More information

A diagrammatic calculus of syllogisms

A diagrammatic calculus of syllogisms A diagrammatic calculus of syllogisms Ruggero Pagnan DII, University of Genova ruggero.pagnan@disi.unige.it Categorical Propositions A P : All is P (universal affirmative) E P : No is P (universal negative)

More information

MATH 280 Multivariate Calculus Fall Integrating a vector field over a surface

MATH 280 Multivariate Calculus Fall Integrating a vector field over a surface MATH 280 Multivariate Calculus Fall 2011 Definition Integrating a vector field over a surface We are given a vector field F in space and an oriented surface in the domain of F as shown in the figure below

More information

2.7 Implicit Differentiation and Related Rates Math 125

2.7 Implicit Differentiation and Related Rates Math 125 .7 IMPLICIT DIFFERENTIATION AND RELATED RATES Implicit and Explicit Functions Suppose your boss says, I have had it with your incompetence. You ve screwed up everything we ve ever given you to do! The

More information

Guide to Proofs on Sets

Guide to Proofs on Sets CS103 Winter 2019 Guide to Proofs on Sets Cynthia Lee Keith Schwarz I would argue that if you have a single guiding principle for how to mathematically reason about sets, it would be this one: All sets

More information

2) There should be uncertainty as to which outcome will occur before the procedure takes place.

2) There should be uncertainty as to which outcome will occur before the procedure takes place. robability Numbers For many statisticians the concept of the probability that an event occurs is ultimately rooted in the interpretation of an event as an outcome of an experiment, others would interpret

More information

SYLLOGISM CHAPTER 13.1 INTRODUCTION

SYLLOGISM CHAPTER 13.1 INTRODUCTION CHAPTER 13 SYLLOGISM 13.1 INTRODUCTION Syllogism is a Greek word that means inference or deduction. As such inferences are based on logic, then these inferences are called logical deduction. These deductions

More information

Magnetic flux. where θ is the angle between the magnetic field and the area vector. The unit of magnetic flux is the weber. 1 Wb = 1 T m 2.

Magnetic flux. where θ is the angle between the magnetic field and the area vector. The unit of magnetic flux is the weber. 1 Wb = 1 T m 2. Magnetic flux Magnetic flux is a measure of the number of magnetic field lines passing through something, such as a loop. If we define the area of the loop as a vector, with its direction perpendicular

More information

Chapter 4E - Combinations of Functions

Chapter 4E - Combinations of Functions Fry Texas A&M University!! Math 150!! Chapter 4E!! Fall 2015! 121 Chapter 4E - Combinations of Functions 1. Let f (x) = 3 x and g(x) = 3+ x a) What is the domain of f (x)? b) What is the domain of g(x)?

More information

Formal (natural) deduction in propositional logic

Formal (natural) deduction in propositional logic Formal (natural) deduction in propositional logic Lila Kari University of Waterloo Formal (natural) deduction in propositional logic CS245, Logic and Computation 1 / 67 I know what you re thinking about,

More information

(Refer Slide Time: 02:11 to 04:19)

(Refer Slide Time: 02:11 to 04:19) Digital Signal Processing Prof. S. C. Dutta Roy Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 24 Analog Chebyshev LPF Design This is the 24 th lecture on DSP and

More information

Discrete Mathematical Structures: Theory and Applications

Discrete Mathematical Structures: Theory and Applications Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

More information

MATH 120. Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS. Things to particularly study

MATH 120. Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS. Things to particularly study MATH 120 Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS Things to particularly study 1) Critical Thinking Basic strategies Be able to solve using the basic strategies, such as finding patterns, questioning,

More information

6. THE OFFICIAL INFERENCE RULES

6. THE OFFICIAL INFERENCE RULES 154 Hardegree, Symbolic Logic 6. THE OFFICIAL INFERENCE RULES So far, we have discussed only four inference rules: modus ponens, modus tollens, and the two forms of modus tollendo ponens. In the present

More information

Numerical Methods and Computation Prof. S.R.K. Iyengar Department of Mathematics Indian Institute of Technology Delhi

Numerical Methods and Computation Prof. S.R.K. Iyengar Department of Mathematics Indian Institute of Technology Delhi Numerical Methods and Computation Prof. S.R.K. Iyengar Department of Mathematics Indian Institute of Technology Delhi Lecture No - 27 Interpolation and Approximation (Continued.) In our last lecture we

More information

North Carolina State University

North Carolina State University North Carolina State University MA 141 Course Text Calculus I by Brenda Burns-Williams and Elizabeth Dempster August 7, 2014 Section1 Functions Introduction In this section, we will define the mathematical

More information

Foundations of

Foundations of 91.304 Foundations of (Theoretical) Computer Science Chapter 1 Lecture Notes (Section 1.3: Regular Expressions) David Martin dm@cs.uml.edu d with some modifications by Prof. Karen Daniels, Spring 2012

More information

SYLLOGISM CHAPTER 13.1 INTRODUCTION

SYLLOGISM CHAPTER 13.1 INTRODUCTION CHAPTER 13 SYLLOGISM 13.1 INTRODUCTION Syllogism is a Greek word that means inference or deduction. As such inferences are based on logic, then these inferences are called logical deduction. These deductions

More information

Algebra & Trig Review

Algebra & Trig Review Algebra & Trig Review 1 Algebra & Trig Review This review was originally written for my Calculus I class, but it should be accessible to anyone needing a review in some basic algebra and trig topics. The

More information