Conjunction Example 1: Given: p: Ann is on the softball team. q: Paul is on the football team. Problem: What does p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q represent? Solution: In Example 1, statement p represents the sentence, "Ann is on the softball team," and statement q represents the sentence, "Paul is on the football team." The symbol https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif is a logical connector which means "and." Therefore, the compound statement p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q represents the sentence, "Ann is on the softball team and Paul is on the football team." The statement p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q is a conjunction. Definition: A conjunction is a compound statement formed by joining two statements with the connector AND. The conjunction "p and q" is symbolized by p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q. A conjunction is true when both of its combined parts are true; otherwise it is false. Now that we have defined a conjunction, we can apply it to Example 1. The conjunction p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q is true when both "Ann is on the softball team" and "Paul is on the football team" are true statements; otherwise it is false. We can construct a truth table for the conjunction "p and q." In order to list all truth values of p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q, we start by listing every combination of truth values in the first two columns of the truth table below. p q p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q T T T F F T F F Next, we complete the last column according to the rules for conjunction listed above. p q p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q T T T T F F F T F F F F The truth table above lists the truth values of p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q. A truth table is an excellent tool for listing the truth values of a conjunction (or any compound statement). (Note: Throughout our lessons on symbolic logic, we will always construct truth tables with the first two columns listed exactly as above. The order of the truth values in these first columns is critical to finding all truth values for a given statement. This order will also apply to other formats used to list truth values in more advanced lessons.) Let's look at some more examples of conjunction. Example 2: Given: a: A square is a quadrilateral. b: Harrison Ford is an American actor. Problem: Construct a truth table for the conjunction "a and b." Solution: a b a https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif b T T T T F F F T F F F F Example 3: Given: r: The number x is odd. s: The number x is prime. Problem: Can we list all truth values for r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s in a truth table? Why or why not? Solution: Since each statement given in this example represents an open sentence, the truth value of r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s will depend on the value of variable x. But there are an infinite number of replacement values for x, so we cannot list all truth values for r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s in a truth table. We can, however, find the truth value of r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s for given values of x as shown below. If x = 3, then r is true, s is true. The conjunction r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s is true. If x = 9, then r is true, s is false. The conjunction r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s is false. If x = 2, then r is false, s is true. The conjunction r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s is false. If x = 6, then r is false, s is false. The conjunction r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s is false. In the next example we are given the truth values of each statement. We are then asked to determine the truth values of the specified conjunctions. Example 4: Given: p: The number 11 is prime. true q: The number 17 is composite. false r: The number 23 is prime. true Problem: For each conjunction below, write a sentence and indicate if it is true or false. 1. p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q The number 11 is prime and the number 17 is composite. false 2. p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif r The number 11 is prime and the number 23 is prime. true 3. q https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif r The number 17 is composite and the number 23 is prime. false A conjunction is formed by combining two statements with the connector "and." One of these statements can be a negation as shown in the example below. Example 5: Construct a truth table for each conjunction below: 1. x and y 2. ~x and y 3. ~y and x Solution: x y x https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif y T T T T F F F T F F F F https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/tab.gif x y ~x ~x https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif y T T F F T F F F F T T T F F T F https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/tab.gif x y ~y ~y https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif x T T F F T F T T F T F F F F T F ___________________________________________________________________________________________________ Summary: A conjunction is a compound statement formed by joining two statements with the connector "and." The conjunction "p and q" is symbolized by p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q. A conjunction is true when both of its combined parts are true; otherwise it is false. ___________________________________________________________________________________________________ Exercises Directions: Read each question below. Select your answer by clicking on its button. Feedback to your answer is provided in the RESULTS BOX. If you make a mistake, choose a different button. 1. Which of the following sentences is a conjunction? Začátek formuláře (_) Jill eats pizza or Sam eats pretzels. (_) Jill eats pizza but not pretzels. (_) Jill eats pizza and Sam eats pretzels. (_) None of the above. RESULTS BOX: _____________________________________________ Konec formuláře 2. Which of the following statements is a conjunction? Začátek formuláře (_) p + q (_) p https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif q (_) ~p (_) None of the above. RESULTS BOX: _____________________________________________ Konec formuláře 3. A conjunction is used with which connector? Začátek formuláře (_) Not (_) Or (_) And (_) None of the above. RESULTS BOX: _____________________________________________ Konec formuláře 4. If a is false and b is true, what is the truth value of a https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif b? Začátek formuláře (_) True (_) False (_) Not enough information was given. (_) None of the above. RESULTS BOX: _____________________________________________ Konec formuláře . Given: r: y is prime. s: y is even. Problem: What is the truth value of r https://www.mathgoodies.com/sites/all/modules/custom/lessons/images/symbolic_logic/images/and.gif s when y is replaced by 2? Začátek formuláře (_) True (_) False (_) Not enough information was given. (_) None of the above. RESULTS BOX: _____________________________________________ Konec formuláře