Mathematics as a language

Slides:



Advertisements
Similar presentations
Goals Determine the true value of statements with AND, OR, IF..THEN. Negate statements with the connectives above Construct truth tables Understand when.
Advertisements

CS128 – Discrete Mathematics for Computer Science
Discrete Mathematics Lecture 1 Logic of Compound Statements Harper Langston New York University.
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
Proof by Deduction. Deductions and Formal Proofs A deduction is a sequence of logic statements, each of which is known or assumed to be true A formal.
Introduction to Logic Logical Form: general rules
Adapted from Discrete Math
Propositions and Truth Tables
Chapter 3 Section 4 – Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
Discrete Mathematics and Its Applications
Mathematical Structures A collection of objects with operations defined on them and the accompanying properties form a mathematical structure or system.
Chapter 1: The Foundations: Logic and Proofs
Discrete Structures (DS)
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.
1 CMSC 250 Discrete Structures CMSC 250 Lecture 1.
CS 381 DISCRETE STRUCTURES Gongjun Yan Aug 25, November 2015Introduction & Propositional Logic 1.
Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems or solving problems, creativity and insight.
1 Introduction to Abstract Mathematics Expressions (Propositional formulas or forms) Instructor: Hayk Melikya
Section 1.2: Propositional Equivalences In the process of reasoning, we often replace a known statement with an equivalent statement that more closely.
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
Chapter 1: The Foundations: Logic and Proofs
What is Reasoning  Logical reasoning is the process of drawing conclusions from premises using rules of inference.  These inference rules are results.
Chapter 2 Fundamentals of Logic 1. What is a valid argument or proof?
Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Rules of inference.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
1 Georgia Tech, IIC, GVU, 2006 MAGIC Lab Rossignac Lecture 01: Boolean Logic Sections 1.1 and 1.2 Jarek Rossignac.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
Discrete Math by R.S. Chang, Dept. CSIE, NDHU1 Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems.
Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.
Chapter 1 Logic and proofs
Chapter 1 Propositional Logic
Chapter 1 Logic and Proof.
Logic.
Logic and Reasoning.
2. The Logic of Compound Statements Summary
Advanced Algorithms Analysis and Design
Discrete Mathematics Lecture 1 Logic of Compound Statements
CSNB 143 Discrete Mathematical Structures
CSE15 Discrete Mathematics 01/30/17
Knowledge Representation and Reasoning
Discrete Mathematics Logic.
Niu Kun Discrete Mathematics Chapter 1 The Foundations: Logic and Proof, Sets, and Functions Niu Kun 离散数学.
COMP 1380 Discrete Structures I Thompson Rivers University
Methods of proof Section 1.6 & 1.7 Wednesday, June 20, 2018
6/20/2018 Arab Open University Faculty of Computer Studies M131 - Discrete Mathematics 6/20/2018.
MATH 245 Spring 2009 This is mathematics for computer science
(CSC 102) Discrete Structures Lecture 2.
Mathematics for Computing
The Foundations: Logic and Proofs
Principles of Computing – UFCFA3-30-1
CS100: Discrete structures
Information Technology Department
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
CS201: Data Structures and Discrete Mathematics I
Mathematical Reasoning
Methods of Proof. Methods of Proof Definitions A theorem is a valid logical assertion which can be proved using Axioms: statements which are given.
CS 220: Discrete Structures and their Applications
Applied Discrete Mathematics Week 1: Logic
Back to “Serious” Topics…
Discrete Mathematics and Its Applications Kenneth H
Discrete Mathematics Logic.
MAT 3100 Introduction to Proof
Cs Discrete Mathematics
Foundations of Discrete Mathematics
COMP 1380 Discrete Structures I Thompson Rivers University
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
Mathematical Reasoning
Discrete Structures Prepositional Logic 2
CS201: Data Structures and Discrete Mathematics I
The Foundations: Logic and Proofs
Presentation transcript:

