homework 2 compound statements

2.2 Compound Statements

Learning objectives.

After completing this section, you should be able to:

• Translate compound statements into symbolic form.
• Translate compound statements in symbolic form with parentheses into words.
• Apply the dominance of connectives.

Suppose your friend is trying to get a license to drive. In most places, they will need to pass some form of written test proving their knowledge of the laws and rules for driving safely. After passing the written test, your friend must also pass a road test to demonstrate that they can perform the physical task of driving safely within the rules of the law.

Consider the statement: "My friend passed the written test, but they did not pass the road test." This is an example of a compound statement , a statement formed by using a connective to join two independent clauses or logical statements. The statement, “My friend passed the written test,” is an independent clause because it is a complete thought or idea that can stand on its own. The second independent clause in this compound statement is, “My friend did not pass the road test.” The word "but" is the connective used to join these two statements together, forming a compound statement. So, did your friend acquire their driving license?.

This section introduces common logical connectives and their symbols, and allows you to practice translating compound statements between words and symbols. It also explores the order of operations, or dominance of connectives, when a single compound statement uses multiple connectives.

Common Logical Connectives

Understanding the following logical connectives, along with their properties, symbols, and names, will be key to applying the topics presented in this chapter. The chapter will discuss each connective introduced here in more detail.

The joining of two logical statements with the word "and" or "but" forms a compound statement called a conjunction . In logic, for a conjunction to be true, all the independent logical statements that make it up must be true. The symbol for a conjunction is ∧ ∧ . Consider the compound statement, “Derek Jeter played professional baseball for the New York Yankees, and he was a shortstop.” If p p represents the statement, “Derrick Jeter played professional baseball for the New York Yankees,” and if q q represents the statement, “Derrick Jeter was a short stop,” then the conjunction will be written symbolically as p ∧ q . p ∧ q .

The joining of two logical statements with the word “or” forms a compound statement called a disjunction . Unless otherwise specified, a disjunction is an inclusive or statement, which means the compound statement formed by joining two independent clauses with the word or will be true if a least one of the clauses is true. Consider the compound statement, "The office manager ordered cake for for an employee’s birthday or they ordered ice cream.” This is a disjunction because it combines the independent clause, “The office manager ordered cake for an employee’s birthday,” with the independent clause, “The office manager ordered ice cream,” using the connective, or . This disjunction is true if the office manager ordered only cake, only ice cream, or they ordered both cake and ice cream. Inclusive or means you can have one, or the other, or both!

Joining two logical statements with the word implies , or using the phrase “if first statement , then second statement,” is called a conditional or implication . The clause associated with the "if" statement is also called the hypothesis or antecedent , while the clause following the "then" statement or the word implies is called the conclusion or consequent . The conditional statement is like a one-way contract or promise. The only time the conditional statement is false, is if the hypothesis is true and the conclusion is false. Consider the following conditional statement, “If Pedro does his homework, then he can play video games.” The hypothesis/antecedent is the statement following the word if , which is “Pedro does/did his homework.” The conclusion/consequent is the statement following the word then , which is “Pedro can play his video games.”

Joining two logical statements with the connective phrase “if and only if” is called a biconditional . The connective phrase "if and only if" is represented by the symbol, ↔ . ↔ . In the biconditional statement, p ↔ q , p ↔ q , p p is called the hypothesis or antecedent and q q is called the conclusion or consequent. For a biconditional statement to be true, the truth values of p p and q q must match. They must both be true, or both be false.

The table below lists the most common connectives used in logic, along with their symbolic forms, and the common names used to describe each connective.

These connectives, along with their names, symbols, and properties, will be used throughout this chapter and should be memorized.

Example 2.8

Associate connectives with symbols and names.

For each of the following connectives, write its name and associated symbol.

• A compound statement formed with the connective word or is called a disjunction, and it is represented by the ∨ ∨ symbol.
• A compound statement formed with the connective word implies or phrase “ if …, then” is called a conditional statement or implication and is represented by the → → symbol.
• A compound statement formed with the connective words but or and is called a conjunction, and it is represented by the ∧ ∧ symbol.

Your Turn 2.8

Translating compound statements to symbolic form.

To translate a compound statement into symbolic form, we take the following steps.

• Identify and label all independent affirmative logical statements with a lower case letter, such as p p , q q , or r r .
• Identify and label any negative logical statements with a lowercase letter preceded by the negation symbol, such as ~ p ~ p , ~ q ~ q , or ~ r ~ r .
• Replace the connective words with the symbols that represent them, such as ∧ , ∨ , → , or ↔ . ∧ , ∨ , → , or ↔ .

