Scribd
Upload
68 views1 page

Assignment 1

The document contains 9 questions about logic, sets, and proofs. Question 1 asks to use truth tables to determine if pairs of statements are logically equivalent. Question 2 asks to identify statements as tautologies, contradictions, or neither. Question 3 asks to write the contrapositive and converse of conditional statements. The remaining questions involve constructing truth tables, using truth tables to check validity, giving formal proofs of validity/invalidity, determining truth values of statements involving quantifiers, and performing set operations.

Uploaded by

Alex Hayme
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
68 views1 page

Assignment 1

The document contains 9 questions about logic, sets, and proofs. Question 1 asks to use truth tables to determine if pairs of statements are logically equivalent. Question 2 asks to identify statements as tautologies, contradictions, or neither. Question 3 asks to write the contrapositive and converse of conditional statements. The remaining questions involve constructing truth tables, using truth tables to check validity, giving formal proofs of validity/invalidity, determining truth values of statements involving quantifiers, and performing set operations.

Uploaded by

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

Assignment - I

1. For statements 𝑝, 𝑞 and 𝑟, use a truth table to show that each of the following pairs of statements are
logically equivalent or not.
a. (𝑝 ∨ 𝑞) ⟹ 𝑟 and (𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟).
b. 𝑝 ⟹ (𝑞 ∨ 𝑟) and (𝑟) ⟹ (𝑝 ⟹ 𝑞).
2. For statements 𝑝, 𝑞, and 𝑟, show that the following compound statements are tautology,
contradiction or not.
a. (𝑝 ∧ (𝑝 ⟹ 𝑞)) ⟹ 𝑞.
b. ((𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟)) ⟹ (𝑝 ⟹ 𝑟).
c. (𝑝 ∧ 𝑞) ∧ (𝑝 ∧ 𝑞)
3. Write the contrapositive and the converse of the following conditional statements.
a. If Solomon is healthy, then he is happy.
b. If it rains, Tigist does not take a walk.
4. Construct the truth table for each of the following statements.
a) (p ⟹ (q ∧ r)) ∨ (p ∧ q)
b) (𝑝 ∧ 𝑞) ⟹ ((𝑞 ∧ 𝑞) ⟹ (𝑟 ∧ 𝑞))
5. Use the truth table method to show that the following argument forms are valid.
a) 𝑝𝑟 ∨ 𝑠, (𝑠 ⟹ 𝑝) ⟹ 𝑟 ├ 𝑝.
b) 𝑝 ⟹ 𝑞, 𝑝 ⟹ 𝑟, 𝑟 ⟹ 𝑠├ 𝑞 ⟹ 𝑠.
6. Give formal proof to show that the following argument forms are valid or invalid.
a. 𝑝 ⟹ (𝑞 ∨ 𝑟), 𝑟, 𝑝 ├ 𝑞.
b. 𝑞 ⟹ 𝑝, 𝑟 ⟹ 𝑝, 𝑞 ├ 𝑟.
7. In each of the following, two open statements 𝑃(𝑥, 𝑦) and 𝑄(𝑥, 𝑦) are given, where the domain of
both 𝑥 and 𝑦 is . Determine the truth value of 𝑃(𝑥, 𝑦) ⟹ 𝑄(𝑥, 𝑦) for the given values of 𝑥 and 𝑦.
a. 𝑃(𝑥, 𝑦): 𝑥 2 − 𝑦 2 = 0, and 𝑄(𝑥, 𝑦): 𝑥 = 𝑦. (𝑥, 𝑦) ∈ {(1, −1), (3,4), (5,5)}.
b. 𝑃(𝑥, 𝑦): |𝑥| = |𝑦|, and 𝑄(𝑥, 𝑦): 𝑥 = 𝑦. (𝑥, 𝑦) ∈ {(1,2), (2, −2), (6,6)}.
8. 𝑃Determine the truth value of the following statements.
a. (∃𝑥 ∈ ℚ)(3𝑥 2 − 27 = 0).
b. (∃𝑥 ∈ ℝ)(∃𝑦 ∈ ℝ)(𝑥 + 𝑦 + 3 = 8).
c. (∃𝑥 ∈ ℝ)(∀𝑦 ∈ ℝ)(𝑥 + 𝑦 = 5)
9. Let 𝑈 = {1, 2, … , 10}, 𝐴 = {3, 5, 6, 8, 10}, 𝐵 = {1, 2, 4, 5, 8, 9},
𝐶 = {1, 2, 3, 4, 5, 6, 8} and 𝐷 = {2, 3, 5, 7, 8, 9}. Verify each of the following.
a. 𝐶 – 𝐷 = 𝐶 ∩ 𝐷.
b. 𝐴 ∩ (𝐵 ∩ 𝐶) = (𝐴 – 𝐵) ∪ (𝐴 – 𝐶).

You might also like