Mathematics as a language Mathematics in the Modern World GEMATMW Term 2 AY 2018-2019 Point out the following ideas: Many results in mathematics came about as generalizations of patterns and shape. Studying patterns allows us to observe, hypothesize, discover and create. The way of doing mathematics has evolved from just perfroming calculations or making deductions from patterns , testing conjectures and estimating results. Mathematics has become a diverse discipline dealing with data, measurements and observation from the sciences as well as working with mathematical models of narutal phenomena, human behavior and social systems. All these tells us that for all these aspects to advance and progress with the help of mathematics, a good grasp of the mathematical language is necessary. Ask the students what is the language of mathematics.

Wait! Before we talk about “MATH” Lets PLAY A GAME!

…just a game of what’s next!!! Ooopss… …just a game of what’s next!!! Mention that we see these kinds of logic questions in entrance exams? Or in some IQ Tests.

What’s next? ANSWER: Mention that we see these kinds of logic questions in entrance exams? Or in some IQ Tests.

What’s next? 1∗1 =1 11∗11=121 111∗111 =12,321 1,111∗1,111=1,234,321 11,111∗11,111=123,454,321 111,111∗111,111= ???? ANSWER: 12,345,654,321

1 3 7 15 31 What’s next? Is this the only explanation? 1= 2 1 −1 ANSWER: 1= 2 1 −1 3 3= 2 2 −1 7 7= 2 3 −1 15 15= 2 4 −1 31 31= 2 5 −1 Is this the only explanation?

What’s next? ANSWER:

What’s the pattern in the given set of equations?

Lets Begin! Now that your brain muscles are all warmed up!!

How did you learn your native language? (Filipino/Chinese English/Japanese Korean…) Ask the class who knows the following languages? Chinese/Japanese/Korean? Ask them how they learned these languages?

Mathematics as language A LANGUAGE is a systematic means of communicating by the use of sound or conventional symbols. It is the code we all use to express ourselves and communicate to others. Point out that all these components are found in mathematics

Components of a language: Vocabulary of symbols or words Grammar or rules of how these symbols are used Community of people who use and understand these symbols Range of meanings that can be communicated with these symbols.

Symbols: English Letters Vowels and Consonants ENGLISH LANGUAGE Symbols: English Letters Vowels and Consonants Words Phrases Sentences MATHEMATICAL LANGUAGE (Algebra) Symbols: English Letters/ Arabic Numerals Variables and Constants Term Algebraic Expressions Mathematical statements: Equations, Inequalities, etc Emphasize the comparison between the English Language and Mathematical Language used in Algebra

Elements of the mathematical language 0123456789 ±×÷∞=≠~<≥≤∓≅ ≡∀ 4 ∪ ∩ ∅ % ∃ ∄ ∈ ∋𝛼 𝛽 𝛾 𝛿 𝜀 𝜖 𝜃 𝜗 𝜋 𝜇 𝜌 𝜎 𝜏 𝜑 𝜔 Just like any other language, mathematics has nouns, pronouns, verbs and sentences. It has its own vocabulary, grammar, syntax, word order, synonyms, negations, sentence structure etc..

Propositional calculus Mention that the term calculus just means – “a particular method or system of calculation or reasoning”

Propositional calculus A proposition is a complete declarative sentence that is either TRUE or FALSE, but not both. Example: There are 4 sections of GEMATMW attending in today’s Master class. Ask the each section to provide an example of a proposition.

EXAMPLES Manila is the capital of the Philippines. Shanghai is the capital of China. Today is a Tuesday. 1+1=2 2+2=5 Propositions 1) and 4) are TRUE while 2, 3 and 5 are FALSE.

Exercises Identify if the following sentences are propositions. Is it time already? Pay attention to this. 𝑥+1=2 𝑥+𝑦=𝑧 1) and 2) are NOT propositions since they are not declarative sentences or statements. While 3) and 4) are not propositions since they are either true or false depending on the values fo the variables.

Propositions are usually denoted by capital letters of the English alphabet. (But most of the time we use P,Q,R,S and T)

