GEOMETRY. Chapter 2: LOGIC. Name: Teacher: Pd:

Similar documents
LOGIC. Name: Teacher: Pd: Page 1

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic

13.3 Truth Tables for the Conditional and the Biconditional

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

CSC Discrete Math I, Spring Propositional Logic

Sec$on Summary. Propositions Connectives. Truth Tables. Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional

AMTH140 Lecture 8. Symbolic Logic

Proposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators

Unit 2: Logic and Reasoning. start of unit

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

CSE 240 Logic and Discrete Mathematics

Logic. Def. A Proposition is a statement that is either true or false.

WARM-UP. Conditional Statements

Discrete Structures of Computer Science Propositional Logic I

PHI Propositional Logic Lecture 2. Truth Tables

1 The Foundations. 1.1 Logic. A proposition is a declarative sentence that is either true or false, but not both.

Chapter 1: The Logic of Compound Statements. January 7, 2008

Implications, Quantifiers, and Venn Diagrams. Implications Logical Quantifiers Venn Diagrams. Different Ways of Stating Implications

Section 3.1. Statements and Logical Connectives. Copyright 2013, 2010, 2007, Pearson, Education, Inc.

EECS 1028 M: Discrete Mathematics for Engineers

Introduction Propositional Logic. Discrete Mathematics Andrei Bulatov

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:

DISCRETE MATHEMATICS BA202

2.1 Start Thinking. 2.1 Warm Up. 2.1 Cumulative Review Warm Up

Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic.

The statement calculus and logic

DISCRETE STRUCTURES WEEK5 LECTURE1

Connectives Name Symbol OR Disjunction And Conjunction If then Implication/ conditional If and only if Bi-implication / biconditional

LOGIC. 11 Converse, Inverse, Contrapositve. 12/13 Quiz Biconditional Statements

Definition 2. Conjunction of p and q

An Introduction to Logic 1.1 ~ 1.4 6/21/04 ~ 6/23/04

Compound Propositions

Propositions. Frequently, we will use the word statement instead of proposition.

Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set.

Mathematical Logic Part One

Discrete Mathematics and Applications COT3100

Functions. Lecture 4: Truth functions, evaluating compound statements. Arithmetic Functions. x y x+y

Truth Tables for Arguments

What is Logic? Introduction to Logic. Simple Statements. Which one is statement?

Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)

Proofs. Joe Patten August 10, 2018

Propositional Logic. Propositional Equivalences. Agenda. Yutaka HATA, IEEE Fellow. Ch1.1 Propositional Logic. Ch1.2 Propositional Equivalences

Chapter 2: The Logic of Compound Statements

2.2: Logical Equivalence: The Laws of Logic

FUNDAMENTALS OF MATHEMATICS HANDOUT 1.3 DR. MCLOUGHLIN

PS10.3 Logical implications

Chapter 2. Reasoning and Proof

Boolean Logic. CS 231 Dianna Xu

GENERAL MATHEMATICS 11

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall

The following statements are conditional: Underline each hypothesis and circle each conclusion.

Outline. Logical Agents. Logical Reasoning. Knowledge Representation. Logical reasoning Propositional Logic Wumpus World Inference

Equivalence and Implication

Only one of the statements in part(a) is true. Which one is it?

Propositional Logic. Spring Propositional Logic Spring / 32

(b) Follow-up visits: December, May, October, March. (c ) 10, 4, -2, -8,..

Logic and Propositional Calculus

1.1 Language and Logic

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods

software design & management Gachon University Chulyun Kim

GEOMETRY. 2.1 Conditional Statements

Section 1.2: Conditional Statements

Discrete Mathematics

7 LOGICAL AGENTS. OHJ-2556 Artificial Intelligence, Spring OHJ-2556 Artificial Intelligence, Spring

1.1 Language and Logic

Logic and Truth Tables

A statement is a sentence that is definitely either true or false but not both.

Section 1.3. Let I be a set. When I is used in the following context,

Chapter 5: Section 5-1 Mathematical Logic