Consider the previous example of your friend trying to get their driver’s license. Your friend passed the written test, but they did not pass the road test. Let p p represent the statement, “My friend passed the written test.” And, let ~ q ~ q represent the statement, “My friend did not pass the road test.” Because the connective but is logically equivalent to the word and , the symbol for but is the same as the symbol for and ; replace but with the symbol ∧ . ∧ . The compound statement is symbolically written as: p ∧ ~ q p ∧ ~ q . My friend passed the written test, but they did not pass the road test.

When translating English statements into symbolic form, do not assume that every connective “and” means you are dealing with a compound statement. The statement, “The stripes on the U.S. flag are red and white,” is a simple statement. The word “white” doesn’t express a complete thought, so it is not an independent clause and does not get its own symbol. This statement should be represented by a single letter, such as s s : The stripes on the U.S. flag are red and white.

Example 2.9

Translating compound statements into symbolic form.

Let p p represent the statement, “It is a warm sunny day,” and let q q represent the statement, “the family will go to the beach.” Write the symbolic form of each of the following compound statements.

• If it is a warm sunny day, then the family will go to the beach.
• The family will go to the beach, and it is a warm sunny day.
• The family will not go to the beach if and only if it is not a warm sunny day.
• The family not go to the beach, or it is a warm sunny day.
• Replace “it is a warm sunny day” with p p . Replace “the family will go to the beach.” with q q . Next. Next, because the connective is if …, then place the conditional symbol, → → , between p p and q q . The compound statement is written symbolically as: p → q . p → q .
• Replace “The family will go to the beach” with q q . Replace “it is a warm sunny day.” with p p . Next, because the connective is and , place the ∧ ∧ symbol between q q and p p . The compound statement is written symbolically as: q ∧ p . q ∧ p .
• Replace “The family will not go to the beach. with ~ q ~ q . Replace “it is not a warm sunny day” with ~ p ~ p . Next, because the connective is or , if and only if , place the biconditional symbol, ↔ ↔ between ~ q ~ q and ~ p ~ p . The compound statement is written symbolically as: ~ q ↔ ~ p . ~ q ↔ ~ p .
• Replace “The family will not go to the beach” with ~ q ~ q . Replace “it is a warm sunny day” with p p . Next, because the connective is or , place the ∨ ∨ symbol between ~ q ~ q and p p . The compound statement is written symbolically as: ~ q ∨ p . ~ q ∨ p .

Your Turn 2.9

Translating compound statements in symbolic form with parentheses into words.

When parentheses are written in a logical argument, they group a compound statement together just like when calculating numerical or algebraic expressions. Any statement in parentheses should be treated as a single component of the expression. If multiple parentheses are present, work with the inner most parentheses first.

Consider your friend’s struggles to get their license to drive. Let p p represent the statement, “My friend passed the written test,” let q q represent the statement, “My friend passed the road test,” and let r r represent the statement, “My friend received a driver’s license.” The statement ( p ∧ q ) → r ( p ∧ q ) → r can be translated into words as follows: the statement p ∧ q p ∧ q is grouped together to form the hypothesis of the conditional statement and r r is the conclusion. The conditional statement has the form “ if p ∧ q , p ∧ q , then r . r . ” Therefore, the written form of this statement is: “If my friend passed the written test and they passed the road test, then my friend received a driver’s license.”

Sometimes a compound statement within parentheses may need to be negated as a group. To accomplish this, add the phrase, “it is not the case that” before the translation of the phrase in parentheses. For example, using p p , q q , and r r of your friend obtaining a license, let’s translate the statement ~ ( p ∧ q ) → ~ r ~ ( p ∧ q ) → ~ r into words.

In this case, the hypothesis of the conditional statement is ~ ( p ∧ q ) ~ ( p ∧ q ) and the conclusion is ~ r . ~ r . To negate the hypothesis, add the phrase “it is not the case” before translating what is in parentheses. The translation of the hypothesis is the sentence, “It is not the case that my friend passed the written test and they passed the road test,” and the translation of the conclusion is, “My friend did not receive a driver’s license.” So, a translation of the complete conditional statement, ~ ( p ∧ q ) → ~ r ~ ( p ∧ q ) → ~ r is: “If it is not the case that my friend passed the written test and the road test, then my friend did not receive a driver’s license.”

It is acceptable to interchange proper names with pronouns and remove repeated phrases to make the written statement more readable, as long the meaning of the logical statement is not changed.

Logic Part 1B: Compound Statements, Connectives and Symbols

Example 2.10

Let p p represent the statement, “My child finished their homework,” let q q represent the statement, “My child cleaned her room,” let r r represent the statement, “My child played video games,” and let s s represent the statement, “My child streamed a movie.” Translate each of the following symbolic statements into words.