If a proposition 𝑃 is true, its truth value is 𝑡𝑟𝑢𝑒, and is usually denoted by 𝑇. If it is false, its truth value if 𝑓𝑎𝑙𝑠𝑒 denoted by 𝐹. Mention that in Propositional calculus / Mathematical reasoning, Propositions are just like the alphabet of the English language.

Examples 𝑴:The class of Mr. Garcia is very attentive. 𝑵:Students of Dr. Nocon are attentive in class. 𝑺:Students in this master class are all science students.

Connectives and compound propositions A propositional connective is an operation that combines two propositions to yield a new proposition whose truth value depends only on the truth values of the two original propositions.

Connectives and compound propositions Combinations of propositions using propositional connectives are called compound proposition.

Propositional connectives ∧ conjunction (and) ∨ disjunction (or ) ⨁ 𝑒𝑥𝑐𝑙𝑢𝑠𝑖𝑣𝑒 𝑜𝑟 ⇒ implication (implies) ⇔ 𝑏𝑖𝑐𝑜𝑛𝑑𝑖𝑡𝑖𝑜𝑛𝑎𝑙 𝒊𝒇 𝒂𝒏𝒅 𝒐𝒏𝒍𝒚 𝒊𝒇 ¬ 𝑛𝑒𝑔𝑎𝑡𝑖𝑜𝑛 (𝒏𝒐𝒕) Point out that there are other connectives will not be discussed that they can encounter when they read some specialized books in computer science, engineering and advanced mathematics books.

Examples 𝑷 : Alyssa is sleeping. 𝑸 : Matthew is noisy. 𝑹 : Kyla is late in her class. What does the following stand for? 𝑃∧𝑅 ¬𝑄⇒𝑃 𝑄∨𝑅

If propositions have their truth values If propositions have their truth values? What the truth value of a compound proposition?

Negation of a proposition The negation of a proposition 𝑃 is denoted by ¬𝑃 and is read as “not 𝑃”. Truth Table 𝑷 ¬𝑷 T F

Example 𝑃: It will rain today. ¬𝑃: It will not rain today. 𝑄: Samantha is hardworking. ¬𝑄: Samantha is not hardworking. 𝑅: You will pass this course. ¬𝑅: You will not pass this course.

Conjunction of Propositions The proposition “𝑃 and 𝑄”, denoted by 𝑷∧𝑸, is called the conjunction of 𝑃 and 𝑄.

Truth value of 𝑷∧𝑸 𝑷 𝑸 𝑷∧𝑸 T F The conjunction of two propositions is TRUE only if both propositons are TRUE otherwise the conjunction is FALSE

Example 𝑃: Althea is beautiful. 𝑄: Lance is strong. 𝑃∧𝑄: Althea is beautiful and Lance is strong. 𝑆: The stock exchange is down. 𝑇: The stock exchange will continue to decrease. 𝑆∧𝑇: The stock exchange is down and it will continue to decrease.

Disjunction: Inclusive “or” The proposition “𝑃 or 𝑄”, denoted by 𝑷∨𝑸, is called the disjunction of 𝑃 or 𝑄. This is also referred to as the inclusive “or”.

Truth value of 𝑷∨𝑸 𝑷 𝑸 𝑷∨𝑸 T F The disjunction of two proposition is FALSE if both are FALSE and TRUE otherwise.

Example: Inclusive “or” 𝑃: This lesson is interesting. 𝑄: The lesson is easy. 𝑃∨𝑄: This lesson is interesting or it is easy. 𝑆: I want to take a diet. 𝑇: The food is irresistible. 𝑆∨𝑇: I want to take a diet or the food is irresistible.

Disjunction: EXCLUSIVE “or” The proposition “𝑃 or 𝑄 but not both”, denoted by 𝑷⨁𝑸. This is also referred to as the “exclusive or”.

Truth value of 𝑷⨁𝑸 𝑷 𝑸 𝑷⨁𝑸 T F The exclusive or of two proposition is TRUE if the two propositions have different truth values.

