CHAPTER 2

THE LOGIC OF COMPOUND

STATEMENTS

Copyright © Cengage Learning. All rights reserved.

The first great treatises on logic were written by the Greek philosopher
Aristotle. They were a collection of rules for deductive reasoning that were
intended to serve as a basis for the study of every branch of knowledge.

In the seventeenth century, the German philosopher and mathematician

Gottfried Leibniz conceived the idea of using symbols to mechanize the
process of deductive reasoning in much the same way that algebraic
notation had mechanized the process of reasoning about numbers and their
relationships.

Leibniz’s idea was realized in the nineteenth century by the English

mathematicians George Boole and Augustus De Morgan, who founded the
modern subject of symbolic logic.

With research continuing to the present day, symbolic logic has provided,
among other things, the theoretical basis for many areas of computer
science such as digital logic circuit design (see Sections 2.4 and 2.5),
relational database theory (see Section 8.1), automata theory and
computability (see Section 7.4 and Chapter 12), and artificial intelligence
(see Sections 3.3, 10.1, and 10.5).
2
논증(Argument)은 주장을 합리적이고 설득력 있게 뒷받침하기 위해 사용하는
논리적 구조입니다. 논증을 사용하는 이유는 다음과 같습니다:

설득력 강화: 주장을 단순히 말하는 것보다 논리적 근거를 제시하면 상대방이 더
쉽게 받아들일 수 있습니다.

오해 방지: 논증을 통해 자신의 생각을 명확하게 표현할 수 있으므로, 불필요한

오해나 논쟁을 줄일 수 있습니다.

비판적 사고 촉진: 논증을 통해 문제를 다각도로 분석하고, 더 깊이 이해할 수

있습니다.

의사결정 과정에 도움: 논리적으로 구조화된 논증은 더 나은 결정을 내리는 데

도움을 줍니다.

지식 확장: 논증 과정에서 새로운 정보나 관점을 도입함으로써 서로의 이해를 넓힐

수 있습니다.

3
수학에서의 논증은 일반적으로 연역적 추론에 해당합니다. 수학에서는 주어진
공리(axiom)나 정의(definition), 그리고 이미 증명된 정리(theorem)들을 기반으로,
논리적인 추론을 통해 새로운 명제나 결론을 도출합니다. 이 과정에서 사용되는
논리적 구조는 매우 엄격하며, 주어진 전제가 참이라면 결론도 필연적으로 참이어야
합니다.

예를 들어:
1.전제 1: 모든 삼각형의 내각의 합은 180도이다. (기본 정리)
2.전제 2: 이 삼각형은 하나의 삼각형이다.
3.결론: 이 삼각형의 내각의 합은 180도이다.

이처럼 수학적 증명은 연역적 추론을 통해 전제에서 논리적으로 결론을 이끌어내는

과정이므로, 수학에서 논증을 사용할 때는 일반적으로 연역적 추론이라고 봅니다

4
2.1 Logical Form and Logical Equivalence

Copyright © Cengage Learning. All rights reserved.

Logical Form and Logical Equivalence
An argument is a sequence of statements aimed at
demonstrating the truth of an assertion(주장).

The assertion at the end of the sequence is called the

conclusion, and the preceding statements are called
premises.

Argument(논증) : 일정한 근거를 들어 주장을 펼치는 문장.

보통 Premises와 Conclusion으로 구성된다.

6
Logical Form and Logical Equivalence
In logic, the form of an argument is distinguished from its
content. Logical analysis won’t help you determine the
intrinsic merit of an argument’s content, but it will help you
analyze an argument’s form to determine whether the truth
of the conclusion follows necessarily from the truth of the
premises.
논증의 형식을 논리적으로 분석하면 결론의 진실(truth)이 필연적으로 전제의 진실(truth)을
따르는지 판단하는데 도움을 준다.
Truth : True or False

For this reason logic is sometimes defined as the science

of necessary inference or the science of reasoning.

7
Logical Form and Logical Equivalence
Consider the following two arguments. They have very
different content but their logical form is the same. To help
make this clear, we use letters like p, q, and r to represent
component sentences; we let the expression “not p” refer to
the sentence “It is not the case that p”; and we let the
symbol ∴ stand for the word “therefore.”

8
Logical Form and Logical Equivalence

The common form of the arguments is

If p or q, then r.
∴ If not r, then not p and not q.

9
Example 2.1.1 – Identifying Logical Form
Fill in the blanks below so that argument (b) has the same
form as argument (a). Then represent the common form of
the arguments using letters to stand for component
sentences.
a. If Jane is a math major or Jane is a computer science
major, then Jane will take Math 150. Jane is a computer
science major.
Therefore, Jane will take Math 150.

b. If logic is easy or I will study hard.

Therefore, I will get an A in this course.
10
Example 2.1.1 – Solution
a. I (will) study hard.

b. I will get an A in this course.

Common form: If p or q, then r.

q.
Therefore, r.

11
Statements

12
Statements

For example, “Two plus two equals four” and “Two plus two
equals five” are both statements, the first because it is true
and the second because it is false. On the other hand, the
truth or falsity of