Mathematical Logic Part One

DeMorgan s Laws and the Biconditional. Philosophy and Logic Sections 2.3, 2.4 ( Some difficult combinations )

Graphic Organizer: Reasoning and Proof Unit Essential Quetions

MAT 101 Exam 2 Logic (Part I) Fall Circle the correct answer on the following multiple-choice questions.

THE LOGIC OF COMPOUND STATEMENTS

Outline. Logical Agents. Logical Reasoning. Knowledge Representation. Logical reasoning Propositional Logic Wumpus World Inference

We last time we began introducing equivalency laws.

A Statement; Logical Operations

The Logic of Compound Statements cont.

To reason to a correct conclusion, we must build our arguments on true statements. Sometimes it is helpful to use truth tables. Simple Truth Table p

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Math.3336: Discrete Mathematics. Applications of Propositional Logic

Propositional Equivalence

Section A (not in the text) Which of the following are statements? Explain. 3. The President of the United States in 2089 will be a woman.

Read ahead and use your textbook to fill in the blanks. We will work the examples together.

CSCI Homework Set 1 Due: September 11, 2018 at the beginning of class

Mathematical Reasoning (Part I) 1

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

Math Assignment 2 Solutions - Spring Jaimos F Skriletz Provide definitions for the following:

Section 3.1 Statements, Negations, and Quantified Statements

Section L.1- Introduction to Logic

PS10 Sets & Logic. Sam Maddy Austin Jacob For each of these statements, list the students for which the statement is true:

Mathematical Logic Part One

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary

PROPOSITIONAL CALCULUS

Formal Geometry. Conditional Statements

Transcription:

GEOMERY Chapter 2: LOGIC Name: eacher: Pd:

able of Contents DAY 1: SWBA: Identify, write and analyze the different types of logical statements. Pgs: 2-8 Homework: Pgs 6 8 (EVEN ONLY) DAY 2: SWBA: Write and analyze the truth values of Conjunctions and Disjunctions Pgs: 9-14 Homework: Pgs 13 14 (EVEN ONLY) DAY 3: SWBA: Identify, write, and analyze the truth value of conditional and biconditional statements. Pgs: 15-21 Homework: Pgs 20 21 (EVEN ONLY) DAY 4: ull Period Quiz: Day 1 to DAY 3 Homework: Pgs 6 8 (ODD ONLY) Pgs 13 14 (ODD ONLY) Pgs 20 21 (ODD ONLY) DAY 5: SWBA: Identify, write, and analyze the truth value of the Converse, Inverse, and Contrapositive Pgs: 22-25 Homework: Pgs 25 (ALL) DAY 6: Logic Practice est 1

DAY 1 SWBA: Identify, write and analyze the different types of logical statements. Warm Up Introduction to Logic Logic is the study of reasoning. All reasoning, mathematical or verbal, is based on how we put sentences together. A mathematical sentence is a sentence that states a fact or contains a complete idea. A sentence that can be judged true or false is called a statement. In the study of logic, each statement is designated by a letter (p, q, r, etc.) and is assigned a true value ( for true or for false.) wo types of mathematical sentences are a) open sentence contains a variable and cannot assign a truth value. Ex. She is at the park. Ex. Basketball is fun. b) closed sentence (statement) a sentence that can be judged to be either true or false. Ex. he degree measure of a right angle is 90 0. Ex. here are eight days in a week. 2

Example 1: Negation Symbol: he negation of a statement always has the opposite truth value of the original statement. It is usually formed by adding the word not to the original statement. Ex. p : here are 31 days in January. (rue) ~p : here are not 31 days in January. (alse) A statement and its negation have opposite truth values. Example 2: Write the negations for each of the following true sentences. 1. oday s weather is sunny. 2. Alice is not going to the play. 3. x 2 3

