[go: up one dir, main page]
Scribd
Upload
55 views2 pages

Assignment 1

The document outlines an assignment focused on logical reasoning and truth tables, requiring students to construct truth tables for specific logical expressions and identify tautologies. It also includes tasks to verify logical equivalences, infer conclusions from given premises, and express statements in conditional form. Additionally, the assignment asks for reasoning behind each step in demonstrating the validity of arguments.

Uploaded by

abduyye38
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
55 views2 pages

Assignment 1

The document outlines an assignment focused on logical reasoning and truth tables, requiring students to construct truth tables for specific logical expressions and identify tautologies. It also includes tasks to verify logical equivalences, infer conclusions from given premises, and express statements in conditional form. Additionally, the assignment asks for reasoning behind each step in demonstrating the validity of arguments.

Uploaded by

abduyye38
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/ 2

Assignment 1 (5%)

1. Construct its truth tables for the following.


a) (p↔q)→ (p ∨q) b) (p ⊕ q¿ → (p∧ q)
2. Identify whether the following statements are tautologies or not?
i) (p→q)↔ (¬p ∨q) iii) (p→q)↔ (¬(p ∧¬q )
ii) (p ∧(p⊕q)) → ¬q iv) (p ∨q) → (p ∧q )
3. Verify that the following are logically equivalent.
i) (p→r)∧ ( q→ r ) and (p ∨q) → r ii) ¬ (p∧ (q∨r) ∧ (¿ q¿ → r )) and ¬p ∨¬r
4. Prove that you can infer/conclude p from p ⊕ q and ¬q.
5. Write the reason(s) for each step needed to show the argument given is valid.
Premises: ¬ p∧q , r→ p , ¬r→ s , s→ p
Conclusion: t
Step Reason
i) ¬ p∧q ___________________________________
ii) ¬ p ___________________________________
iii) r→ p ___________________________________
iv) ¬r ______________________________
v) ¬r→ s ___________________________________
vi) s ___________________________________
vii) s →t _________________________________
viii) ∴ t ___________________________________
6. Express each statement in the form "If p, then q":
i) It is not hot whenever it is sunny.
ii) You need to be registered in order to check out library books.
7. Give the reasons for the steps verifying the following argument.
Premises: (¬p ∨ q) → r, r → (s ∨ t), ¬s ∧ ¬u, ¬u → ¬ t.
Conclusion: p.
Step Reason
1. ¬s ∧ ¬u ________________________________
2. ¬u ________________________________
3. ¬u → ¬ t. _______________________________
4. ¬t ______________________________
5. ¬s ________________________________
6. ¬s ∧ ¬t ______________________________
7. r → (s ∨ t) _____________________________
8. ¬ (s ∨ t) → ¬r ______________________________
9. (¬s ∧ ¬t)→ ¬r _______________________________
10. ¬r _______________________________
11. (¬p ∨ q) → r ______________________________
12. ¬r → ¬(¬p ∨ q) ______________________________
13. ¬r → (p∧ ¬ q) ______________________________
14. p∧ ¬ q ______________________________
15. P ______________________________

You might also like