• ~ ( p ∧ q ) ~ ( p ∧ q )
• ( p ∧ q ) → ( r ∨ s ) ( p ∧ q ) → ( r ∨ s )
• ~ ( r ∨ s ) ↔ ~ ( p ∧ q ) ~ ( r ∨ s ) ↔ ~ ( p ∧ q )
• Replace ~ with “It is not the case,” and ∧ ∧ with “and.” One possible translation is: “It is not the case that my child finished their homework and cleaned their room.”
• The hypothesis of the conditional statement is, “My child finished their homework and cleaned their room.” The conclusion of the conditional statement is, “My child played video games or streamed a movie.” One possible translation of the entire statement is: “If my child finished their homework and cleaned their room, then they played video games or streamed a movie.”
• The hypothesis of the biconditional statement is ~ ( r ∨ s ) ~ ( r ∨ s ) and is written in words as: “It is not the case that my child played video games or streamed a movie.” The conclusion of the biconditional statement is ~ ( p ∧ q ) ~ ( p ∧ q ) , which translates to: “It is not the case that my child finished their homework and cleaned their room.” Because the biconditional, ↔ ↔ translates to if and only if , one possible translation of the statement is: “It is not the case that my child played video games or streamed a movie if and only if it is not the case that my child finished their homework and cleaned their room.”

Your Turn 2.10

The dominance of connectives.

The order of operations for working with algebraic and arithmetic expressions provides a set of rules that allow consistent results. For example, if you were presented with the problem 1 + 3 × 2 1 + 3 × 2 , and you were not familiar with the order of operation, you might assume that you calculate the problem from left to right. If you did so, you would add 1 and 3 to get 4, and then multiply this answer by 2 to get 8, resulting in an incorrect answer. Try inputting this expression into a scientific calculator. If you do, the calculator should return a value of 7, not 8.

Scientific Calculator

The order of operations for algebraic and arithmetic operations states that all multiplication must be applied prior to any addition. Parentheses are used to indicate which operation—addition or multiplication—should be done first. Adding parentheses can change and/or clarify the order. The parentheses in the expression 1 + ( 3 × 2 ) 1 + ( 3 × 2 ) indicate that 3 should be multiplied by 2 to get 6, and then 1 should be added to 6 to get 7: 1 + ( 3 × 2 ) = 7. 1 + ( 3 × 2 ) = 7.

As with algebraic expressions, there is a set of rules that must be applied to compound logical statements in order to evaluate them with consistent results. This set of rules is called the dominance of connectives . When evaluating compound logical statements, connectives are evaluated from least dominant to most dominant as follows:

• Parentheses are the least dominant connective. So, any expression inside parentheses must be evaluated first. Add as many parentheses as needed to any statement to specify the order to evaluate each connective.
• Next, we evaluate negations.
• Then, we evaluate conjunctions and disjunctions from left to right, because they have equal dominance.
• After evaluating all conjunctions and disjunctions, we evaluate conditionals.
• Lastly, we evaluate the most dominant connective, the biconditional. If a statement includes multiple connectives of equal dominance, then we will evaluate them from left to right.

See Figure 2.7 for a visual breakdown of the dominance of connectives.

Let’s revisit your friend’s struggles to get their driver’s license. Let p p represent the statement, “My friend passed the written test,” let q q represent the statement, “My friend passed the road test,” and let r r represent the statement, “My friend received a driver’s license.” Let's use the dominance of connectives to determine how the compound statement p ∧ ~ q → r p ∧ ~ q → r should be evaluated.

Step 1: There are no parentheses, which is least dominant of all connectives, so we can skip over that.

Step 2: Because negation is the next least dominant, we should evaluate ~ q ~ q first. We could add parentheses to the statement to make it clearer which connecting needs to be evaluated first: p ∧ ~ q → r p ∧ ~ q → r is equivalent to p ∧ ( ~ q ) → r . p ∧ ( ~ q ) → r .

Step 3: Next, we evaluate the conjunction, ∧ ∧ . p ∧ ( ~ q ) → r p ∧ ( ~ q ) → r is equivalent to ( p ∧ ( ~ q ) ) → r . ( p ∧ ( ~ q ) ) → r .

Step 4: Finally, we evaluate the conditional, → , → , as this is the most dominant connective in this compound statement.

When using spreadsheet applications, like Microsoft Excel or Google Sheets, have you noticed that core functions, such as sum, average, or rate, have the same name and syntax for use? This is not a coincidence. Various standards organizations have developed requirements that software developers must implement to meet the conditions set by governments and large customers worldwide. The OpenDocument Format OASIS Standard enables transferring data between different office productivity applications and was approved by the International Standards Organization (ISO) and IEC on May 6, 2006.

Prior to adopting these standards, a government entity, business, or individual could lose access to their own data simply because it was saved in a format no longer supported by a proprietary software product—even data they were required by law to preserve, or data they simply wished to maintain access to.

