conjunctions
DESCRIPTION
3.2 – Truth Tables and Equivalent Statements. Conjunctions. Truth Values. The truth values of component statements are used to find the truth values of compound statements. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/1.jpg)
Conjunctions
The truth values of component statements are used to find the truth values of compound statements.
The truth values of the conjunction p and q (p ˄ q), are given in the truth table on the next slide. The connective “and” implies “both.”
3.2 – Truth Tables and Equivalent StatementsTruth Values
Truth Table
A truth table shows all four possible combinations of truth values for component statements.
![Page 2: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/2.jpg)
Conjunction Truth Table
p q p ˄ q
T T T
T F F
F T F
F F F
p and q
3.2 – Truth Tables and Equivalent Statements
![Page 3: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/3.jpg)
Finding the Truth Value of a Conjunction
If p represent the statement 4 > 1 and q represent the statement 12 < 9, find the truth value of p ˄ q.
3.2 – Truth Tables and Equivalent Statements
p q p ˄ q
T T T
T F F
F T F
F F F
p and q
12 < 9
4 > 1 p is true
q is false
The truth value for p ˄ q is false
![Page 4: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/4.jpg)
Disjunctions
The truth values of the disjunction p or q (p ˅ q) are given in the truth table below. The connective “or” implies “either.”
3.2 – Truth Tables and Equivalent Statements
p q p ˅ q
T T T
T F T
F T T
F F F
p or q
Disjunction Truth Table
![Page 5: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/5.jpg)
Finding the Truth Value of a Disjunction
If p represent the statement 4 > 1, and q represent the statement 12 < 9, find the truth value of p ˅ q.
3.2 – Truth Tables and Equivalent Statements
p q p ˅ q
T T T
T F T
F T T
F F F
p or q
12 < 9
4 > 1 p is true
q is false
The truth value for p ˅ q is true
![Page 6: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/6.jpg)
Negation
The truth values of the negation of p ( 2 p) are given in the truth table below.
p 2̴ p
T F
F T
not p
3.2 – Truth Tables and Equivalent Statements
![Page 7: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/7.jpg)
Example: Constructing a Truth Table
p q ~ p ~ q ~ p ˅ ~ q p ˄ (~ p ˅ ~ q)
T T
T F
F T
F F
Construct the truth table for: p ˄ (~ p ˅ ~ q)
3.2 – Truth Tables and Equivalent Statements
A logical statement having n component statements will have 2n rows in its truth table.
22 = 4 rows
![Page 8: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/8.jpg)
Example: Constructing a Truth Table
p q ~ p ~ q ~ p ˅ ~ q p ˄ (~ p ˅ ~ q)
T T F
T F F
F T T
F F T
Construct the truth table for: p ˄ (~ p ˅ ~ q)
3.2 – Truth Tables and Equivalent Statements
A logical statement having n component statements will have 2n rows in its truth table.
22 = 4 rows
![Page 9: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/9.jpg)
Example: Constructing a Truth Table
p q ~ p ~ q ~ p ˅ ~ q p ˄ (~ p ˅ ~ q)
T T F F
T F F T
F T T F
F F T T
Construct the truth table for: p ˄ (~ p ˅ ~ q)
3.2 – Truth Tables and Equivalent Statements
A logical statement having n component statements will have 2n rows in its truth table.
22 = 4 rows
![Page 10: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/10.jpg)
Example: Constructing a Truth Table
p q ~ p ~ q ~ p ˅ ~ q p ˄ (~ p ˅ ~ q)
T T F F F
T F F T T
F T T F T
F F T T T
Construct the truth table for: p ˄ (~ p ˅ ~ q)
3.2 – Truth Tables and Equivalent Statements
A logical statement having n component statements will have 2n rows in its truth table.
22 = 4 rows
![Page 11: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/11.jpg)
Example: Constructing a Truth Table
p q ~ p ~ q ~ p ˅ ~ q p ˄ (~ p ˅ ~ q)
T T F F F F
T F F T T T
F T T F T F
F F T T T F
Construct the truth table for: p ˄ (~ p ˅ ~ q)
3.2 – Truth Tables and Equivalent Statements
A logical statement having n component statements will have 2n rows in its truth table.
22 = 4 rows
![Page 12: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/12.jpg)
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q ̴� p 2 q
T T
T F
F T
F F
� p ˄ 2 q�̴ p ˄ 2 q
![Page 13: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/13.jpg)
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q ̴� p 2 q
T T F F
T F F T
F T T F
F F T T
� p ˄ 2 q�̴ p ˄ 2 q
![Page 14: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/14.jpg)
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q ̴� p 2 q
T T F F
T F F T
F T T F
F F T T
� p ˄ 2 q
F
F
F
T
�̴ p ˄ 2 q
The truth value for the statement is false.
![Page 15: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/15.jpg)
˅
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q r ̴� p 2 q 2 r
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F
� p ˄ r � q ˄ p( � p ˄ r) ˅ ( � q ˄ p)
![Page 16: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/16.jpg)
˅
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q r ̴� p 2 q 2 r
T T T
F F F
T T F F F T
T F T F T F
T F F F T T
F T T T F F
F T F T F T
F F T T T F
F F F T T T
� p ˄ r � q ˄ p( � p ˄ r) ˅ ( � q ˄ p)
![Page 17: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/17.jpg)
˅
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q r ̴� p 2 q 2 r
T T T
F F F
T T F F F T
T F T F T F
T F F F T T
F T T T F F
F T F T F T
F F T T T F
F F F T T T
� p ˄ r � q ˄ p
F
F
F
F
T
F
T
F
( � p ˄ r) ˅ ( � q ˄ p)
![Page 18: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/18.jpg)
˅
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q r ̴� p 2 q 2 r
T T T
F F F
T T F F F T
T F T F T F
T F F F T T
F T T T F F
F T F T F T
F F T T T F
F F F T T T
� p ˄ r � q ˄ p
F F
F F
F T
F T
T F
F F
T F
F F
( � p ˄ r) ˅ ( � q ˄ p)
![Page 19: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/19.jpg)
Example: Mathematical Statements
If p represent the statement 4 > 1, and q represent the statement 12 < 9, and r represent 0 < 1, decide whether the statement is true or false.
3.2 – Truth Tables and Equivalent Statements
p q r ̴� p 2 q 2 r
T T T
F F F
T T F F F T
T F T F T F
T F F F T T
F T T T F F
F T F T F T
F F T T T F
F F F T T T
� p ˄ r � q ˄ p
F F
F F
F T
F T
T F
F F
T F
F F
( � p ˄ r) ˅ ( � q ˄ p) ˅
F
F
T
T
T
F
T
F
The truth value for the statement is true.
![Page 20: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/20.jpg)
Equivalent Statements
Are the following statements equivalent?
p q ~ p ˄ ~ q � (p ˅ q)
T T
T F
F T
F F
Two statements are equivalent if they have the same truth value in every possible situation.
3.2 – Truth Tables and Equivalent Statements
~ p ˄ ~ q and � (p ˅ q)
![Page 21: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/21.jpg)
Equivalent Statements
Are the following statements equivalent?
p q ~ p ˄ ~ q � (p ˅ q)
T T F
T F F
F T F
F F T
Two statements are equivalent if they have the same truth value in every possible situation.
3.2 – Truth Tables and Equivalent Statements
~ p ˄ ~ q and � (p ˅ q)
![Page 22: Conjunctions](https://reader036.vdocuments.net/reader036/viewer/2022062519/56814d50550346895dba8686/html5/thumbnails/22.jpg)
Equivalent Statements
Are the following statements equivalent?
p q ~ p ˄ ~ q � (p ˅ q)
T T F F
T F F F
F T F F
F F T T
Yes
Two statements are equivalent if they have the same truth value in every possible situation.
3.2 – Truth Tables and Equivalent Statements
~ p ˄ ~ q and � (p ˅ q)