Example 3: Answers: a. b. b. b. EXAMPLE 4 Let p represent: January has 31 days Let q represent: Christmas is in December or each given sentence: a. Write the sentence in symbolic form using the symbols below. b. ell whether the sentence is true or false. 1. It is not the case that January has 31 days 2. It is not true that Christmas is not in December 3. January has 31 days. ruth able o study sentences where we wish to consider all truth values that could be assigned, we use a device called a truth table. A truth table is a compact way of listing symbols to show all possible truth values for a set of sentences. Example 5: ill in all missing symbols. 4

ranslating Statements from Words to Symbols Example 6: Let p represents he bird has wings Let q represents he bird can fly Write each of the following sentences in symbolic form. 1. he bird has wings and the bird cannot fly. 2. If the bird can fly, then the bird has wings. 3. he bird cannot fly or the bird has wings. 4. he bird can fly if and only if the bird has wings. 5

DAY 1 - Homework 6

a. b. ranslating Statements rom Words o Symbols 7

8

DAY 2 SWBA: Write and analyze the truth values of Conjunctions and Disjunctions Warm Up Write each sentence in symbolic form, using the given symbols. Let p represent It is cold. Let q represent It is snowing. Let r represent he sun is shining. 1. It is not cold and it is snowing. 2. It is snowing or the sun is not shining. 3. If it is snowing, then the sun is not shining. 4. It is not the case that it is snowing if and only if it is not cold. One of the goals of studying mathematics is to develop the ability to think critically. he study of critical thinking, or reasoning, is called. A is formed when two or more thoughts are connected in one sentence. Example 1: In logic, a is a compound sentence formed by combining two sentences (or facts) using the word p q p ^ q p: Wash the dishes. q: Vacuum the house. p ^ q: Wash the dishes and vacuum the house. or a conjunction (and) to be true, facts must be true. 9

Practice: In 1 4, or each given statement: A. Write the statement in symbolic form, using the symbols shown below. B. ell whether the statement is true or false. Let b represent Water boils at 100 C. Let f represent Water freezes at 0 C. Let t represent Normal body temperature is 37 C. Let r represent Room temperature is 60 C. (rue) (rue) (rue) (alse) 1. Normal body temperature is 37 C and water boils at 100 C. 2. Normal body temperature is 37 C and room temperature is 60 C. 3. Water does not boil at 100 C and water does not freeze at 0 C. 4. Room temperature is not 60 C and water freezes at 0 C. Example 2: In logic, a is a compound sentence formed by combining two sentences (or facts) using the word p q p V q p: Wash the dishes. q: Vacuum the house. p v q: Wash the dishes and vacuum the house. or a disjunction (or) to be true, facts must be true. 10

Practice: In 1 4, or each given statement: A. Write the statement in symbolic form, using the symbols shown below. B. ell whether the statement is true or false. Let c represent A meter contains 100 centimeters. (rue) Let m represent A meter contains 1,000 millimeters. (rue) Let k represent A kilometer is 1,000 meters. (rue) Let l represent A meter is a liquid measure. (alse) 1. A meter contains 1,000 millimeters or a kilometer is 1,000 meters. 2. A meter contains 100 centimeters or a meter is a liquid measure. 3. A kilometer is not 1,000 meters or a meter does not contain 100 centimeters. 4. It is not the case that a meter contains 100 centimeters or 1,000 millimeters. 1. r w 2. w z 3. w r 4. (r z) 11

Summary A conjunction is a compound sentence formed by using the word and to combine two simple sentences. p q p q A disjunction is a compound sentence formed by using the word or to combine two simple sentences. p q p q Challenge Problem: Directions: Complete the truth table p q p q p V q 12

DAY 2 - Homework: Conjunction 13

Disjunction 14

DAY 3 SWBA: Identify, write, and analyze the truth value of conditional and biconditional statements. Warm Up 2.ind two supplement angles in the ratio of 7:5 In logic, a is a compound statement formed by combining sentences (or facts) using the words p is known as the. q is known as the. 15

Conditionals: p: (fact 1) If you come to school. q: (fact 2) Ms. Williams will gives me an A. p q: If you come to school, then Ms. Williams will give me an A. A is when a true hypothesis leads to a conclusion. In all other cases, the conditional is. hink of it as a broken promise. Example 1: 16

