Logic Problem Set Handout
Logic Problem Set Handout
Logic is the systematic study of valid rules of inference, i.e. the relations that lead to the acceptance of one proposition
on the basis of a set of other propositions. More broadly, logic is the analysis and appraisal of arguments.
Logic is essential not only for mathematical reasoning but for everyday real-life thinking and decision-making.
In simple words, logic is “the study of correct reasoning, especially regarding making inferences.” Logic began as a
philosophical term and is now used in other disciplines like math and computer science.
Logic is a process for making a conclusion and a tool you can use.
Propositional Logic
Proposition is a declarative sentence that is either true or false but not both. Propositional Logic is the area of logic that
deals with propositions.
A proposition is a statement that can be either true or false; it must be one or the other, and it cannot be both.
Examples of propositions
2. Tomato is a vegetable.
3. 1 + 1 = 3
2. Stand up!
3. 𝑝 + 𝑞 = 𝑟
PROPOSITION / NOT A
STATEMENT PROPOSITION TRUTH VALUE
1
Logical Operators
A logical operator is a symbol or word used to connect two or more expressions such that the value of the compound
expression produced depends only on that of the original expressions and on the meaning of the operator.
Common logical operators include AND, OR, and NOT.
Truth Table displays the relationships between the truth values of propositions.
The truth value of a true proposition is T or True.
The truth value of a false proposition is F or False.
Negation
A negation is a refusal or denial of something.
A negation is a statement that cancels out or denies another statement or action.
Conjunction
Consider the statement “𝑝 𝑎𝑛𝑑 𝑞”, denoted 𝑝 ∧ 𝑞. To Row 1: the two statements could both be true. In this case, it
analyze this, we first have to think of all the combinations of would make sense that “𝑝 𝑎𝑛𝑑 𝑞” is also a true statement.
truth values for both statements and then decide how those
combinations influence the “and” statement. In words: Row 2: 𝑝 could be false while q is true.
For “p and q” to be true, we would need BOTH statements to
Conjunction “ 𝒑 𝒂𝒏𝒅 𝒒 " be true. Since one is false, “𝑝 𝑎𝑛𝑑 𝑞” is false.
𝑭 𝑭 𝑭
Disjunction
There are two types of “or”s. There is the inclusive or Row 1: the two statements could both be true.
where we allow for the fact that both statements might be Since we are working with the inclusive or, the statement
true, and there is the exclusive or, where we are strict that “𝑝 𝑜𝑟 𝑞” will be true in this case.
only one statement or the other is true. In math, the “or”
that we work with is the inclusive or denoted p∨q. Row 2: 𝑝 could be false while 𝑞 is true.
This is the essence of or. We are saying “one or both of the
Disjunction “ 𝒑 𝒐𝒓 𝒒 " statements is true”. Therefore, “𝑝 𝑜𝑟 𝑞” is true in this case.
2
Summary
To keep track of how these ideas work, you can remember the following:
Negation “ 𝒏𝒐𝒕 𝒑 “ Conjunction “ 𝒑 𝒂𝒏𝒅 𝒒 “ Disjunction “ 𝒑 𝒐𝒓 𝒒 “
𝒑 −𝒑 𝑝 𝑞 𝑝 ⋀ 𝑞 𝒑 𝒒 𝒑⋁ 𝒒
𝑻 𝑻 𝑻 𝑻 𝑻 𝑻
𝑻 𝑭 𝑭 𝑻 𝑭 𝑭 𝑻 𝑻
𝑻 𝑭 𝑭 𝑻 𝑭 𝑻
𝑭 𝑻
𝑭 𝑭 𝑭 𝑭 𝑭 𝑭
𝒑 𝒒 −𝒑 −𝒒 𝒑 ⋀ 𝒒 𝒑 ⋁ 𝒒
F F
F T
T F
T T
Implication
The statement “p implies q” means that if p is true, then q Definition: If p and q are arbitrary propositions, then
must also be true. The statement “p implies q” is also the conditional of p and q is written p ⇒ q and will be
written “if p then q” or sometimes “q if p.” Statement p is true iff either p is false, or q is true.
called the premise of the implication and q is called the
conclusion.
𝑰𝐦𝐩𝐥𝐢𝐜𝐚𝐭𝐢𝐨𝐧 " 𝒑 → 𝒒” The ⇒ operator is the hardest to understand of the
operators we have considered so far, and yet it is
𝒑 𝒒 𝒑→𝒒 extremely important.
𝑻 𝑻 𝑻
If you find it difficult to understand, just remember that
𝑭 𝑻 𝑻 the p ⇒ q means ‘if p is true, then q is true’.
𝑻 𝑭 𝑭
If p is false, then we don’t care about q, and by default,
𝑭 𝑭 𝑻 make p ⇒ q evaluate to T in this case.
Bi-Conditional
3
Exclusive Or
𝑻 𝑭 𝑻
exactly one of p and q is true and
𝑭 𝑭 𝑭 is false otherwise.
𝒑 𝒒 −𝒑 𝒑 ⋀ 𝒒 𝒑 ⋁ 𝒒 𝒑 → 𝒒 𝒒→𝒑 𝒑 ↔𝒒 𝒑 ⊕ 𝒒
F F
F T
T F
T T
Let T = 1 and F = 0
𝑝 −𝑝 𝒑 𝒒 𝒑 ⋀ 𝒒 𝒑 𝒒 𝒑⋁ 𝒒
𝟏 𝟏 𝟏 𝟏
𝟏 𝟎 𝟏 𝟎 𝟏
𝟏 𝟎 𝟏 𝟎
𝟎
𝟎 𝟎 𝟎 𝟎
𝒑 𝒒 𝒑→𝒒 𝒑 𝒒 𝒑↔𝒒
𝟎 𝟎 𝟏 𝟏
𝟎 𝟏 𝟎 𝟏
𝟏 𝟎 𝟏 𝟎
𝟏 𝟏 𝟎 𝟎
4
The Six Logical Operators
STATEMENT “read as” Connective Symbolic Form
Negation 𝒏𝒐𝒕 𝒑 𝒏𝒐𝒕 −𝒑
Given the following statements below, write the following compound statements using the symbolic form.
𝒑: 𝑻𝒐𝒅𝒂𝒚 𝒊𝒔 𝑺𝒖𝒏𝒅𝒂𝒚. 𝒓: 𝑰𝒕 𝒊𝒔 𝒂 𝒔𝒄𝒉𝒐𝒐𝒍 𝒅𝒂𝒚.
𝒒: 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒄𝒉𝒖𝒓𝒄𝒉. 𝒔: 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒑𝒍𝒂𝒚 𝒃𝒂𝒔𝒌𝒆𝒕𝒃𝒂𝒍𝒍.
COMPOUND STATEMENT SYMBOLIC FORM
𝟏. 𝑻𝒐𝒅𝒂𝒚 𝒊𝒔 𝑺𝒖𝒏𝒅𝒂𝒚 𝒂𝒏𝒅 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒄𝒉𝒖𝒓𝒄𝒉.
𝟐. 𝑰𝒇 𝒊𝒕 𝒊𝒔 𝒏𝒐𝒕 𝒂 𝒔𝒄𝒉𝒐𝒐𝒍 𝒅𝒂𝒚 , 𝒕𝒉𝒆𝒏 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒑𝒍𝒂𝒚 𝒃𝒂𝒔𝒌𝒆𝒕𝒃𝒂𝒍𝒍.
𝟑. 𝑻𝒐𝒅𝒂𝒚 𝒊𝒔 𝑺𝒖𝒏𝒅𝒂𝒚 𝒂𝒏𝒅 𝒊𝒕 𝒊𝒔 𝒏𝒐𝒕 𝒂 𝒔𝒄𝒉𝒐𝒐𝒍 𝒅𝒂𝒚
𝟒. 𝑬𝒊𝒕𝒉𝒆𝒓 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒄𝒉𝒖𝒓𝒄𝒉 𝒐𝒓 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒑𝒍𝒂𝒚 𝒃𝒂𝒔𝒌𝒆𝒕𝒃𝒂𝒍𝒍
𝟓. 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒑𝒍𝒂𝒚 𝒃𝒂𝒔𝒌𝒆𝒕𝒃𝒂𝒍𝒍 𝒐𝒓 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒄𝒉𝒖𝒓𝒄𝒉.
𝟔. 𝑰 𝒂𝒎 𝒈𝒐𝒊𝒏𝒈 𝒕𝒐 𝒑𝒍𝒂𝒚 𝒃𝒂𝒔𝒌𝒆𝒕𝒃𝒂𝒍𝒍 𝒊𝒇 𝒂𝒏𝒅 𝒐𝒏𝒍𝒚 𝒊𝒇 𝒊𝒕 𝒊𝒔 𝒏𝒐𝒕 𝒂 𝒔𝒄𝒉𝒐𝒐𝒍 𝒅𝒂𝒚.
Given the following statements below, translate the following the symbolic form into compound statements.
𝒑: 𝑻𝒉𝒆 𝒈𝒂𝒎𝒆 𝒘𝒊𝒍𝒍 𝒃𝒆 𝒉𝒆𝒍𝒅 𝒊𝒏 𝑴𝑶𝑨 𝑨𝒓𝒆𝒏𝒂
𝒒: 𝑻𝒉𝒆 𝑬𝒂𝒈𝒍𝒆𝒔 𝒂𝒓𝒆 𝒇𝒂𝒗𝒐𝒓𝒆𝒅 𝒕𝒐 𝒘𝒊𝒏 𝒕𝒉𝒆 𝒈𝒂𝒎𝒆.
𝒓: 𝑻𝒉𝒆 𝒈𝒂𝒎𝒆 𝒘𝒊𝒍𝒍 𝒃𝒆 𝒂𝒊𝒓𝒆𝒅 𝒐𝒏 𝑮𝑴𝑨.
𝒔: 𝑻𝒉𝒆 𝒈𝒂𝒎𝒆 𝒘𝒊𝒍𝒍 𝒃𝒆 𝒔𝒉𝒐𝒘𝒏 𝒐𝒏 𝑨𝑩𝑺.
𝟏. 𝒔⋁ 𝒓
𝟐. 𝒑 ⋀ 𝒒
𝟑. 𝒓 ⊕ 𝒔
𝟒. − 𝒔 → 𝒒
𝟓. −𝒓 ⋀ − 𝒔
𝟔. 𝒒↔p
5
NAME ________________________________________ SECTION ____________________ SET ____
EXERCISES
1. 44 + 55 = 99 1) 2)
2. Nonagon is an 8-sided polygon 3) 4)
3. Tomato is a fruit 5) 6)
4. How are you? 7) 8)
5. p + q = 77 9) 10)
𝑻 𝑻 𝑭 13) 17)
𝑭 𝑻 𝑻 14) 18)
𝒑 𝒒 -𝒒 𝒑 ⋀ 𝒒 𝒑 ⋁ 𝒒
𝑻 𝑻 𝑭 13) 17)
𝑭 𝑻 𝑭 14) 18)
6
NAME ________________________________________ SECTION ____________________ SET ____
Given the following statements below, write the following compound statements using the symbolic form.
𝑝: 𝑇𝑜𝑑𝑎𝑦 𝑖𝑠 𝑊𝑒𝑑𝑛𝑒𝑠𝑑𝑎𝑦. 𝑟: 𝐼𝑡 𝑖𝑠 𝑎 𝑟𝑎𝑖𝑛𝑦 𝑑𝑎𝑦.
𝑞 ∶ 𝐼𝑡 𝑖𝑠 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦. 𝑠: 𝐼 𝑎𝑚 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙.
Set A
COMPOUND STATEMENT SYMBOLIC FORM
1. 𝑇𝑜𝑑𝑎𝑦 𝑖𝑠 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦 𝑎𝑛𝑑 𝐼 𝑎𝑚 𝑛𝑜𝑡 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙.
2. 𝐼𝑓 𝑖𝑡 𝑖𝑠 𝑛𝑜𝑡 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦 , 𝑡ℎ𝑒𝑛 𝐼 𝑎𝑚 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙.
3. 𝑇𝑜𝑑𝑎𝑦 𝑖𝑠 𝑊𝑒𝑑𝑛𝑒𝑠𝑑𝑎𝑦 𝑎𝑛𝑑 𝑖𝑡 𝑖𝑠 𝑛𝑜𝑡 𝑎 𝑟𝑎𝑖𝑛𝑦 𝑑𝑎𝑦.
4. 𝐸𝑖𝑡ℎ𝑒𝑟 𝑖𝑡 𝑖𝑠 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦 𝑜𝑟 𝐼 𝑎𝑚 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙.
5. 𝐼 𝑎𝑚 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙 𝑖𝑓 𝑎𝑛𝑑 𝑜𝑛𝑙𝑦 𝑖𝑓 𝑖𝑡 𝑖𝑠 𝑛𝑜𝑡 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦
Set B
COMPOUND STATEMENT SYMBOLIC FORM
1. 𝑇𝑜𝑑𝑎𝑦 𝑖𝑠 𝑊𝑒𝑑𝑛𝑒𝑠𝑑𝑎𝑦 𝑎𝑛𝑑 𝑖𝑡 𝑖𝑠 𝑛𝑜𝑡 𝑎 𝑟𝑎𝑖𝑛𝑦 𝑑𝑎𝑦.
2. 𝐼𝑓 𝑖𝑡 𝑖𝑠 𝑛𝑜𝑡 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦 , 𝑡ℎ𝑒𝑛 𝐼 𝑎𝑚 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙.
3. 𝑇𝑜𝑑𝑎𝑦 𝑖𝑠 𝑎 𝑠𝑐ℎ𝑜𝑜𝑙 𝑑𝑎𝑦 𝑎𝑛𝑑 𝐼 𝑎𝑚 𝑛𝑜𝑡 𝑔𝑜𝑖𝑛𝑔 𝑡𝑜 𝑡ℎ𝑒 𝑚𝑎𝑙𝑙.
SET A
SYMBOLIC FORM COMPOUND STATEMENT
6. 𝒓⋁ 𝒔
7. 𝒑 ⋀ 𝒒
8. 𝒔⊕𝒓
9. −𝒓→𝒔
10. 𝑞↔p
SET B
SYMBOLIC FORM COMPOUND STATEMENT
6. − 𝒓 ⋀ 𝒔
7. 𝒑 ⋀ 𝒒
8. 𝑞↔p
9. −𝒒→𝒔
10. 𝒔⊕𝒓
7
SET A
𝒑 𝒒 𝒑⋀ 𝒒 𝒑 ↔ 𝒒 𝒑 ⊕𝒒
𝑻 𝑻 𝑭 13) 17)
𝑭 𝑻 𝑻 14) 18)
SET B
𝒑 𝒒 𝒑 ⋁ 𝒒 𝒑 ⊕𝒒 𝒑 ↔ 𝒒
𝑻 𝑻 𝑭 13) 17)
𝑭 𝑻 𝑭 14) 18)
CHALLENGE!
𝑨 𝑩 ( 𝑨 ⊕ 𝑩 )⋁( 𝑨 ↔ 𝑩) −𝑨 ⋀ −( 𝑨 ⋁𝑩 ) (𝑨 ↔ 𝑩 ) → −𝑩
𝟏 𝟏
𝟎 𝟏
𝟏 𝟎
𝟎 𝟎