Just as rules for applying the dominance of connectives help maintain understanding and consistency when writing and interpreting compound logical statements and arguments, the standards adopted for database software maintain global integrity and accessibility across platforms and user bases.

Example 2.11

Applying the dominance of connectives.

For each of the following compound logical statements, add parentheses to indicate the order to evaluate the statement. Recall that parentheses are evaluated innermost first.

• p ∧ ~ q ∨ r p ∧ ~ q ∨ r
• q → ~ p ∧ r q → ~ p ∧ r
• ~ ( p ∨ q ) ↔ ~ p ∧ ~ q ~ ( p ∨ q ) ↔ ~ p ∧ ~ q
• Because negation is the least dominant connective, we evaluate it first: p ∧ ( ~ q ) ∨ r . p ∧ ( ~ q ) ∨ r . Because conjunction and disjunction have the same dominance, we evaluate them left to right. So, we evaluate the conjunction next, as indicated by the additional set of parentheses: ( p ∧ ( ~ q ) ) ∨ r . ( p ∧ ( ~ q ) ) ∨ r . The only remaining connective is the disjunction, so it is evaluated last, as indicated by the third set of parentheses. The complete solution is: ( ( p ∧ ( ~ q ) ) ∨ r ) . ( ( p ∧ ( ~ q ) ) ∨ r ) .
• Negation has the lowest dominance, so it is evaluated first: q → ( ~ p ) ∧ r . q → ( ~ p ) ∧ r . The remaining connectives are the conditional and the conjunction. Because conjunction has a lower precedence than the conditional, it is evaluated next, as indicated by the second set of parentheses: q → ( ( ~ p ) ∧ r ) . q → ( ( ~ p ) ∧ r ) . The last step is to evaluate the conditional, as indicated by the third set of parentheses: ( q → ( ( ~ p ) ∧ r ) ) . ( q → ( ( ~ p ) ∧ r ) ) .
• First, we evaluate the negations on the right side of the biconditional prior to the conjunction.
• Then, we evaluate the disjunction on the left side of the biconditional, followed by the negation of the disjunction on the left side.
• Lastly, after completely evaluating each side of the biconditional, we evaluate the biconditional. It does not matter which side you begin with.

Your Turn 2.11

Work it out, logic terms and properties – matching game.

Materials: For every group of four students, include 30 cards (game, trading, or playing cards), 30 individual clear plastic gaming card sleeves, and 30 card-size pieces of paper. Prepare a list of 60 questions and answers ahead of time related to definitions and problems in Statements and Quantifiers and Compound Statements . Provide each group of four students with 20 questions and their associated answers. Instruct each group to select 15 of the 20 questions, and then, for each problem selected, create one card with the question and one card with the answer. Instruct the groups to then place each problem and answer in a separate card sleeve. Once they create 15 problem cards and 15 answer cards, have students shuffle the set of cards.

To play the game, groups should exchange their card decks to ensure no team begins playing with the deck that they created. Split each four-person group into teams of two students. After shuffling the cards, one team lays cards face down on their desk in a five-by-six grid. The other team will go first.

Each player will have a turn to try matching the question with the correct answer by flipping two cards to the face up position. If a team makes a match, they get to flip another two cards; if they do not get a match, they flip the cards face down and it is the other team’s turn to flip over two cards. The game continues in this manner until teams match all question cards with their corresponding answer cards. The team with the most set of matching cards wins.

In the first module of this chapter, we evaluated the truth value of negations. In the following modules, we will discuss how to evaluate conjunctions, disjunctions, conditionals, and biconditionals, and then evaluate compound logical statements using truth tables and our knowledge of the dominance of connectives.

Check Your Understanding

Section 2.2 exercises.

This book may not be used in the training of large language models or otherwise be ingested into large language models or generative AI offerings without OpenStax's permission.

Want to cite, share, or modify this book? This book uses the Creative Commons Attribution License and you must attribute OpenStax.

Access for free at https://openstax.org/books/contemporary-mathematics/pages/1-introduction

• Authors: Donna Kirk
• Publisher/website: OpenStax
• Book title: Contemporary Mathematics
• Publication date: Mar 22, 2023
• Location: Houston, Texas
• Book URL: https://openstax.org/books/contemporary-mathematics/pages/1-introduction
• Section URL: https://openstax.org/books/contemporary-mathematics/pages/2-2-compound-statements

© Jul 25, 2024 OpenStax. Textbook content produced by OpenStax is licensed under a Creative Commons Attribution License . The OpenStax name, OpenStax logo, OpenStax book covers, OpenStax CNX name, and OpenStax CNX logo are not subject to the Creative Commons license and may not be reproduced without the prior and express written consent of Rice University.

Chapter 7 Logic

7.2 Compound Statements

Learning Objectives

By the end of this section, you will be able to:

• Translate compound statements into symbolic form
• Translate compound statements in symbolic form with parentheses into words
• Apply the dominance of connectives

Suppose your friend is trying to get a license to drive. In most places, they will need to pass some form of written test proving their knowledge of the laws and rules for driving safely. After passing the written test, your friend must also pass a road test to demonstrate that they can perform the physical task of driving safely within the rules of the law.

Consider the statement “My friend passed the written test, but they did not pass the road test.” This is an example of a compound statement , a statement formed by using a  connective to join two independent clauses or logical statements. The statement “My friend passed the written test” is an independent clause because it is a complete thought or idea that can stand on its own. The second independent clause in this compound statement is “My friend did not pass the road test.” The word “but” is the connective used to join these two statements together, forming a compound statement. So did your friend acquire their driving license?

This section introduces common logical connectives and their symbols and allows you to practice translating compound statements between words and symbols. It also explores the order of operations, or dominance of connectives, when a single compound statement uses multiple connectives.

Common Logical Connectives

Understanding the following logical connectives, along with their properties, symbols, and names, will be key to applying the topics presented in this chapter. The chapter will discuss each connective introduced here in more detail.

The joining of two logical statements with the word “and” or “but” forms a compound statement called a  conjunction . In logic, for a conjunction to be true, all the independent logical statements that make it up must be true. The symbol for a conjunction is [latex]\land .[/latex] Consider the compound statement “Derek Jeter played professional baseball for the New York Yankees, and he was a shortstop.” If [latex]p[/latex] represents the statement “Derrick Jeter played professional baseball for the New York Yankees” and if [latex]q[/latex] represents the statement “Derrick Jeter was a shortstop,” then the conjunction will be written symbolically as [latex]p \land q[/latex].

The joining of two logical statements with the word “or” forms a compound statement called a  disjunction . Unless otherwise specified, a disjunction is an inclusive  or  statement, which means the compound statement formed by joining two independent clauses with the word  or will be true if at least one of the clauses is true. Consider the compound statement “The office manager ordered cake for an employee’s birthday or they ordered ice cream.” This is a disjunction because it combines the independent clause “The office manager ordered cake for an employee’s birthday” with the independent clause “The office manager ordered ice cream” using the connective or . This disjunction is true if the office manager ordered only cake, only ice cream, or both cake and ice cream. Inclusive or means you can have one or the other or both!

Joining two logical statements with the word  implies  or using the phrase “if  first statement , then second statement”  is called a  conditional  or  implication . The clause associated with the “if” statement is also called the  hypothesis   or  antecedent , while the clause following the “then” statement or the word  implies  is called the  conclusion  or  consequent . The conditional statement is like a one-way contract or promise. The only time the conditional statement is false is if the hypothesis is true and the conclusion is false. Consider the following conditional statement: “If Pedro does his homework, then he can play video games.” The hypothesis/antecedent is the statement following the word if , which is “Pedro does/did his homework.” The conclusion/consequent is the statement following the word  then , which is “Pedro can play his video games.”

Joining two logical statements with the connective phrase “if and only if” is called a  biconditional . The connective phrase “if and only if” is represented by the symbol [latex]\leftrightarrow[/latex].  In the biconditional statement [latex]p \leftrightarrow q[/latex], [latex]p[/latex] is called the hypothesis or antecedent and [latex]q[/latex] is called the conclusion or consequent. For a biconditional statement to be true, the truth values of [latex]p[/latex] and [latex]q[/latex] must match. They must both be true or both be false.

The table below lists the most common connectives used in logic, along with their symbolic forms and the common names used to describe each connective.

[latex]\begin{array} {|c|c|c|} \hline \textbf{Connective}& \textbf{Symbol} & \textbf{Name} \\ \hline \text{and, but} & \land & \text{conjunction} \\ \hline \text{or} & \lor & \text{disjunction, inclusive or}\\ \hline \text{not} & \sim & \text{negation} \\ \hline \text{if..., then implies} & \rightarrow & \text{conditional, implication} \\ \hline \text{if and only if} & \leftrightarrow & \text{biconditional} \\ \hline \end{array}[/latex]

Note: These connectives, along with their names, symbols, and properties, will be used throughout this chapter and should be memorized.

For each of the following connectives, write its name and associated symbol.

A compound statement formed with the connective word  or is called a disjunction, and it is represented by the [latex]\lor[/latex] symbol.

A compound statement formed with the connective word  implies or the phrase “ if …, then” is called a conditional statement or implication and is represented by the [latex]\rightarrow[/latex] symbol.

A compound statement formed with the connective words  but  or  and is called a conjunction, and it is represented by the [latex]\land[/latex] symbol.

For each connective, write its name and associated symbol.

c) if and only if

a) Negation; [latex]\sim[/latex]

b) Conjunction; [latex]\land[/latex]