Example 2: Biconditionals: p q In logic, a is a compound statement formed by combining the conditional and the converse using the word. 17

Example 3: In 1-4, for each given statement: a. Write the statement in symbolic form, using the symbols shown below. b. ell whether the statement is true or false. Let p represent It is cold. Let q represent it is snowing. Let r represent he sun is shining. (rue) (alse) (rue) 1. It is cold if and only if it is snowing. 2. he sun is shining if and only if it is snowing. 3. It is not cold if and only if the sun is shining. 4. It is not cold if and only if the sun is not shining. Challenge Problem: 18

Summary A conditional is a compound sentence usually formed by using the words if then to combine two simple sentences. p q p q A biconditional is a compound sentence formed by combining the two conditionals p q and q p. p q p q 19

DAY 3 - Homework: 20

. 21

DAY 5 SWBA: Identify, write, and analyze the truth value of the Converse, Inverse, and Contrapositive Warm Up Review: In logic, a conditional is a compound statement formed by combining two sentences (or facts) using the words "if... then." p q p is known as the premise, hypothesis or antecedent. q is known as the conclusion or consequent. he of a conditional statement is formed by the and of the original statement. In other words, the parts of the sentence change places. he words "if" and "then" do not move. Conditional: If you study, then you will get an A Converse: If, then Symbolic orm p: you study. q: you will get an A. p q: If you study, then you will get an A. Example 1: 22

Practice: 1. Which statement is the converse of If the sum of two angles is 180, then the angles are supplementary? (1) If two angles are supplementary, then their sum is 180. (2) If the sum of two angles is not 180, then the angles are not supplementary. (3) If two angles are not supplementary, then their sum is not 180. (4) If the sum of two angles is not 180, then the angles are supplementary. 2. What is the converse of the statement "If it is Sunday, then I do not go to school"? (1) If I do not go to school, then it is Sunday. (2) If it is not Sunday, then I do not go to school. (3) If I go to school, then it is not Sunday. (4) If it is not Sunday, then I go to school. he of a conditional statement is formed by the hypothesis and the conclusion of the original statement. In other words, the word "not" is added to both parts of the sentence. Conditional: If you study, then you will get an A Inverse: If, then Symbolic orm An interesting fact: he inverse has the same truth value as the converse of the original statement. he INVERSE and the CONVERSE of the original statement are. ("equivalent" means "the same") Practice: 1. What is the inverse of the statement If Mike did his homework, then he will pass this test? (1) If Mike passes this test, then he did his homework. (2) If Mike does not pass this test, then he did not do his homework. (3) If Mike does not pass this test, then he only did half his homework. (4) If Mike did not do his homework, then he will not pass this test. 2. What is the inverse of the statement If I do not buy a ticket, then I do not go to the concert? (1) If I buy a ticket, then I do not go to the concert. (2) If I buy a ticket, then I go to the concert. (3) If I go to the concert, then I buy a ticket. (4) If I do not go to the concert, then I do not buy a ticket. 23

he of a conditional statement is formed by negating both the hypothesis and the conclusion, and then interchanging the resulting negations. In other words, the negates and switches the parts of the sentence. It does BOH the jobs of the INVERSE and the CONVERSE. Conditional: If you study, then you will get an A Contrapositive: If, then Symbolic orm **If the original statement is RUE, the contrapositive is RUE. If the original statement is ALSE, the contrapositive is ALSE. hey are said to be logically equivalent. ("equivalent" means "the same") Practice: 1. What is the contrapositive of the statement If I study, then I pass the test? (1) I pass the test if I study. (2) If I do not study, then I do not pass the test. (3) If I do not pass the test, then I do not study. (4) If I pass the test, then I study. 2. Which statement is logically equivalent to If it is Saturday, then I am not in school? (1) If I am not in school, then it is Saturday. (2) If it is not Saturday, then I am in school. (3) If I am in school, then it is not Saturday. (4) If it is Saturday, then I am in school. Challenge Problem: Homework: 24

25