Aim: Logic – Conjunction/Disjunction Course: Math Lit. Do Now: Aim: What is the conjunction and disjunction of the truth? True or False Math is a 4-letter.

Slides:



Advertisements
Similar presentations
Logic The study of correct reasoning.
Advertisements

Geometry Logic.
TRUTH TABLES Section 1.3.
TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.
Logic & Critical Reasoning
Chapter 3 section 2. Please form your groups The 1 st column represents all possibilities for the statement that can be either True or False. The 2 nd.
Truth Tables Presented by: Tutorial Services The Math Center.
Symbolic Logic: The Language of Modern Logic
1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: The Moon is made of green cheese. Trenton.
Introduction to Symbolic Logic
Copyright 2013, 2010, 2007, Pearson, Education, Inc. Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction.
Logic Chapter 2. Proposition "Proposition" can be defined as a declarative statement having a specific truth-value, true or false. Examples: 2 is a odd.
1 Math 306 Foundations of Mathematics I Math 306 Foundations of Mathematics I Goals of this class Introduction to important mathematical concepts Development.
Truth Tables for Negation, Conjunction, and Disjunction.
3.2 – Truth Tables and Equivalent Statements
Copyright 2013, 2010, 2007, Pearson, Education, Inc. Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction.
2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt Truth Value Conjunction and.
Chapter 1 Section 1.4 More on Conditionals. There are three statements that are related to a conditional statement. They are called the converse, inverse.
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
Course Outline Book: Discrete Mathematics by K. P. Bogart Topics:
Chapter 1 The Logic of Compound Statements. Section 1.1 Logical Form and Logical Equivalence.
BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC INTRODUCTION PROPOSITION COMPOUND STATEMENTS LOGICAL.
MATH 102 Contemporary Math S. Rook
Math 240: Transition to Advanced Math Deductive reasoning: logic is used to draw conclusions based on statements accepted as true. Thus conclusions are.
Logical Form and Logical Equivalence Lecture 2 Section 1.1 Fri, Jan 19, 2007.
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.
3.3: Truth Tables. Types of Statements Negation: ~p Conjunction: p ˄ q (p and q) Disjunction: p V q (p or q, or both) Conditional: p → q (if p, then q)
Chapter 7 Logic, Sets, and Counting
Conditional Statements
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.
MAIN TOPIC : Statement, Open Sentences, and Truth Values Negation Compound Statement Equivalency, Tautology, Contradiction, and Contingency Converse, Inverse,
How do I show that two compound propositions are logically equivalent?
Thinking Mathematically
Chapter 7 Logic, Sets, and Counting Section 1 Logic.
Logic. Statements, Connectives, and Quantifiers In symbolic logic, we only care whether statements are true or false – not their content. In logic, a.
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.
LOGIC.
Logical Form and Logical Equivalence Lecture 1 Section 1.1 Wed, Jan 12, 2005.
Logical Form and Logical Equivalence M Logical Form Example 1 If the syntax is faulty or execution results in division by zero, then the program.
3.1 Statements and Quantifiers 3.2 Truth Tables.  A statement is a declarative sentence that is either true or false.  Examples: Mr. Healey is my math.
Section 1.1. Section Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional Truth.
Logical Operations – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Logical Operations Reading: Kolman, Section 2.1.
CSNB143 – Discrete Structure Topic 4 – Logic. Learning Outcomes Students should be able to define statement. Students should be able to identify connectives.
TRUTH TABLES. Introduction The truth value of a statement is the classification as true or false which denoted by T or F. A truth table is a listing of.
Notes - Truth Tables fun, fun, and more fun!!!!. A compound statement is created by combining two or more statements, p and q.
Joan Ridgway. If a proposition is not indeterminate then it is either true (T) or false (F). True and False are complementary events. For two propositions,
UNIT 01 – LESSON 10 - LOGIC ESSENTIAL QUESTION HOW DO YOU USE LOGICAL REASONING TO PROVE STATEMENTS ARE TRUE? SCHOLARS WILL DETERMINE TRUTH VALUES OF NEGATIONS,
رياضيات متقطعة لعلوم الحاسب MATH 226. Text books: (Discrete Mathematics and its applications) Kenneth H. Rosen, seventh Edition, 2012, McGraw- Hill.
Section 1.1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: a) The Moon is made of green.
Conditional Statements Lecture 2 Section 1.2 Fri, Jan 20, 2006.
TRUTH TABLES Edited from the original by: Mimi Opkins CECS 100 Fall 2011 Thanks for the ppt.
 2012 Pearson Education, Inc. Slide Chapter 3 Introduction to Logic.