c) Biconditional; [latex]\leftrightarrow[/latex]

Translating Compound Statements to Symbolic Form

To translate a compound statement into symbolic form, we take the following steps:

• Identify and label all independent affirmative logical statements with a lowercase letter, such as [latex]p[/latex], [latex]q[/latex], or [latex]r[/latex].
• Identify and label any negative logical statements with a lowercase letter preceded by the negation symbol, such as [latex]\sim{p}[/latex], [latex]\sim{q}[/latex], or [latex]\sim{r}[/latex].
• Replace the connective words with the symbols that represent them, such as [latex]\land \text{, } \lor \text{, } \rightarrow \text{, or } \leftrightarrow[/latex].

Consider the previous example of your friend trying to get their driver’s license. Your friend passed the written test, but they did not pass the road test. Let [latex]p[/latex] represent the statement “My friend passed the written test.” And let [latex]\sim{q}[/latex] represent the statement “My friend did not pass the road test.” Because the connective but  is logically equivalent to the word  and , the symbol for  but  is the same as the symbol for  and ; replace  but with the symbol [latex]\land[/latex]. The compound statement is symbolically written as [latex]p \land \sim{q}[/latex]. My friend passed the written test, but they did not pass the road test.

Note: When translating English statements into symbolic form, do not assume that every connective “and” means you are dealing with a compound statement. The statement “The stripes on the U.S. flag are red and white” is a simple statement. The word white  doesn’t express a complete thought, so it is not an independent clause and does not get its own symbol. This statement should be represented by a single letter, such as [latex]s[/latex]: The stripes on the U.S. flag are red and white.

Let [latex]p[/latex] represent the statement “It is a warm, sunny day,” and let [latex]q[/latex] represent the statement “the family will go to the beach.” Write the symbolic form of each of the following compound statements.

a) If it is a warm, sunny day, then the family will go to the beach.

Replace “it is a warm, sunny day” with [latex]p[/latex]. Replace “the family will go to the beach” with [latex]q[/latex]. Next, because the connective is if …, then place the conditional symbol, [latex]\rightarrow[/latex], between [latex]p[/latex] and [latex]q[/latex]. The compound statement is written symbolically as [latex]p \rightarrow q[/latex].

b) The family will go to the beach, and it is a warm, sunny day.

Replace “The family will go to the beach” with [latex]q[/latex]. Replace “it is a warm, sunny day” with [latex]p[/latex]. Next, because the connective is and , place the [latex]\land[/latex] symbol between [latex]q[/latex] and [latex]p[/latex]. The compound statement is written symbolically as [latex]q \land p[/latex].

c) The family will not go to the beach if and only if it is not a warm, sunny day.

Replace “The family will not go to the beach” with [latex]\sim{q}[/latex]. Replace “it is not a warm, sunny day” with [latex]\sim{p}[/latex]. Next, because the connective is or ,  if and only if , place the biconditional symbol, [latex]\leftrightarrow[/latex], between [latex]\sim{q}[/latex] and [latex]\sim{p}[/latex]. The compound statement is written symbolically as [latex]\sim{q} \leftrightarrow \sim{p}[/latex].

(d) The family will not go to the beach, or it is a warm, sunny day.

Replace “The family will not go to the beach” with [latex]\sim{q}[/latex]. Replace “it is a warm, sunny day” with [latex]p[/latex]. Next, because the connective is or , place the [latex]\lor[/latex] symbol between [latex]\sim{q}[/latex] and [latex]p[/latex]. The compound statement is written symbolically as: [latex]\sim{q} \lor p[/latex].

Let [latex]p[/latex] represent the statement “It is cold outside,” and let [latex]q[/latex] represent the statement “We will go to the Natchitoches Christmas Festival.” Write the symbolic form of each of the following compound statements:

a) We will go to the Natchitoches Christmas Festival if and only if it is cold outside.

b) It is cold outside, or we will not go to the Natchitoches Christmas Festival.

c) If it is cold outside, then we will go to the Natchitoches Christmas Festival.

a) [latex]q \leftrightarrow p[/latex]

b) [latex]p \lor \sim{q}[/latex]

c) [latex]p \rightarrow q[/latex]

Translating Compound Statements in Symbolic Form with Parentheses into Words

When parentheses are written in a logical argument, they group a compound statement together just like when calculating numerical or algebraic expressions. Any statement in parentheses should be treated as a single component of the expression. If multiple parentheses are present, work with the innermost parentheses first.

Consider your friend’s struggles to get their license to drive. Let [latex]p[/latex] represent the statement “My friend passed the written test,” let [latex]q[/latex] represent the statement “My friend passed the road test,” and let [latex]r[/latex] represent the statement “My friend received a driver’s license.” The statement [latex](p \land q) \rightarrow r[/latex] can be translated into words as follows: the statement [latex]p \land q[/latex] is grouped together to form the hypothesis of the conditional statement and [latex]r[/latex] is the conclusion. The conditional statement has the form “ if  [latex]p \land q[/latex], then  [latex]r[/latex].”