depends on the value of x. For some values of x, it is true

(x = 3 and x = −3), whereas for other values it is false.

13
Statements
Similarly, the truth or falsity of

x+y>0

depends on the values of x and y. For instance, when

x = −1 and y = 2 it is true, whereas when x = −1 and y = 1 it
is false.

14
Compound Statements

15
Compound Statements
We now introduce three symbols that are used to build
more complicated logical expressions out of simpler ones.
The symbol denotes not, ∧ denotes and, and ∨ denotes
or.

Given a statement p, the sentence is read “not p” or “It

is not the case that p.” In some computer languages the
symbol is used in place of

16
Compound Statements
In expressions that include the symbol as well as ∧ or
∨, the order of operations specifies that is performed
first.
For instance, p ∧ q = ( p) ∧ q.
In logical expressions, as in ordinary algebraic expressions,
the order of operations can be overridden through the use
of parentheses.

17
Compound Statements
Thus (p ∧ q) represents the negation of the conjunction
of p and q. In this, as in most treatments of logic, the
symbols ∧ and ∨ are considered coequal in order of
operation, and an expression such as p ∧ q ∨ r is
considered ambiguous.

This expression must be written as either (p ∧ q) ∨ r or

p ∧ (q ∨ r) to have meaning.

18
Example 2.1.2 – Translating from English to Symbols: But and Neither-Nor

Write each of the following sentences symbolically, letting

h = “It is hot” and s = “It is sunny.”

a. It is not hot but it is sunny.

b. It is neither hot nor sunny.

19
Example 2.1.2 – Solution
a. The given sentence is equivalent to “It is not hot and it is
sunny,” which can be written symbolically as h ∧ s.

b. To say it is neither hot nor sunny means that it is not hot

and it is not sunny. Therefore, the given sentence can be
written symbolically as h ∧ s.

a. It is not hot but it is sunny.

b. It is neither hot nor sunny.

h = “It is hot” and s = “It is sunny.”

20
Example 2.1.3 – And, Or, and Inequalities
Suppose x is a particular real number. Let p, q, and r
symbolize “0 < x,” “x < 3,” and “x = 3,” respectively. Write
the following inequalities symbolically:

a. x ≤ 3

b. 0 < x < 3

c. 0 < x ≤ 3

21
Example 2.1.3 – Solution
a. q ∨ r
a. x ≤ 3

b. p ∧ q b. 0 < x < 3

c. 0 < x ≤ 3
c. p ∧ (q ∨ r)

Let p, q, and r symbolize “0 < x,” “x < 3,” and “x = 3,” respectively.

p = “0<x”
q = “x<3” x≤3 => q or r
r = “x=3”

22
Truth Values

23
Truth Values

The truth values for negation are summarized in a truth

table.

24
Truth Values

The truth values for conjunction can also be summarized in

a truth table.

25
Truth Values
The table is obtained by considering the four possible
combinations of truth values for p and q.

Each combination is displayed in one row of the table; the

corresponding truth value for the whole statement is placed
in the right-most column of that row. Note that the only row
containing a T is the first one because an and statement is
true only when both components are true.
26
Truth Values

27
Truth Values
Here is the truth table for disjunction:

28
 Evaluating the Truth of More
General Compound Statements

29
Evaluating the Truth of More General Compound Statements

Now that truth values have been assigned to p, p ∧ q,

and p ∨ q, consider the question of assigning truth values
to more complicated expressions such as p ∨ q, (p ∨ q)
∧ (p ∧ q), and (p ∧ q) ∨ r. Such expressions are called
statement forms (or propositional forms).

30
Evaluating the Truth of More General Compound Statements

To compute the truth values for a statement form, follow

rules similar to those used to evaluate algebraic
expressions.

For each combination of truth values for the statement

variables, first evaluate the expressions within the
innermost parentheses, then evaluate the expressions
within the next innermost set of parentheses, and so forth,
until you have the truth values for the complete expression.

31
Example 2.1.4 – Truth Table for Exclusive Or

Construct the truth table for the statement form (p ∨ q) ∧

(p ∧ q). Note that when or is used in its exclusive sense,
the statement “p or q” means “p or q but not both” or “p or q
and not both p and q,” which translates into symbols as
(p ∨ q) ∧ (p ∧ q).

32
Example 2.1.4 – Solution
Set up columns labeled p, q, p ∨ q, p ∧ q, ~(p ∧ q), and
(p ∨ q) ∧ ~(p ∧ q). Fill in the p and q columns with all the
logically possible combinations of T’s and F’s. Then use the
truth tables for ∨ and ∧ to fill in the p ∨ q and p ∧ q
columns with the appropriate truth values.
Next fill in the ~(p ∧ q) column by taking the opposites of
the truth values for p ∧ q.

For example, the entry for ~(p ∧ q) in the first row is F

because in the first row the truth value of p ∧ q is T.

33
Example 2.1.4 – Solution continued

Finally, fill in the (p ∨ q)∧ (p ∧ q) column by considering

the truth values for an and statement together with the truth
values for p ∨ q and (p ∧ q)

Since an and statement is true only when both components

