Scribd
Upload
45 views

Assignment 02 Mnnit

Uploaded by

Ashutosh Gupta
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
45 views

Assignment 02 Mnnit

Uploaded by

Ashutosh Gupta
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
You are on page 1/ 2
Assignment-2 Foundation of Logical Thoughts (CS-13104) Date: 25/11/2021 Note: Please show your work. Partial credit cannot be given for a wrong answer if your work isn't shown, Write assumptions correctly if used anywhere in the answer, Questions are related to Chapter (Rosen, Kenneth H, Discrete mathematics and its applications / Kenneth H. Rosen, — 7th ed.) Submit the assignment at MSTEAM by 30/11/2021 at 17-00 hrs, For reference: https://ocw.mit.edu/ans 15436/ZipForE:ndUsers/6/6-042j-fall-20 10/6-042;-fall- 2010.zi0 Consider the following two statements. (a) Al: Ifthe thief is known to be smart, then he will not be caught. (b) A2: Ifthe thief is lazy, he will be caught. verify ifthe statement is true "Ifa person is lazy, he is not known to be smart" 2 Why are the duals of two equivalent compound propositions also equivalent, where these compound propositionscontain only the operators A, V, and ~? Determine whether Vx(P (x) «+ Q(s)) and Wx P (x) «> VxO(s) are logically equivalent. Justify your answer Show that 3x(P (x) VO(x)) and 3xP (x) VAxQ(x) are logically equivalent. Use quantifiers to express the distributive laws of multiplication over addition for real numbers. Show that VxP (4) AIxO(e) is logically equivalent to Wey (P (x) AQ(»)), where all quantifiers havethe same nonempty domain, What is wrong with this argument? Let S(x, y) be "x is shorter than y." Given the premise3sSs, Max), it follows that S(Max, Max). Then by existential generalization it follows that 3x8%, x), so that someone is shorter than himself. For each of these arguments determine whether the argument is correct or incorrect and explain why. a) All students in this class understand logic. Xavier isa student in this class. Therefore, Xavier understands logic. b) Every computer science major takes discrete mathematics, Natasha is taking diserete mathematics. Therefore, Natasha is a computer science major. ©) All parrots like fruit. My pet bird is not a parrot. Therefore, my pet bird does not like fruit. 8. Translate the following sentences from English to predicate logic. The domain that you are ‘working over is X, the set of students. You may use the functions S(x), meaning that "x has been a student of FoLT," A(x), meaning that "x has gotten an ‘A’ in FoLT," T(x), meaning that "x is a TA of FoLT,” and E(x, y), meaning that "x and y are the same students.” There are Students who have taken FoLT and have gotten A's in FoLT All Students who are FoLT TA's and have taken FoL.T.got A's in FoLT. ‘There are no Students who are FoLT TA’s who did not get A's in FoLT. ‘There are at least threeStudents who are TA's in FoLT and have not taken FoLT.

You might also like