Therefore, the written form of this statement is “If my friend passed the written test and they passed the road test, then my friend received a driver’s license.”

Sometimes a compound statement within parentheses may need to be negated as a group. To accomplish this, add the phrase “it is not the case that” before the translation of the phrase in parentheses. For example, using [latex]p[/latex], [latex]q[/latex], and [latex]r[/latex] of your friend obtaining a license, let’s translate the statement [latex]\sim{(p \land q)} \rightarrow \sim{r}[/latex] into words. In this case, the hypothesis of the conditional statement is [latex]\sim{(p \land q)}[/latex], and the conclusion is [latex]\sim{r}[/latex]. To negate the hypothesis, add the phrase “it is not the case” before translating what is in parentheses. The translation of the hypothesis is the sentence “It is not the case that my friend passed the written test and they passed the road test,” and the translation of the conclusion is “My friend did not receive a driver’s license.” So a translation of the complete conditional statement, [latex]\sim{(p \land q)} \rightarrow \sim{r}[/latex], is “If it is not the case that my friend passed the written test and the road test, then my friend did not receive a driver’s license.”

Note: It is acceptable to interchange proper names with pronouns and remove repeated phrases to make the written statement more readable as long as the meaning of the logical statement is not changed.

Let [latex]p[/latex] represent the statement “I finished my homework,” let [latex]q[/latex] represent the statement “I cleaned my room,” let [latex]r[/latex] represent the statement “I played video games,” and let [latex]s[/latex] represent the statement “I streamed a movie.” Translate each of the following symbolic statements into words.

a) [latex]\sim{(p \land q)}[/latex]

Replace [latex]\sim[/latex] with “It is not the case” and [latex]\land[/latex] with “and.” One possible translation is “It is not the case that I finished my homework and cleaned my room.”

b) [latex](p \land q) \rightarrow (r \lor s)[/latex]

The hypothesis of the conditional statement is “I finished my homework and cleaned my room.” The conclusion of the conditional statement is “I played video games or streamed a movie.” One possible translation of the entire statement is “If I finished my homework and cleaned my room, then I played video games or streamed a movie.”

c) [latex]\sim{(r \lor s)} \leftrightarrow \sim{(p \land q)}[/latex]

The hypothesis of the biconditional statement is [latex]\sim{(r \lor s)}[/latex] and is written in words as “It is not the case that I played video games or streamed a movie.” The conclusion of the biconditional statement is [latex]\sim{(p \land q)}[/latex], which translates to “It is not the case that I finished my homework and cleaned my room.” Because the biconditional [latex]\leftrightarrow[/latex] translates to if and only if , one possible translation of the statement is “It is not the case that I played video games or streamed a movie if and only if it is not the case that I finished my homework and cleaned my room.”

Let [latex]p[/latex] represent the statement “My roommates ordered pizza,” let [latex]q[/latex] represent the statement “I ordered wings,” and let [latex]r[/latex] be the statement “Our friends came over to watch the game.” Translate the following statements into words.

a) [latex]\sim{r} \rightarrow (p \lor q)[/latex]

b) [latex](p \land q) \rightarrow r[/latex]

c) [latex]\sim{(p \lor q)}[/latex]

a) If our friends did not come over to watch the game, then my roommates ordered pizza or I ordered wings.

b) If my roommates ordered pizza and I ordered wings, then our friends came over to watch the game.

c) It is not the case that my roommates ordered pizza or our friends came over to watch the game.

The Dominance of Connectives

The order of operations for working with algebraic and arithmetic expressions provides a set of rules that allow consistent results. For example, if you were presented with the problem [latex]1+2 \times 3[/latex], and you were not familiar with the order of operations, you might assume that you calculate the problem from left to right. If you did so, you would add 1 and 3 to get 4 and then multiply this answer by 2 to get 8, resulting in an incorrect answer. Try inputting this expression into a scientific calculator. If you do, the calculator should return a value of 7, not 8.

Scientific Calculator

The order of operations for algebraic and arithmetic operations states that all multiplication must be applied prior to any addition. Parentheses are used to indicate which operation—addition or multiplication—should be done first. Adding parentheses can change and/or clarify the order. The parentheses in the expression [latex]1+2 \times 3[/latex] indicate that 3 should be multiplied by 2 to get 6, and then 1 should be added to 6 to get 7: [latex]1+2 \times 3 = 7[/latex].

As with algebraic expressions, there is a set of rules that must be applied to compound logical statements in order to evaluate them with consistent results. This set of rules is called the  dominance of connectives . When evaluating compound logical statements, connectives are evaluated from least dominant to most dominant as follows:

• Parentheses are the least dominant connective. So any expression inside parentheses must be evaluated first. Add as many parentheses as needed to any statement to specify the order to evaluate each connective.
• Next, we evaluate negations.
• Then, we evaluate conjunctions and disjunctions from left to right, because they have equal dominance.
• After evaluating all conjunctions and disjunctions, we evaluate conditionals.
• Lastly, we evaluate the most dominant connective, the biconditional. If a statement includes multiple connectives of equal dominance, then we will evaluate them from left to right.

Let’s revisit your friend’s struggles to get their driver’s license. Let [latex]p[/latex] represent the statement “My friend passed the written test,” let [latex]q[/latex] represent the statement “My friend passed the road test,” and let [latex]r[/latex] represent the statement “My friend received a driver’s license.” Let’s use the dominance of connectives to determine how the compound statement [latex]p \land \sim{q} \rightarrow r[/latex] should be evaluated.

Step 1: There are no parentheses, which are the least dominant of all connectives, so we can skip over that.

Step 2: Because negation is the next least dominant, we should evaluate [latex]\sim{q}[/latex] first. We could add parentheses to the statement to make it clearer which connective needs to be evaluated first: [latex]p \land \sim{q} \rightarrow r[/latex] is equivalent to [latex]p \land (\sim{q}) \rightarrow r[/latex].

Step 3:  Next, we evaluate the conjunction,  is equivalent to

Step 4:  Finally, we evaluate the conditional, [latex]\rightarrow[/latex], as this is the most dominant connective in this compound statement.

For each of the following compound logical statements, add parentheses to indicate the order to evaluate the statement. Recall that parentheses are evaluated innermost first.

a) [latex]p \land \sim{q} \lor r[/latex]

Because negation is the least dominant connective, we evaluate it first: [latex]p \land (\sim{q}) \lor r[/latex]. Because conjunction and disjunction have the same dominance, we evaluate them left to right. So we evaluate the conjunction next, as indicated by the additional set of parentheses: [latex](p \land (\sim{q})) \lor r[/latex]. The only remaining connective is the disjunction, so it is evaluated last, as indicated by the third set of parentheses. The complete solution is [latex]((p \land (\sim{q})) \lor r)[/latex].

b) [latex]q \rightarrow \sim{p} \land r[/latex]

Negation has the lowest dominance, so it is evaluated first: [latex]q \rightarrow (\sim{p}) \land r[/latex]. The remaining connectives are the conditional and the conjunction. Because the conjunction has a lower precedence than the conditional, it is evaluated next, as indicated by the second set of parentheses: [latex]q \rightarrow ((\sim{p}) \land r)[/latex]. The last step is to evaluate the conditional, as indicated by the third set of parentheses:  [latex](q \rightarrow ((\sim{p}) \land r))[/latex].

c) [latex]\sim{(p \lor q)} \leftrightarrow \sim{p} \land \sim{q}[/latex]

This statement is known as De Morgan’s law for the negation of a disjunction. It is always true. Section 7.6 of this chapter will explore De Morgan’s law in more detail.

• First, we evaluate the negations on the right side of the biconditional prior to the conjunction.
• Then, we evaluate the disjunction on the left side of the biconditional, followed by the negation of the disjunction on the left side.
• Lastly, after completely evaluating each side of the biconditional, we evaluate the biconditional. It does not matter which side you begin with.

The final solution is [latex](\sim{(p \lor q )}) \leftrightarrow ((\sim{p}) \land (\sim{q}))[/latex].

For each of the following compound logical statements, add parentheses to indicate the order in which to evaluate the statement. Recall that parentheses are evaluated innermost first.

a) [latex]p \lor q \land \sim{r}[/latex]

b) [latex]\sim{p} \rightarrow q \lor r[/latex]

c) [latex]\sim{p} \lor \sim{q} \leftrightarrow \sim{(p \land q)}[/latex]

a) [latex]((p \lor q) \land (\sim{r}))[/latex]

b) [latex]((\sim{p}) \rightarrow (q \lor r))[/latex]

c) [latex]((\sim{p}) \lor (\sim{q})) \leftrightarrow (\sim{(p \land q)})[/latex]

Media Attributions

• Figure 7.2.1 © OpenStax Contemporary Mathematics is licensed under a CC BY (Attribution) license

The joining of two logical statements with the word "and" or "but."

The joining of two logical statements with the word “or.”

Joining two logical statements with the word “implies” or using the phrase “if first statement, then second statement.”

The clause following the "if" statement in a compound statement.

The clause following the "then" statement in a compound statement.

Finite Mathematics Copyright © 2024 by LOUIS: The Louisiana Library Network is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License , except where otherwise noted.

Share This Book