Logic Math Studies IB Propositions, truth tables, logic symbols, negation, conjunction, disjunction.

Slides:



Advertisements
Similar presentations
12.2: And and Or in Logic 1/17/ : And, Or and Not in Logic Expectations: L3.2.1:Know and use the terms of basic logic (e.g., proposition, negation,
Advertisements

Logic The study of correct reasoning.
Goals Determine the true value of statements with AND, OR, IF..THEN. Negate statements with the connectives above Construct truth tables Understand when.
1.1 a Introduction to Logic. Problem of the Day The weather at the Cape of Good Hope makes it a notorious location where many ships have been lost to.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
Adapted from Discrete Math
IB Math Studies – Topic 3. IB Course Guide Description.
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.
Lecture 8 Introduction to Logic CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Material Taken From: Mathematics for the international student Mathematical Studies SL Mal Coad, Glen Whiffen, John Owen, Robert Haese, Sandra Haese.
Propositions and Truth Tables
2-2 Logic You found counterexamples for false conjectures. Determine truth values of negations, conjunctions, and disjunctions, and represent them using.
Discrete Mathematics and Its Applications
Lecture for Week Spring.   Introduction to Propositional Logic  Types of Proposition  Operator and Truth table Agenda.
Logic The study of critical thinking. Mathematical Sentence A statement of fact…called a statement Can be judged as true or false Not a question, command,
1 Propositional Logic Proposition 2 Propositions can be divided into simple propositions and compound propositions. A simple (or basic) proposition is.
2.2 Statements, Connectives, and Quantifiers
HAWKES LEARNING Students Count. Success Matters. Copyright © 2015 by Hawkes Learning/Quant Systems, Inc. All rights reserved. Section 3.1 Logic Statements.
Pratibha Sinha. aU msGg.
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.
Lecture 4. CONDITIONAL STATEMENTS: Consider the statement: "If you earn an A in Math, then I'll buy you a computer." This statement is made up of two.
CS 381 DISCRETE STRUCTURES Gongjun Yan Aug 25, November 2015Introduction & Propositional Logic 1.
Thinking Mathematically
Chapter 9 Logic. Problem Three dogs called Lassie, Timmy and Fido have either black, brown or tri-colour hair. The dogs have lived with their owners.
Joan Ridgway. Basic Concepts of Symbolic Logic Mathematical logic deals with basic statements called propositions. The word “logic” derives from the Greek.
 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.
Propositional and predicate logic
IB Math Studies – Topic 3. Statements A statement – sentence or phrase precise mathematical meaning A statement/proposition has a truth value.
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.
Discrete Structures for Computer Science Presented By: Andrew F. Conn Slides adapted from: Adam J. Lee Lecture #1: Introduction, Propositional Logic August.
Chapter 1 Propositional Logic
Symbolic Logic Pratibha Sinha.
Logic The study of correct reasoning.
Presented by: Tutorial Services The Math Center
Logic Day #2 Math Studies IB NPHS Miss Rose
Lesson 2-2 Logic A statement is a sentence that can either be true or false. The truth or falsity of a statement can be called its truth value. Compound.
AND.
DISCRETE MATHEMATICS CHAPTER I.
CSNB 143 Discrete Mathematical Structures
Discrete Mathematics Logic.
Thinking Mathematically
Ch.1 (Part 1): The Foundations: Logic and Proofs
Geometry Pre-AP BOMLA LacyMath 10/6.
CMSC Discrete Structures
The Foundations: Logic and Proofs
Principles of Computing – UFCFA3-30-1
Symbolic Logic Pratibha Sinha.
Logic – Bell Ringer.
Chapter 8 Logic Topics
2 Chapter Introduction to Logic and Sets
Information Technology Department
Section 3.1 Statements and Logical Connectives
CS 220: Discrete Structures and their Applications
TRUTH TABLES.
Applied Discrete Mathematics Week 1: Logic
1 Chapter An Introduction to Problem Solving
Discrete Mathematics and Its Applications Kenneth H
Discrete Mathematics Logic.
1 Chapter An Introduction to Problem Solving
MAT 3100 Introduction to Proof
Inductive Reasoning and Conjecture, and Logic
Statements of Symbolic Logic
And represent them using Venn Diagrams.
Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction
Statements and Logical Connectives
Logical and Rule-Based Reasoning Part I
8A, 8B Propositions Unit 7: Logic and Sets 8A, 8B 6/1/ :59 AM.
Welcome to Interactive Chalkboard
Presentation transcript:

Logic Math Studies IB Propositions, truth tables, logic symbols, negation, conjunction, disjunction.

Formula Booklet page 4

Symbol In Words Meaning p, q, or r propositions Statements with truth value assigned ¬ negation NOT ∧ conjunction AND ∨ Inclusive disjunction OR Exclusive disjunction OR but not both implication IF … THEN

What is Logic? Logic is a way to describe situations or knowledge that enables us to reason from existing knowledge to new conclusions. For example: All college students are poor I am a college student Therefore, I am poor If the original statement is false, the conclusion is still logical (it just may be false) All college students are rich (not true) Therefore, I am rich!

Logical Reasoning You have four cards. A letter A – Z is the blue side. A number 0 – 9 is on the green side. You have these cards: 5 4 7 E K What card do you turn over to test the rule “If a card has a vowel on the blue side, it must have an even number on the greenside?

Propositions.

Sets and Logical Reasoning A proposition is a statement that may be true or false. For Example, “Mrs Graham is a maths teacher” is a true proposition “Mrs Graham is 2 meters tall” is a false proposition “Today is Saturday” is indeterminate because it may be true of false depending on the circumstances. All of these are examples of simple propositions.

Propositions Consider the following statements: Go get the book Have you seen my new shirt? The dog is behind the shed Which statement is a proposition? The dog is behind the shed. Rewrite the others so they are propositions Sophia got the book. Jackson saw my new shirt.

Representing propositions We represent propositions by letters such as p, q, and r. For Example: p: Mrs Graham is a math teacher q: Mrs Graham is 2 m tall r: Today is Sunday Opposites are represented by negation (¬) ¬p represents the opposite of p We read that as “not p” ¬p: Mrs Graham is not a math teacher ¬q: Mrs Graham is not 2 m tall ¬r: Today is not Sunday

A proposition is a statement that is either true (T) or false (F); it cannot be both true and false at the same time. Which of the following are propositions? Riley studies IB mathematics. 5 < 6 Have a nice day! Is it snowing? The sun is not shining. The moon is made of green cheese. A week consists of five days. The glass is full. The air-con is on.

Write the negation of the statement ‘n is a prime number’ p: n is a prime number ¬ p: n is not a prime number Write the negation of ‘this word starts with a vowel’ without using the word ‘not’. ‘this word starts with a consonant’

Truth Values p : Carla has black hair Because a proposition is a statement that can be either true or false, its Truth Values are T for true and F for false. This may be represented in a table. p : Carla has black hair ¬ p : Carla does not have black hair T F

Truth table for negation

Exercise 8A.1 p 233 Questions 1-5 Exercise 8A.2 Questions 1-4

Compound Propositions Compound propositions are statements which are joined using and or or. Conjunctions When two propositions are joined using AND the new proposition is the conjunction of the originals. The conjunction of the two propositions p and q is denoted by p∧q

Compound propositions. A compound proposition is made up of simple propositions joined together by connectives, The five connectives that we will use most commonly are: NOT AND OR IF … THEN

Conjunctions For the following propositions: p: Ty is a superhero q: Sofia is a basketball star What is p^q : Ty is a superhero and Sofia is a basketball star What is ¬p^q Ty is not a superhero and Sofia is a basketball star

Conjunction: Truth Value The truth value of a conjunction is only true with BOTH the propositions are true. p q p∧q T F

Conjunctions: Truth Value p: Mrs Graham is a math teacher q: Mrs Graham is 2 m tall r: Today is Sunday Find the truth value of p∧q p q p∧q T F

Simple Truth Table p q ¬q p∧¬q T F Find the truth value of p^¬q

Complete the truth table for is a logical contradiction because all the entries in the third column are false.

Disjunctions A disjunction is formed when propositions are joined using the word “or” This is written as p ∨ q The truth value of a disjunction is true when at least one of the propositions is true. p q p ∨ q T F

Disjunction Example: Find the disjunction between the two propositions p: Pikachu is a Pokemon q: Mrs. Dogancay is a Pokemon p is true q is not true (unless there is something Mrs. Dogancay is hiding from us) THEREFORE, p ∨ q is true. p q p ∨ q T F

Exclusive Disjunction Chandler will go home if John is running late or if it is raining. You will go to Hawaii by boat or by plane. In the first, Chandler will go home if John is late, it’s raning, or both In the second, you can travel by boat or plane, but not both at the same time. Thi is called an exclusive disjunction p ∨ q p q p ∨ q T F

Venn Diagrams You will go to Hawaii by boat or by plane p: you will go by boat q: you will go by plane boat plane

Practice False True True False False p: London is the capital of England q: 45 – 5 = 4 r: Cows have 4 legs Find the truth value of the following: p ^ q q v r ¬q ^ r ¬(p v q) p v r False True True False False