4 Categorical Propositions

Slides:



Advertisements
Similar presentations
6.3/4 Rhombuses, Rectangles, and Squares. Three Definitions 1.A rhombus is a parallelogram with four congruent sides. 1.A rectangle is a parallelogram.
Advertisements

Test the validity of this argument: Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. A. Valid B. Invalid.
Introduction to Proofs
PROOF BY CONTRADICTION
EXAMPLE Rhombuses, Rectangles, and Squares Learn to identify each of the special parallelograms: rhombus, rectangle, and square. The Venn diagram.
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more, etc., ad infinitum, Introductory Logic: Critical Thinking Dr. Robert Barnard.
22C:19 Discrete Structures Logic and Proof Spring 2014 Sukumar Ghosh.
Syllogistic Logic 1. C Categorical Propositions 2. V Venn Diagram 3. The Square of Opposition: Tradition / Modern 4. C Conversion, Obversion, Contraposition.
© 2010 Pearson Prentice Hall. All rights reserved. CHAPTER 2 Set Theory.
Chapter 3: Set Theory and Logic
6.5 What Is It Called? Pg. 18 Identifying the Quadrilateral.
2.1 – Sets. Examples: Set-Builder Notation Using Set-Builder Notation to Make Domains Explicit Examples.
Notes Over Congruence When two polygons are ___________their corresponding parts have the _____ _______. congruent same measure 1. Name the corresponding.
Real Number System.
Logic (continuation) Boolean Logic and Bit Operations.
Chapter 18: Conversion, Obversion, and Squares of Opposition
Strict Logical Entailments of Categorical Propositions
4 Categorical Propositions
3.5/3.7 Converses, Negations and Contrapositives Warm-up (IN) Learning Objective: to write converses, inverses and contrapositives and use them in logical.
CATEGORICAL SYLLOGISMS
12/6/2015Section 2.41 Objectives 1.Perform set operations with three sets. 2.Use Venn diagrams with three sets. 3.Use Venn diagrams to prove equality of.
2.1 Sets 2.2 Set Operations –Set Operations –Venn Diagrams –Set Identities –Union and Intersection of Indexed Collections 2.3 Functions 2.4 Sequences and.
1 If-then Statements “If-then statements” are also called “Conditional Statements” or just “Conditionals” “If-then statements” are also called “Conditional.
COMP 170 L2 L08: Quantifiers. COMP 170 L2 Outline l Quantifiers: Motivation and Concepts l Quantifiers: Notations and Meaning l Saying things with Quantified.
Midterm Practice Famous Fallacies, TFTD, Hurley
Practice Quiz 3 Hurley 4.3 – 4.6.
Hyperlinks. Venn Diagram Diagram-Graphic-02.png Diagram-Graphic.png.
Source Page US:official&tbm=isch&tbnid=Mli6kxZ3HfiCRM:&imgrefurl=
The Traditional Square of Opposition
Introduction to Proofs
If – Then Statements How can you use if-then statements in deductive reasoning? How is deductive reasoning different from inductive reasoning?
5-5 Indirect Proof. Indirect Reasoning: all possibilities are considered and then all but one are proved false. The remaining possibility must be true.
EXAMPLE 1 Draw Conclusions In the diagram, AB BC. What can you conclude about 1 and 2 ? SOLUTION AB and BC are perpendicular, so by Theorem 3.9, they form.
Introduction to Categorical Logic PHIL 121: Methods of Reasoning February 18, 2013 Instructor:Karin Howe Binghamton University.
EXAMPLE 3 Write an indirect proof Write an indirect proof that an odd number is not divisible by 4. GIVEN : x is an odd number. PROVE : x is not divisible.
HYPOTHESES TESTING. Concept of Hypotheses A hypotheses is a proposition which the researcher wants to verify. It may be mentioned that while a hypotheses.
Путешествуй со мной и узнаешь, где я сегодня побывал.
4-1 Three Little Words: Always, Sometimes, Never Big Idea A generalization is always true, sometimes but not always true, or never true.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
MAKE SURE YOUR ASSIGNMENTS AND ASSIGNMENTS PAGE IS ON YOUR DESK. Quietly begin working on the warm- up.
Sets.
11.7 – Proof by Mathematical Induction
Section 8.4 Notes.
Logic.
Which polynomials have a Greatest Common Factor of 3x2 ?
5.1 Standard Form, Mood, and Figure
Famous Fallacies, TFTD, Hurley
5 Categorical Syllogisms
Page 1. Page 2 Page 3 Page 4 Page 5 Page 6 Page 7.
Practice Quiz 3 Hurley
4.1 The Components of Categorical Propositions
Discrete Mathematics(3406)
Categorical Propositions
استراتيجيات التعلم النشط
Exercise: Logical operators
Sets 2 – Learning Outcomes
CHAPTER 2 Set Theory.
PROOF BY CONTRADICTION
4 Categorical Propositions
Categorical propositions
4 Categorical Propositions
Chapter 6 Categorical Syllogisms
Dr. Halimah Alshehri MATH 151 Dr. Halimah Alshehri Dr. Halimah Alshehri.
Thinking Critically Copyright © 2011 Pearson Education, Inc.
CHAPTER 2 Set Theory.
Mathematical Induction
Patterns and Inductive Reasoning
Chapter 5 Parallel Lines and Related Figures
Practice Quiz 3 Hurley 4.3 – 4.6.
Presentation transcript:

4 Categorical Propositions 4.6 Venn Diagrams and the Traditional Standpoint

Venn Diagrams and the Traditional Standpoint Up to now, All S are P looked like this: Since we are assuming existence in the traditional standpoint, we will render it thus: S P S P X

Venn and the Traditional Standpoint No S are P now looks like this: Both Boolean and traditional standpoints agree about particular statements, so there is no change to those Venn diagrams. S P X

Proving the Square with Venn Use pages 240 & 241 (221 & 222 in 9th ed) to test these inferences; for class, just consider one pairing: A to O, O to A, then A to O assuming A is false, then O to A assuming O is false.