Implications or Conditionals The proposition “If 𝑷, then 𝑸”, denoted by 𝑷⇒𝑸 is called an implication or a conditional. Equivalent propositions: “𝑷 only if 𝑸”, “𝑸 follows from 𝑷”, “𝑷 is a sufficient condition for 𝑸”, “𝑸 whenever 𝑷”

The compound proposition 𝑷⟹𝑸 Also called the conditional statement. 𝑷⟹𝑸 Hypothesis Antecedent Premise Conclusion Consequence

the many names of 𝑷⟹𝑸

Truth value of 𝑷⟹𝑸 𝑷 𝑸 𝑷⟹𝑸 T F The implication 𝑷⟹𝑸 will only be FALSE in the case that the conclusion is false by the premise is true. And in all other cases, the implication is TRUE.

Example 𝑷: It is raining very hard today. 𝑸: Classes are suspended. 𝑷⇒𝑸: If it is raining very hard today, then classes are suspended.

Too many tables….

Propositions related to 𝑷⟹𝑸 CONVERSE CONTRAPOSITVE INVERSE

Related Implication: Converse The converse of the proposition “If 𝑃, then 𝑄” is the proposition “If 𝑄, then 𝑃”. In symbols, the converse of 𝑃⇒𝑄 is 𝑄⇒𝑃.

Example The converse of the proposition 𝑃⇒𝑄 “If it is raining very hard today, then classes are suspended.” is 𝑄⇒𝑃 and is stated as “If classes are suspended, then it is raining very hard today.”

Related Implication: Contrapositive The contrapositive of the proposition “If 𝑃, then 𝑄” is the proposition “If not 𝑄, then not 𝑃”. In symbols, the contrapositive of 𝑷⇒𝑸 is ¬𝑸⇒¬𝑷.

“If it is raining very hard today, then classes are suspended.” Example The contrapositive of the proposition 𝑃⇒𝑄: “If it is raining very hard today, then classes are suspended.” is the proposition ¬𝑄⇒¬𝑃: “If classes are not suspended, then it is not raining very hard today.”

Related Implication: Inverse The inverse of the proposition “If 𝑃, then 𝑄” is the proposition “If not 𝑃, then not 𝑄”. In symbols, the inverse of 𝑃⇒𝑄 is ¬𝑃⇒¬𝑄.

Example The inverse of the proposition 𝑃⇒𝑄: “If it is raining very hard today, then classes are suspended.” is the proposition ¬𝑄⇒¬𝑃: “If it is not raining very hard today, then classes are not suspended.”

Biconditionals The proposition “𝑷 if and only if 𝑸”, denoted by 𝑷⇔𝑸 is called a biconditional. Equivalent propositions: “𝑃 is equivalent to 𝑄”, “𝑃 is a necessary and sufficient condition for 𝑄”

Summary of Truth tables 𝑷 𝑸 𝑷∧𝑸 𝑷∨𝑸 𝑷⨁𝑸 𝑷⟹𝑸 𝑷⟺𝑸 ¬𝑷 ¬𝑸 T F

How can you determine the number of rows in a truth table? Counting Technique!! Statistics ALERT!!

𝟐 𝑵 If there are N propositions then the number of rows is 𝑷 ¬𝑷 T F 𝑷 𝑸 𝑷⟹𝑸 T F

Tips in constructing truth tables See the pattern?

Exercises Let 𝑃 and 𝑄 be the propositions 𝑷 “I am a Math major.” 𝑸 “I love Mathematics.”

What's the truth table for ¬𝑷∨𝑸

Tautology, contradiction and contingency A compound proposition that is ALWAYS true – TAUTOLOGY ALWAYS false – CONTRADICTION SOMETIMES true – CONTINGENCY

Example Consider the following propositions and determine if it is a tautology, contradiction or a contingency. 𝑝∨¬𝑝 𝑝∧¬𝑝

“Two propositions 𝑝,𝑞 are logically equivalent if 𝑝⟺𝑞 is a tautology.” Show that ¬(𝑝∨𝑞) and ¬𝑝∧¬𝑞 are logically equivalent. Construct the truth tables for p, q, 𝑝∨𝑞 ,¬ 𝑝∨𝑞 ,¬𝑝,¬𝑞 and ¬𝑝∧¬𝑞

