Professional Documents
Culture Documents
Chapter 2 Mathematical Language and Symbols
Chapter 2 Mathematical Language and Symbols
Q is equivalent to the statement Pe>Q=(P>Q)A(Q=>P). Construct the truth table for the logical operator <= and check that indeed it is equivalent to (P= Q)a(Q= P). A biconditional is often stated as, Pif and only if Q Pis necessary and sufficient for Q. Example 3: Write the following in symbolic form using P, Q, and R for statements and the symbols —, A, v,>, < where P: Pres. Duterte is a good president. Q: Government officials are corrupt. R: People are happy. a. If Pres. Duterte is a good president, then government officials are not corrupt. b. If government officials are not corrupt, then the people are happy. c. If Pres. Duterte is a good president and people are happy, then government officials are not corrupt 34Mathematical Language and Symbols d. Pres. Duterte is not a good president if and only if government officials are corrupt and the people are not happy- Answers: a. P=>-Q b. -O>R c. PAR=>=Q d. aP. (QAR) Converse, Inverse, Contrapositive Suppose P and Q are propositions. Given the implication P=>Q. Its converse is Q= P, its inverse is .P > —Q, and its contrapositive is sQ => +P. That is, Given: If Pthen Q. Inverse: If not P then not Q. Converse: If Q then P. Contrapositive: If not Q then not P. To determine whether the conditional statement is true or false, we come up with the following truth table. Referring to the truth table of the implication statement P > Q below, we then create the truth table for the inverse, converse, and contrapositive statements. 35a | Mathematics in the Modern World ————_ Truth table of the inverse, converse, and contrapositive of P>Q. Inverse Converse Contrapositive =P =>30 Q=P =Q=-—P T 7 T F F T T ‘7 F - T + Example 4: Give the converse, inverse, and contrapositive of the following implications: a. If this movie is interesting, then I am watching it. b. If pis a prime number, then it is odd. Answers: a. Inverse: If this movie is not interesting, then I am not watching it. Converse: If I am watching this movie, then it is interesting. Contrapositive: If | am not watching this movie, then it is not interesting. b. Inverse: If p is not a prime number, then it is not odd. Converse: If p is an odd number, then it is prime. Contrapositive: If p is not odd, then it is not a prime number. Example 5: Identify three simple propositions in the statement below and label them P, Q, and R. Then express symbolically the statement using the logical operators AV) Or a. Statement: A function f has an inverse if and only if fis one-to-one and onto. 36Mathematical Language and Symbols Solution: Let P: A function fhas an inverse. Q: f is one-to-one. R: f is onto. Then using the mathematical symbols, the statement is equivalent to P > (QR). The statement can also be written as [P> (QAR A[QaR)=> Pi. | Quantifiers Quantifiers are used to describe the variable(s) in a statement. Types 1. The universal quantifier is usually written in the English language as “for all” or “for every.” It is denoted by the symbol Vv , 2. The existential quantifier is expressed in words as “there exists” or “for some.” This quantifier is denoted by 3. Compound Quantifiers When one quantity is involved in a statement, it is common to encounter more than one quantifier for that statement. Special care must be taken in the order in which these quantifiers appear. Order does not matter if the same quantifier is used. For example, the statement vx,Vy,P(y) is the same as Wy, Vx, P(x, y)- Similarly, for the quantified sentence 3x,Jy,P(x,y) is equivalent to 3y,3x,P(x,y). For mixed quantifiers, order is definitely important. The statement Vx,3y,P(x,y) is never always equivalent to the sentence By, Vx, P(x, y) - 37ite | Mathematics in the Modem World —————_ Example 6: Write as an English sentence and determine if i is true or false. a. Vee, aye R, x+y =10 b. WxeZ", Jy eR, y? =x Answers: a. For every real number x, there exists a real number y such that the sum of x and y is equal to 10. TRUE b. For every positive integer x, there exists a real number y such that the square of y is equal to x. TRUE go EXERCISES SET 2 For Exercises 1 to 5, identify what is wrong in each of the following sentences/expressions: 1, 2cN . (2,3) €f fis a function . x<4 or x<3 is equivalent to 4, >. Let P: The sun is shining. Q: It is raining. R: The ground is wet. 39____— Mathematics in the Modem i —, 30. 31. 32. 33. 34. 35. Ifit is raining, then the sun is not shining. It is raining and the ground is wet. The ground is wet if and only if it is raining and the sun is shining. The sun is shining or it is raining. The ground is not wet. The ground is not wet if and only if the sun is shining. For Exercises 36 to 40, give the converse, inverse, and contrapositive of the following implications. 36. 37. 38. 39. 40, If nis an irrational number then it is a number that goes on forever. If x is the height of a box then it is a positive number. If the year 2020 is a leap year then there has to be 366 days in that year. If i is a complex number then it is not a real number. If x is less than 0 then it is negative.