Scribd
Upload
50 views4 pages

Set and Logic Exam

The document contains a logic and set theory exam with multiple choice and true/false questions. It covers topics like set operations, power sets, propositional logic, validity of arguments, and converses/contrapositives/inverses of conditional statements.

Uploaded by

Arnel Macutay Jr
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
50 views4 pages

Set and Logic Exam

The document contains a logic and set theory exam with multiple choice and true/false questions. It covers topics like set operations, power sets, propositional logic, validity of arguments, and converses/contrapositives/inverses of conditional statements.

Uploaded by

Arnel Macutay Jr
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 4

LOGIC AND SET THEORY Final Examination

Macutay Arnel Jr. A. MST- Math

I. Let the following sets be defined as


𝐴 = {1, 2, 3, 4, 5, 6, 7, 8, 9}
𝐵 = {𝑥|𝑥 𝑖𝑠 𝑎𝑛 𝑒𝑣𝑒𝑛 𝑝𝑟𝑖𝑚𝑒}
𝐶 = {𝑥|𝑥 𝑖𝑠 𝑎𝑛 𝑒𝑣𝑒𝑛 𝑛𝑢𝑚𝑏𝑒𝑟 𝑓𝑟𝑜𝑚 1 𝑡𝑜 9}

1. What is 𝐴 ∩ 𝐶?
𝐴 ∩ 𝐶 = {2, 4, 6, 8}

2. What is (𝐵 ∪ 𝐶′) ′ considering 𝐴 as the universal set?


𝐶′ = {1, 3, 5, 7, 9}
(𝐵 ∪ 𝐶′) = {1, 2, 3, 5, 7, 9}
(𝐵 ∪ 𝐶′) ′= {4, 6, 8}

3. Construct the power set of set 𝐶′.


𝐶′ = {1, 3, 5, 7, 9}
P(𝐶′) = {{},{1}, {3}, {5}, {7}, {9}, {1, 3}, {1, 5}, {1,7}, {1, 9}, {3, 5}, {3,7},
{3, 9}, {5, 7}, {5, 9}, {7, 9}, {1, 3, 5}, {1, 3, 7}, {1, 3, 9}, {3, 5, 7},
{3, 5, 9}, {5, 7, 9}, {1, 5, 7}, {1, 5, 9}, {1, 7, 9}, {3, 7, 9}, {1, 3, 5, 7},
{1, 5, 7, 9}, {1, 3, 7, 9}, {1, 3, 5, 9}, {3, 5, 7, 9}, {1, 3, 5, 7, 9} }

II. Use De Morgan’s laws to find the negation of each of the following statements.
1. Juan is rich and happy.
- Let p be “Juan is rich” and let q be “Juan is happy.”
¬ (𝐩 ∧ 𝐪) = ¬𝐩 ∨ ¬ 𝐪, by the De Morgan Law
The negation of the statement is Juan is not rich or Juan is not happy.

2. Amelia will ride her bicycle or run tomorrow.


- Let p be “Amelia will ride her bicycle tomorrow and q be “Amelia will
run tomorrow. ¬ (𝐩 ∨ 𝐪) = ¬𝐩 ∧ ¬ 𝐪, by the De Morgan Law
The negation of the statement is Amelia will not ride her bicycle
tomorrow, and Amelia will not run tomorrow.

3. Anamay walks or takes the bus to class.


Let p be “Anamay walks to class” and let q be “Anamay takes the bus to
class.” ¬ (𝐩 ∨ 𝐪) = ¬𝐩 ∧ ¬ 𝐪, by the De Morgan Law
The negation of the statement is Anamay does not walk to class, and
Anamay does not take the bus to class.
4. Ibrahim is smart and hardworking.
- Let p be “Ibrahim is smart” and let q be “Ibrahim is hardworking”
¬ (𝐩 ∧ 𝐪) = ¬𝐩 ∨ ¬ 𝐪, by the De Morgan Law
The negation of the statement is Ibrahim is not smart, or Ibrahim is not
hardworking.

III. Construct the truth table for the following propositional form to determine if it is a
tautology or not:
1. (𝐩 ∧ 𝐪) ∨ ~r: NOT TAUTOLOGY

