Translating Propositions into Categorical Form 1.Find Propositions 2.Find the subject and predicate 3.Affirmo and Nego 4.Supply the proper qualifier 5.Propositions.

Slides:



Advertisements
Similar presentations
Nested Quantifiers Section 1.4.
Advertisements

2B Unit 6 Eating and drinking. Look and say What do you want? I want a hot dog.
Basic Terms in Logic Michael Jhon M. Tamayao.
Four Rules of Aristotelian Logic 1. Rule of Identity: A is A 2. Rule of Non-Contradiction: A is not (-A) 3. Rule of Excluded Middle: Either A or (-A)
4 Categorical Propositions
Logic 1 Statements and Logical Operators. Logic Propositional Calculus – Using statements to build arguments – Arguments are based on statements or propositions.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
Presentation V Computer Functioning By Teacher Julio Cesar Peñaloza Castañeda.
Bell Work: Given the sets L = {0, 1, 2, 3}, M = {5, 6, 7}, and N = {0, 1}, are the following statements true or false? (a) 6 L (b) 0 N.
Lecture 8 Introduction to Logic CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Presentation V Computer Functioning By Teacher Julio Cesar Peñaloza Castañeda.
1.1 Sets and Logic Set – a collection of objects. Set brackets {} are used to enclose the elements of a set. Example: {1, 2, 5, 9} Elements – objects inside.
Chapter 1: The Foundations: Logic and Proofs