are true and since rows 2 and 3 are the only two rows
where both p ∨ q and (p ∧ q) are true, put T in rows 2
and 3 and F in the remaining rows.

34
Example 2.1.4 – Solution continued

35
Example 2.1.5 – Truth Table for

Construct a truth table for the statement form (p ∧ q) ∨ r.

36
Example 2.1.5 – Solution
Make columns headed p, q, r, p ∧ q, ~r, and (p ∧ q) ∨~r.
Enter the eight logically possible combinations of truth
values for p, q, and r in the three left-most columns. Then
fill in the truth values for p ∧ q and for ~r
Complete the table by considering the truth values for (p ∧
q) and for ~ r and the definition of an or statement.

37
Example 2.1.5 – Solution continued

Since an or statement is false only when both components

are false, the only rows in which the entry is F are the third,
fifth, and seventh rows because those are the only rows in
which the expressions p ∧ q and ~r are both false.
The entry for all the other rows is T.

38
Example 2.1.5 – Solution continued

39
Logical Equivalence

40
Logical Equivalence

41
Logical Equivalence
If Sally wakes up late or if she misses the bus, she will be late for work.
Therefore, if Sally arrives at work on time, she did not wake up late and did
not miss the bus.

If x is a real number such that x < -2 or x > 2, then x2 > 4.

Therefore, if x2 < 4, then x > -2 and x < 2.
While the content of the two above statements is different,
their logical form is similar.
Let p stand for the statements
"Sally wakes up late" and "x is a real number such that x < -2".
Let q stand for the statements
"Sally misses the bus" and "x is a real number such that x > -2".
Let r stand for the statements "Sally is late for work" and "x2 > 4".

If p or q, then r.
Therefore, if not r, then not p and not q. (statement의 형식이 같다)

42
Logical Equivalence

43
Example 2.1.6 – Double Negative Property:

Construct a truth table to show that the negation of the

negation of a statement is logically equivalent to the
statement, annotating the table with a sentence of
explanation.

44
Example 2.1.6 – Solution

45
Example 2.1.7 – Showing Nonequivalence
Show that the statement forms (p ∧ q) and p ∧ q are
not logically equivalent.

46
Example 2.1.7 – Solution
a. This method uses a truth table annotated with a
sentence of explanation.

47
Example 2.1.7 – Solution continued

b. This method uses an example to show that (p ∧ q) and

p ∧ q are not logically equivalent. Let p be the
statement “0 < 1” and let q be the statement “1 < 0.”
Then
(p ∧ q) is “It is not the case that both 0 < 1
and 1 < 0,”
which is true. On the other hand,
p∧ q is “0 ≮ 1 and 1 ≮ 0,”
which is false.

P=true, q=true 이면 ~(pɅq)와 ~pɅ~q는 동치

48
Example 2.1.7 – Solution continued

This example shows that there are concrete statements

you can substitute for p and q to make one of the
statement forms true and the other false.

Therefore, the statement forms are not logically

equivalent.

49
Logical Equivalence

50
Example 2.1.9 – Applying De Morgan’s Laws

Write negations for each of the following statements:

a. John is 180 cm tall and he weighs at least 90 kilograms.

b. The bus was late or Tom’s watch was slow.

51
Example 2.1.9 – Solution
John is 180 cm tall and he weighs at least 90 kilograms.

a. John is not 180 cm tall or he weighs less than 90

kilograms.

b. The bus was not late and Tom’s watch was not slow.

Since the statement “neither p nor q” means the same as

“ ~p and ~q,” an alternative answer for (b) is “Neither was
the bus late nor was Tom’s watch slow.”

52
Example 2.1.10 – Inequalities and De Morgan’s Laws

Use De Morgan’s laws to write the negation of −1 < x ≤ 4.

53
Example 2.1.10 – Solution
−1 < x ≤ 4.
The given statement is equivalent to
−1 < x and x ≤ 4.

By De Morgan’s laws, the negation is

−1 ≮ x or x ≰ 4,
which is equivalent to
−1 ≥ x or x > 4.

54
Example 2.1.10 – Solution continued

Pictorially, if −1 ≥ x or x > 4, then x lies in the shaded

region of the number line, as shown below.

55
Tautologies and Contradictions

56
Tautologies and Contradictions

57
Example 2.1.12 – Tautologies and Contradictions

Show that the statement form p ∨ p is a tautology and that

the statement form p ∧ p is a contradiction.

58
Example 2.1.12 – Solution

59
Example 2.1.13 – Logical Equivalence Involving Tautologies and Contradictions

If t is a tautology and c is a contradiction, show that

60
Example 2.1.13 – Solution

61
Summary of Logical Equivalences

62
Summary of Logical Equivalences

63
Example 2.1.14 – Simplifying Statement Forms

Use Theorem 2.1.1 to verify the logical equivalence

64
Example 2.1.14 – Solution
Use the laws of Theorem 2.1.1 to replace sections of the
statement form on the left by logically equivalent
expressions. Each time you do this, you obtain a logically
equivalent statement form. Continue making replacements
until you obtain the statement form on the right.

65
Example 2.1.14 – Solution continued

66