CHAP 1: L OGIC “If it was so, it might be: and if it were so, it would be; but as it isn’t, it ain’t. That’s logic” - Lewis Carroll, author of Alice in.

Slides:



Advertisements
Similar presentations
Symbolic Logic: Conjunction • , Negation ~, Disjunction v
Advertisements

Copyright 2013, 2010, 2007, Pearson, Education, Inc. Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
Today’s Topics n Review Logical Implication & Truth Table Tests for Validity n Truth Value Analysis n Short Form Validity Tests n Consistency and validity.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley. All rights reserved.
Chapter 2: The Logic of Compound Statements 2.1 Logical Forms and Equivalence 12.1 Logical Forms and Equivalences Logic is a science of the necessary laws.
Truth Tables for Negation, Conjunction, and Disjunction.
3.2 – Truth Tables and Equivalent Statements
Logic A statement is a sentence that is either true or false (its truth value). Logically speaking, a statement is either true or false. What are the values.
Copyright 2013, 2010, 2007, Pearson, Education, Inc. Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction.
Propositions and Truth Tables
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
Chapter 1: The Foundations: Logic and Proofs
BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC INTRODUCTION PROPOSITION COMPOUND STATEMENTS LOGICAL.
1 Introduction to Abstract Mathematics The Logic and Language of Proofs Instructor: Hayk Melikya Proposition: Informal introduction to.
L OGIC. A conjecture is an educated guess that can be either true or false. A statement is a sentence that is either true or false but not both. Often.
Chapter 1 Section 1.2 Symbolic Logic. Sentences vs Statements A truth value is one of two words either true (T) or false (F). A statement is a particular.
Computer Science 210 Computer Organization Introduction to Boolean Algebra.
Logic Geometry Unit 11, Lesson 5 Mrs. Reed. Definition Statement – a sentence that is either true or false. Example: There are 30 desks in the room.
2.2 Statements, Connectives, and Quantifiers
L OGIC Sol: G.1 b, c Sec: A conjecture is an educated guess that can be either true or false. A statement is a sentence that is either true or.
Discrete Mathematics Lecture1 Miss.Amal Alshardy.
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Statements & Truth Tables True or False This statement is true or false.? A T/F statement is a declarative sentence. It has a value of true or false, but.
Chapter 7 Logic, Sets, and Counting
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
Unit 01 – Lesson 07 – Conditional Statements
Thinking Mathematically
Chapter 7 Logic, Sets, and Counting Section 1 Logic.
6.1 Logic Logic is not only the foundation of mathematics, but also is important in numerous fields including law, medicine, and science. Although the.
Solve the following system using the elimination method.
U NIT 3: L OGIC (G.1 A, B ) W ARM - UP : C HECKPOINT G.2 G RADED SOL QUESTIONS H OMEWORK : ( DAY 17) P. 92 (1-3, 7, 9, 11, 20-26, 41) P. 101 (9, 11, 35,
DEE: If you think we're wax-works, you ought to pay, you know. Wax-works weren't made to be looked at for nothing. Nohow. DUM: Contrariwise, if you think.
9.2 Compound Sentences Standard 5.0, 24.0 Standard 5.0, 24.0 Two Key Terms Two Key Terms.
Section 1.1 Propositions and Logical Operations. Introduction Remember that discrete is –the study of decision making in non-continuous systems. That.
Lesson 2-2.B Logic: Truth Tables. 5-Minute Check on Lesson 2-2.A Transparency 2-2 Make a conjecture about the next item in the sequence. 1. 1, 4, 9, 16,
 2012 Pearson Education, Inc. Slide Chapter 3 Introduction to Logic.
Introductory Logic PHI 120 Presentation: "Truth Tables – Sentences"
 Statement - sentence that can be proven true or false  Truth value – true or false  Statements are often represented using letters such as p and q.
Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.
Introduction to Logic Lecture 12 An introduction to Sentence Logic By David Kelsey.
Introduction to Logic Lecture 12 An introduction to Sentence Logic By David Kelsey.
 Conjunctive Normal Form: A logic form must satisfy one of the following conditions 1) It must be a single variable (A) 2) It must be the negation of.
Truth Tables for Negation, Conjunction, and Disjunction
Presented by: Tutorial Services The Math Center
Computer Science 210 Computer Organization
AND.
Thinking Mathematically
Truth Tables and Equivalent Statements
CHAPTER 3 Logic.
Truth Tables for Negation, Conjunction, and Disjunction
Geometry Pre-AP BOMLA LacyMath 10/6.
Truth Tables – Logic (Continued)
Computer Science 210 Computer Organization
TRUTH TABLES.
(1.4) An Introduction to Logic
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Discrete Mathematics Lecture 2: Propositional Logic
Truth tables 3.2 and 3.3 Constructing Truth tables
Deductive Arguments: More Truth Tables
Inductive Reasoning and Conjecture, and Logic
Equivalent Statements
Statements of Symbolic Logic
Section 3.7 Switching Circuits
Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction
2-2 Logic Part 2 Truth Tables.
8A, 8B Propositions Unit 7: Logic and Sets 8A, 8B 6/1/ :59 AM.
2-2 Logic Vocab Statement: A sentence that is either true or false
CHAPTER 3 Logic.
Logical truths, contradictions and disjunctive normal form
Presentation transcript:

CHAP 1: L OGIC “If it was so, it might be: and if it were so, it would be; but as it isn’t, it ain’t. That’s logic” - Lewis Carroll, author of Alice in Wonderland

P ART 1: S TATEMENTS & S TANDARD F ORMS Statement: Any declarative sentence that is either true (T) or false (F) but not both T or F are called truth value of the statement Statements use lower case letters like p, q, r

EXAMPLES OF STATEMENTS 1. Let p be the sentence “Santa is Jolly” 2. Let q be the sentence “ Christmas is on July 4 th ” Number 1 & 2 are statements bc we can assign to them a truth value Is the following a statement? “Solve the following for X” THE ABOVE is a COMMAND

M ORE W ORDS Negation The statement whose truth value is the opposite of the truth value of p The symbol for a negation is ~ When you have ~ p it is read as “not p”

EXAMPLES OF NEGATION STATEMENTS 1. Let p be the sentence “Santa is Jolly” What would be a ~p ? “Santa is not jolly” 2. Let q be the sentence “ Christmas is on July 4 th ” What would be a ~q ? “Christmas is not on July 4 th ” Notice that these negations are also statements that can be given truth values

T RUTH T ABLES Used to show the truth values for different statements Each Column represents a statement And the rows below show the different truth values possible P~ P TF FT Q~ Q

QUICK NOTE The negations of statements will be referred to as being in STANDARD FORM Example: the standard form of the negation of the statement “Santa is jolly” is the statement “Santa is not jolly” The standard form of the negation of the statement “ Texas is not a state” is ……. “Texas is a state”

YOUR TURN TO TRY Write a negation in standard for each of the statements 1. a: Dallas is the capital of Oklahoma 2. b: An orange is a fruit 3. c: An apple is not Blue

C HECK Y O U R A N S W E R S 1. ~a: Dallas is not the capital of Oklahoma 2. ~b: An orange is not a fruit 3. ~c: An apple is Blue

N OW L ETS G IVE THE E ACH S TATEMENT A T RUTH V ALUE a __________ ~ a _________ c __________ ~ c _________ b __________ ~ b __________ 1.a: Dallas is the capital of Oklahoma 2.b: An orange is a fruit 3.c: An apple is not Blue 1.~a: Dallas is not the capital of Oklahoma 2.~b: An orange is not a fruit 3.~c: An apple is Blue

A NOTHER N EW W ORD Conjunction Is putting two statements together using the word and The symbol for and is ^ Example p ^ q is read as “p and q” This statement is true ONLY if BOTH are true

EXAMPLES OF CONJUNCTION STATEMENTS 1. Let p be the sentence “Santa is Jolly” 2. Let q be the sentence “ Christmas is on July 4 th ” 3. Let r be the sentence “George Washington was the first U.S. President: Write a conjunction of p and q Write a conjunction of p and r Write a conjunction of q and r

C HECK YOUR ANSWERS Santa is jolly and Christmas is on July 4 th Santa is jolly and George Washington was the first U.S. President Christmas is on July 4 th and George Washington was the first U.S. President

W HAT ARE THE T RUTH V ALUES ? Santa is jolly and Christmas is on July 4 th FALSE! FALSE! Santa is jolly and George Washington was the first U.S. President TRUE! TRUE! TRUE! Christmas is on July 4 th and George Washington was the first U.S. President FALSE!!! FALSE!

A G ENERAL T RUTH T ABLE FOR P ^ Q pqp ^ q

O NE L AST W ORD DISJUNCTION Is putting two statements using the word or The symbol for or is v Example p v q is read as “ p or q” The statement is true IF and ONLY IF at LEAST ONE of p and q is TRUE

EXAMPLES OF DISJUNCTION STATEMENTS 1. Let p be the sentence “Santa is Jolly” 2. Let q be the sentence “ Christmas is on July 4 th ” 3. Let r be the sentence “George Washington was the first U.S. President: Write a disjunction of p and q Write a disjunction of p and r Write a disjunction of q and r

C HECK YOUR ANSWERS Santa is jolly or Christmas is on July 4 th Santa is jolly or George Washington was the first U.S. President Christmas is on July 4 th or George Washington was the first U.S. President

W HAT ARE THE T RUTH V ALUES ? Santa is jolly or Christmas is on July 4 th TRUE! Santa is jolly or George Washington was the first U.S. President TRUE! TRUE! TRUE! Christmas is on July 4 th and George Washington was the first U.S. President TRUE! TRUE! TRUE!

WHAT ABOUT………..????? ~ p v q

A G ENERAL T RUTH T ABLE FOR P V Q pqp v q

NOW TIME TO PUT IT ALL T OGETHER Given Statements a: Abraham Lincoln was the 16 th U.S. president b: A lemon is tart c: Valentines Day is in December

Q UESTIONS 1. a ^ b 2. a v c 3. ~a ^ b 4. ~ c v ~ a 5. The truth value for # 1 is ____________ 6. The truth value for # 2 is ____________ 7. The truth value for # 3 is ____________ 8. The truth value for # 4 is ____________