Categorical Propositions All S is P No S is P Some S is P Some S is not P.
Unit Three. A noun is a word that names a person, place, thing, idea or feeling. WHAT IS A NOUN?
Chapter 5 – Logic CSNB 143 Discrete Mathematical Structures.
Deductive versus Inductive Reasoning Consider the following two passages: Argument #1 Mr. Jones is a member of the Academy of Scholarly Fellows and only.
Unit 1: Science, Technology and Engineering Lesson 1: “What is Science” Pg
2.2 Statements, Connectives, and Quantifiers
The Science of Good Reasons
Lesson 33 Products of Prime Factors Statements About Unequal Quantities.
Deductive Arguments.
Logic A: Capital punishment is immoral. B: No it isn’t! A: Yes it is! B: Well, what do you know about it? A: I know more about it then you do! B: Oh yeah?
CSNB143 – Discrete Structure LOGIC. Learning Outcomes Student should be able to know what is it means by statement. Students should be able to identify.
Determining Validity and Invalidity in Deductive Arguments PHIL 121: Methods of Reasoning February 6, 2013 Instructor:Karin Howe Binghamton University.
Nesting Quantifiers And Their Manipulation Copyright © Curt Hill.
CS 381 DISCRETE STRUCTURES Gongjun Yan Aug 25, November 2015Introduction & Propositional Logic 1.
Logic – Basic Terms Logic: the study of how to reason well. Validity: Valid thinking is thinking in conformity with the rules. If the premises are true.
Predicates and Quantified Statements
Sets Goal: Introduce the basic terminology of set theory.
4.1 Proofs and Counterexamples. Even Odd Numbers Find a property that describes each of the following sets E={…, -4, -2, 0, 2, 4, 6, …} O={…, -3, -1,
Lecture 7 – Jan 28, Chapter 2 The Logic of Quantified Statements.
Logical Operations – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Logical Operations Reading: Kolman, Section 2.1.
Chapter 13: Categorical Propositions. Categorical Syllogisms (p. 141) Review of deductive arguments –Form –Valid/Invalid –Soundness Categorical syllogisms.
CSNB143 – Discrete Structure Topic 4 – Logic. Learning Outcomes Students should be able to define statement. Students should be able to identify connectives.
Predicates and Quantifiers Dr. Yasir Ali. 1.Predicates 2.Quantifiers a.Universal Quantifiers b.Existential Quantifiers 3.Negation of Quantifiers 4.Universal.
Propositions and Arguments. What is a proposition? A proposition is a predicative sentence that only contains a subject and a predicate S is P.
Logic Terminology Statement- declarative sentence that is either true or false Opinion- a belief about matters commonly considered to be subjective,
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Critical Thinking: A User’s Manual
Copyright © Peter Cappello 2011 Predicates & Quantifiers.
CS104:Discrete Structures Chapter 2: Proof Techniques.
Con j unctions J oining words. Conjunctions Words that connect or join other words or groups of words.
PREDICATE CALCULS In Propositional Calculus, each atomic symbol denotes a proposition. But there is no way to access the components of an individual assertion.
What is the logic? The primary concern in logic is to identify and classify valid form of inference. The notions of 'validity' ,'form' and 'inference'
Do you like ? Yes, I do . 2B : Unit 3.
Learning Objectives  To define a proposition  To form a compound proposition using connectives  To determine the truth values of compound propositions.
The Art About Statements Chapter 8 “Say what you mean and mean what you say” By Alexandra Swindell Class Four Philosophical Questions.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Law of logic Lecture 4.
ICS 6D Logic Overview Instructor: Sandy Irani. What is logic? Branch of mathematics in which variables and expressions have value true (T) or false (F)
Categorical Propositions Chapter 5. Deductive Argument A deductive argument is one whose premises are claimed to provide conclusive grounds for the truth.
Deductive Reasoning. Inductive: premise offers support and evidenceInductive: premise offers support and evidence Deductive: premises offers proof that.
INTRODUCTION TO LOGIC. PURPOSE: – To distinguish good arguments from poor ones Arguments consist of STATEMENTS – A statement is a sentence that can be.
Simple Logic.
Unit 1: Science, Technology and Engineering
CSNB 143 Discrete Mathematical Structures
Chapter 3 The Logic of Quantified Statements
Chapter 3: Introduction to Logic
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Parts of Speech.
4.1 The Components of Categorical Propositions
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Food Vocabulary.
TRUTH TABLES.
Logic Math Studies IB Propositions, truth tables, logic symbols, negation, conjunction, disjunction.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Write the negation of each of the following propositions without using any form of the word “not”: Today is Thursday Today is Monday or Tuesday or Wednesday.
Presentation transcript:

Translating Propositions into Categorical Form 1.Find Propositions 2.Find the subject and predicate 3.Affirmo and Nego 4.Supply the proper qualifier 5.Propositions translated to categorical form

Define translation categorical and proposition A proposition(N) is a statement that expresses a judgment or opinion. Can be true or false Declarative statements A categorical statement expresses how two objects relate to each other Translation using P,Q, and other symbols instead of words. (Mind your P’s and Q’s)

Are these proposition and are they true 1. The sun is shining =7 3. X+Y>10 4. The sum of two prime numbers is even. 5. Is it raining? 6. Come to Class! 7. The moon is made of green cheese 8. N is a prime number

Categorical Exercise 1. Triceratops, Stegosaurus, T rex 2. Monkey, Human, Gorilla 3. Duck, Goose, Turkey 4. Apple, Orange, Banana 5. Hamburger, Hotdog, Corn on the Cob 6. Cookies, Cake, Ice Cream 7. Sedan, Convertible, Coupe 8. Pick up, Mac, Two ton

Translation exercise Propositions are joined with a conjunction to draw a conclusion. P it is sunny Q: It is hot 1. and  2. but ∨ 3. or ∧ 4. if then Ξ 5. not and 6. not but 7. not or 8. if not then

The Subject and Predicate terms The subject is the main idea and the predicate describes the subject Example: Some historians are extremely gifted writers whose works read like novels. No athletes who have every accepted pay for participating in sports are amateurs.

Affirmo and Nego AffIrmo affirms the statement, and nEgO denies the statement A: all is/are true I: some is/are true E: none is/ are true O: some is/are not true

Quantifiers Tells how true a statement is either by quantity or quality. All, most, some, half, a few, slim, none

Propositions translated into categorical form. Putting statements into categorical forms For example, proposition then categorical "Some birds are geese, so some birds are not felines, since no geese are felines" No geese are felines. Some birds are geese. Therefore, Some birds are not felines.