p q r (𝐩 ∧ 𝐪) ~r (𝐩 ∧ 𝐪) ∨ ~r
T T T T F T
T T F T T T
T F T F F F
T F F F T T
F T T F F F
F T F F T T
F F T F F T
F F F F T T

2. (𝐩 ∧ ~𝐪) → (𝒑 ∧ 𝒒): NOT TAUTOLOGY


p q ~𝐪 (𝐩 ∧ ~𝐪) (𝒑 ∧ 𝒒) (𝐩 ∧ ~𝐪) → (𝒑 ∧ 𝒒)
T T F F T T
T F T T F F
F T F F F T
F F T F F T

3. (𝐩 ∧ 𝐪) → (𝒑 → 𝒒): TAUTOLOGY
p q (𝐩 ∧ 𝐪) (𝒑 → 𝒒) (𝐩 ∧ 𝐪) → (𝒑 → 𝒒)
T T T T T
T F F F T
F T F T T
F F F T T

4. ~ (𝒑 → 𝒒) → ~q: TAUTOLOGY
p q (𝒑 → 𝒒) ~(𝒑 → 𝒒) ~𝐪 ~ (𝒑 → 𝒒) → ~q
T T T F F T
T F F T T T
F T T F F T
F F T F T T

IV. Establish the validity of the arguments.


1. [𝒑 → (𝒑 ∨ 𝒓) ∨ 𝒒 ∧ ~𝐫 → 𝐩]

p q r 𝒑∨𝒓 𝒑 → (𝒑 ∨ 𝒓) 𝒑 → (𝒑 ∨ 𝒓) ∨ 𝒒 ~ 𝒑 → (𝒑 ∨ 𝒓) ∨ 𝒒 ∧ ~𝐫 [𝒑 → (𝒑 ∨ 𝒓) ∨ 𝒒 ∧ ~𝐫 → 𝐩]
𝐫
T T T T T T F F T
T T F T T T T T T
T F T T T T F F T
T F F T T T T T T
F T T T T T F F T
F T F F T T T T F
F F T T T T F F T
F F F F T T T T F

2. [(~𝒑 ∧ 𝒒) → (𝒓 ∨ 𝒔) ∧ (𝒑 → 𝐬) ∧ ~𝐫]

𝒑 𝒒 𝒓 𝒔 ~𝒑 ~𝒑 ∧ 𝒒 𝒓∨𝒔 (~𝒑 ∧ 𝒒) → (𝒓 ∨ 𝒑→𝐬 (~𝒑 ∧ 𝒒) → (𝒓 ∨ 𝒔) ∧ ~𝐫 [(~𝒑 ∧ 𝒒) → (𝒓 ∨


𝒔) (𝒑 → 𝐬) 𝒔) ∧ (𝒑 → 𝐬) ∧ ~𝐫
T T T T F F T T T T F F
T T T F F F T T F F F F
T T F T F F T T T T T T
T T F F F F F T F F T F
T F T T F F T T T T F F
T F T F F F T T F F F F
T F F T F F T T T T T T
T F F F F F F T F F T F
F T T T T T T T T T F F
F T T F T T T T T T F F
F T F T T T T T T T T T
F T F F T T F F T F T F
F F T T T F T T T T F F
F F T F T F T T T T F F
F F F T T F T T T T T T
F F F F T F F T T T T T
V. Construct the converse, contrapositive and inverse of the following statement:
𝐼𝑓 𝑡𝑤𝑜 𝑎𝑛𝑔𝑙𝑒𝑠 𝑎𝑟𝑒 𝑙𝑖𝑛𝑒𝑎𝑟 𝑝𝑎𝑖𝑟𝑠 𝑡ℎ𝑒𝑛 𝑡ℎ𝑒𝑦 𝑎𝑟𝑒 𝑠𝑢𝑝𝑝𝑙𝑒𝑚𝑒𝑛𝑡𝑎𝑟𝑦.
Converse If two angles are supplementary then they are linear pairs.

Contrapositive If two angles are not supplementary then they are not linear
pairs.

Inverse If two angles are not linear pairs then they are not
supplementary.

You might also like