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

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

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

Name: Block: Unit 2 Inequalities

Topic 5! Venn Diagrams

Solving and Graphing Inequalities

Chapter 1 Review of Equations and Inequalities

2.2 Graphs of Functions

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

LINEAR ALGEBRA KNOWLEDGE SURVEY

Worksheet on Relations

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.

Logic, Sets, and Proofs

Mathematics 5 Worksheet 14 The Horizon

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

ABSOLUTE VALUE EQUATIONS AND INEQUALITIES

Math 2 Variable Manipulation Part 7 Absolute Value & Inequalities

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

(Refer Slide Time: 02:20)

Significance Testing with Incompletely Randomised Cases Cannot Possibly Work

Lecture 15: Validity and Predicate Logic

Slope Fields: Graphing Solutions Without the Solutions

DR.RUPNATHJI( DR.RUPAK NATH )

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

Pure Math 30: Explained! 81

Truth Tables for Arguments

Notes on induction proofs and recursive definitions

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

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

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

Activity Sheet 1: Constructions

3 Rules of Inferential Logic

Statistics 100A Homework 1 Solutions

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

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

Lecture Number - 01 Metals, Semiconductors and Insulators

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

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

(Refer Slide Time: 0:21)

Law of Trichotomy and Boundary Equations

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

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

Statistics 251: Statistical Methods

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

Chapter 2. Reasoning and Proof

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

Int. Geometry Unit 1 Test Review 1

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

Computation and Logic Definitions

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

A LEVER PLAYING FIELD 2: NEVER SAY LEVER

Natural deduction for truth-functional logic

2. FUNCTIONS AND ALGEBRA

Int. Geometry Units 1-6 Review 1

MPM1D - Practice Mastery Test #6

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS

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

(Refer Slide Time: 2:11)

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

Introduction to Metalogic

Lecture 30 Descartes on Matter and Motion

PSU MATH RELAYS LOGIC & SET THEORY 2017

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

Formal Logic. Critical Thinking

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

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

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

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

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

Math 144 Activity #7 Trigonometric Identities

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

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

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

Russell s logicism. Jeff Speaks. September 26, 2007

Proving languages to be nonregular

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

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

Section J Venn diagrams

Math Final Exam Solutions - Spring Jaimos F Skriletz 1

A Series Transformations

Solutions to Old Final Exams (For Fall 2007)

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

MITOCW MITRES_18-007_Part5_lec3_300k.mp4

A diagrammatic calculus of syllogisms

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

2.7 Implicit Differentiation and Related Rates Math 125

Guide to Proofs on Sets

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

SYLLOGISM CHAPTER 13.1 INTRODUCTION

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.

Chapter 4E - Combinations of Functions

Formal (natural) deduction in propositional logic

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

Discrete Mathematical Structures: Theory and Applications

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

6. THE OFFICIAL INFERENCE RULES

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

North Carolina State University

Foundations of

SYLLOGISM CHAPTER 13.1 INTRODUCTION

Algebra & Trig Review

Transcription:

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

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.

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 )

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.

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

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.

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.

(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.

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.

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.

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.

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.

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.

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.

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.

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.