Ms. Andrejko 2-2 Logic. Real World Legally Blonde.
 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.
Section 3.2: Truth Tables for Negation, Conjunction, and Disjunction
Logical Operators (Connectives) We will examine the following logical operators: Negation (NOT,  ) Negation (NOT,  ) Conjunction (AND,  ) Conjunction.
Presented by: Tutorial Services The Math Center
AND.
DISCRETE MATHEMATICS CHAPTER I.
Thinking Mathematically
Truth Tables and Equivalent Statements
CHAPTER 3 Logic.
Truth Tables for Negation, Conjunction, and Disjunction
Truth Tables for Negation, Conjunction, and Disjunction
Statements of Symbolic Logic
Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction
2-2 Logic Vocab Statement: A sentence that is either true or false
CHAPTER 3 Logic.
Presentation transcript:

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Do Now: Aim: What is the conjunction and disjunction of the truth? True or False Math is a 4-letter word and 4 th period starts at 10:25 am. George Washington was the first president of the United States and John Lennon is alive. T F

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Compound Statement A compound statement is formed by combining simple statements with one or more operators. “and” is and operator and is represented symbolically as ˄ Conjunction Math is a 4-letter word and 4th period starts at 10:25 am. T George Washington was the first president of the United States and John Lennon is alive. F

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Conjunction - Symbolically Let p represent the simple statement “The earth is a spherical ball.” Let q represent the simple statement “The earth is the third planet in our solar system.” T T The earth is a spherical ball and the earth is the third planet in our solar system. p ˄ q T

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Symbolic Let p represent the simple statement “Kobe Bryant is a basketball player.” Let q represent the simple statement “Derek Jeter is a basketball player.” T F Kobe Bryant is a basketball player and Derek Jeter is a basketball player. p ˄ q F

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Evaluating the Truth Let p represent the simple statement “The Mets are a baseball team based in Los Angeles.” Let q represent the simple statement “The Jets are a football team based in Chicago.” F F The Mets are a baseball team based in Los Angeles and The Jets are a football team based in Chicago. p ˄ q F

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Truth Table - Conjunction pq p ˄ q TTT TFF FTF FFF If p and q represent simple statements then the truth table for compound statements with the ‘and’ operator (Conjunction) is

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Evaluating the Truth Let p represent “Staten Island is a borough of NYC.” Let q represent “SI is connected to Brooklyn via the Verrazano Bridge.” Let r represent “SI has a greater population than Brooklyn.” T T F What is the truth value of the following? a) p ˄ rb) p ˄ ~r c) ~p ˄ ~rd) p ˄ q ˄ ~r

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Model Problem pq T T F F T F T F T F F T T F F F T F T T Construct the truth table for the following: ~( ~p ˄ q ) ~p ~p ˄ q ~(~p ˄ q)

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Disjunction “or” is and operator and is represented symbolically as ˅ Disjunction A compound statement is formed by combining simple statements with one or more operators. Home plate is 60’ 6” from the pitching mound or a football field is 100 yards long. First base is 90 feet from home plate or a football field is 100 feet long. The Petrides school is located in Brooklyn or October follows November in the calender year. T T F

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Truth Table - Disjunction pq p ˅ q TTT TFT FTT FFF If p and q represent simple statements then the truth table for compound statements with the ‘or’ operator (Disjunction) is

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Symbols  Words Let m represent “The grass is green.” Let n represent “The hit was a single.” Let s represent “The first baseman made the out.” Rewrite: a) m ˅ n b) ~n ˅ s c) ~n ˅ ~s The grass is green or the hit was a single. The hit was not a single or the first baseman made the out. The hit was not a single or the first baseman did not make the out.

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Order of Operations Parentheses indicate order of operations. ~(n ˄ m)? negation of the statement ‘n and m” Ex. n is a true statement and c is a false statement. What is the truth value of the compound statement (n ˅ c) ˄ ~(n ˄ c) (T ˅ F) ˄ ~(T ˄ F) T ˄ ~(F) T ˄ T T

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Model Problem Construct a truth table for the following compound statement: ~(p ˄ q) ˄ [(p ˅ q) ˄ q] pq T T F F T F T F p ˄ qp ˄ q T F F F F T T T T T T F T F T F F F T F ~(p ˄ q)p ˅ q [(p ˅ q) ˄ q] ~(p ˄ q) ˄ [(p ˅ q) ˄ q]

Aim: Logic – Conjunction/Disjunction Course: Math Lit. Model Problem Suppose p is T and q if F. Find the truth values for the following statements. Let p: I eat spinach.q: I am strong. a)~(p ˄ q) b)~p ˄ q