Scribd
Upload
118 views

Assignment 2 GE112 (1) 1

This document provides instructions for Assignment 2 for the course Elementary Logic. Students are asked to solve 6 problems related to logic and submit their work by October 13, 2022 at 6pm either by taking a photo of their written work or saving their work in a PDF file uploaded to the UVE system. Late submissions will be deducted 10 points and no assignments will be accepted past midnight on the deadline.

Uploaded by

Lee Christian AMOR
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
118 views

Assignment 2 GE112 (1) 1

This document provides instructions for Assignment 2 for the course Elementary Logic. Students are asked to solve 6 problems related to logic and submit their work by October 13, 2022 at 6pm either by taking a photo of their written work or saving their work in a PDF file uploaded to the UVE system. Late submissions will be deducted 10 points and no assignments will be accepted past midnight on the deadline.

Uploaded by

Lee Christian AMOR
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 6

Name: Lee Christian Amor BSIT-IS

Elementary Logic Page 1

Assignment 2 - GE 112
Deadline: (Thursday) October 13, 2022 at 6:00pm

Show your solutions clearly. Submission of


answers:

• Option 1. Write your answer in a White Bond Paper, then take a picture. Save the
picture as pdf file. Then upload the pdf file in the UVE. (Keep your answer clean
and no erasures)

• Option 2. Encode your answer in the Microsoft Word, then SAVE AS pdf file.
Upload the pdf file in the UVE.
Note: 10-pts deduction for late submission of assignment. Assignment will not be
accepted past 12 Midnight of the deadline.

Problems
1. Negate each of the following statements:
(a) If the teacher is absent, then some students do not complete their
homework.
- If the teacher is present, then students complete their homework.
(b) All the students completed their homework and the teacher is present.
- Some the students Completed their homework and the teacher is absent.

(c) ∃x ∈ R, (x + 3 = 10 and x + 3 > 5)

- ∀x ∈ R, (x + 3 = 10 and x + 3 > 5)

2. Determine the truth value of each of the following statements where U = {1,2,3} is
the universal set: (Give a counter example)

(a) ∃x∀y,x2 < y + 1


- x =2, y = 2
2² < 2+2
Name: Lee Christian Amor BSIT-IS
4 < 2 False
(b) ∀x∀y,x2 + y2 < 1

- x = 1, y = 1
1² + 1² < 1
1+1<1
2 < 1 False

3. Using the truth-table. Prove or disprove,

[¬(p ∧ q) ∧ (p ↔ r)] ≡ [(q →¬p) ∨¬(s ∧ r)]


Name: Lee Christian Amor BSIT-IS
Therefore, the argument is invalid Not

Tautology

4. Test the validity of the argument using Standard Form.

p →¬q, ¬r → p, q ⊢ r
(Note: Write the reason/s for every steps)

Answer:
1. p -> ~q Premise 1
2. ~r -> p Premise 2
3. q Premise 3
4. r Conclusion
5. q->~p Contrapositive (1)
6. ~p->r Contrapositive (2)
7. q->~p, ~p->r Combine (5) and (6)
8. q->r Law of Syllogism
9. q->r, q Combine (8) and (3)
10. r Modus ponens, valid argument

GE 112 - Mathematics in the Modern World 1st Sem 2022-2023 Dalam LATEX Elementary Logic Page 2

5. Use the laws in Table 4-1 to prove that

¬(p ∧ q) ∨ (¬p ∧ q) ≡¬p


Name: Lee Christian Amor BSIT-IS

Answer:
1. ~(p ∧ q) ∨ (~p ∧ q) ≡ ~p Given
2. ~ ~(p ∧ q) Double Negation
3. ~p ∧ (q ∨~q) ≡ ~p (4b)
4. ~p ∧ T ≡ ~p (8b)
5. ~p ≡ ~p (5b)

6. a) Rewrite the argument in symbolic form using p,q,r. (b) Test the validity of the
argument using truth-table. (c) Test the validity of the argument using Standard
Form.

” The space shuttle landed in Florida, or it landed in California. If the space shuttle
landed in California, then the alternate landing schedule was used. But, the
alternate landing schedule was not used. Therefore, the space shuttle landed in
Florida.
Name: Lee Christian Amor BSIT-IS
Name: Lee Christian Amor BSIT-IS

You might also like