SOME logical equivalences Name 𝑝∧𝑻⟺𝑝 IDENTITY LAWS 𝑝∨𝑭⟺𝑝 𝑝∨𝑻⟺𝑻 DOMINATION LAWS 𝑝∧𝑭⟺𝑭 𝑝∧𝑝⟺𝑝 IDEMPOTENT LAWS ¬(¬𝑝)⟺𝑝 DOUBLE NEGATION

SOME logical equivalences Name 𝑝∧𝑞⟺𝑞∧𝑝 COMMUTATIVE LAWS 𝑝∨𝑞⟺𝑞∨𝑝 (𝑝∧𝑞)∧𝑟⟺𝑝∧(𝑞∧𝑟) ASSOCIATIVE LAWS (𝑝∨𝑞)∨𝑟⟺𝑝∨(𝑞∨𝑟) 𝑝∨(𝑞∧𝑟)⟺(𝑝∨𝑞)∧(𝑝∨𝑟) DISTRIBUTIVE LAWS 𝑝∧(𝑞∨𝑟)⟺(𝑝∧𝑞)∨(𝑝∧𝑟) ¬(𝑝∧𝑞)⟺¬𝑝∨¬𝑞 DE MORGAN’S LAW ¬(𝑝∨𝑞)⟺¬𝑝∧¬𝑞

On Implications 𝑝⇒𝑞 Hypothesis Conclusion CONVERSE: 𝑞⇒𝑝 INVERSE: ¬𝑝⇒¬𝑞 CONTRAPOSITIVE: ¬𝑞⇒¬𝑝 Show to the class that the above statement is true by constructing the truth tables of an implication and its contrapositive. “An implication is always logically equivalent to its own contrapositive.”

When is mathematical reasoning correct? Inductive Reasoning Deductive Reasoning Differentiate Inductive and Deductive Reasoning.

Mathematical jargons THEOREM PROOF AXIOM RULES OF INFERENCE

Some rules of inference Rule of Inference Name 𝑝 _______ ∴𝑝∨𝑞 ADDITION ¬𝑞 𝑝⇒𝑞 ______ ∴¬𝑝 MODUS TOLLENS (the mode of denying) 𝑝∧𝑞 ∴𝑝 SIMPLIFICATION 𝑞⇒𝑟 ________ ∴𝑝⇒𝑟 HYPOTHETICAL SYLLOGISM 𝑞 CONJUNCTION 𝑝∨𝑞 ¬𝑝 ∴𝑞 DISJUNCTIVE SYLLOGISM MODUS PONENS (the mode of affirming)

examples Identify the rules of inference used in each of the following arguments. Anna is a human resource management major. Therefore, Anna is either a human resource management major or a computer applications major. If you have a current network password, then you can log on to the network. You have a current network password. Therefore, you can log on to the network. 1) Addition 2) Modus Ponens

examples If you have a current network password, then you can log on to the network. You can’t log on to the network. Therefore, you don’t have a current network password. If I go swimming, the I will stay in the sun for an hour. If I stay in the sun for an hour, then I will get sunburn. Therefore, if I go swimming , then I will get sunburn. 3) Modus tollens 4) Hypothetical Syllogism

Fallacy of affirming conclusion Fallacy of denying the hypothesis Types of fallacies Fallacy of affirming conclusion Fallacy of denying the hypothesis Begging the question or circular reasoning Differentiate the three types of fallacies. Wr

Fallacy of affirming the conclusion! Example If you do every problem in a math book, then you will learn mathematics. You learned mathematics. Therefore, you did every problem in a math book. Fallacy of affirming the conclusion!

Fallacy of denying the hypothesis! Example If you do every problem in a math book, then you will learn mathematics. You did not do every problem in the math book. Therefore, you did not learn mathematics. Fallacy of denying the hypothesis!

exercises Answer the following exercises found on page 15 of the book: #’s 8,9,12,16 and 18. Answer the following exercises found on page 22 of the book: #’s 1 and 2.