For the two collections of premises (question i & 2), answer the following thPee

Question

For the two collections of premises (question i & 2), answer the following thPee questions. a) Convert the premises into logical expressions using predicates, quantifiers and other relevant logic rules7techniques. b) What relevant conclusions can be drawn? If no conclusion can be reached you need to explicitly mention that. c) State the rules of inference used to obtain each conclusion from the premises. Question 1: Every Computer Science student has a copy of Donald Knuth's book on algorithm titled "The Art of Computer Programming Alan Turing does not have a copy of Knuth's "The Art of Computer Programming". Bill Gates has a copy of Knuth's "The Art of Computer Programming

Explanation / Answer

Question 1:

Let us consider Computer Science student as A,the art of computer programming as B,Alan turing as C and Bill Gates as D.

a) ((A)B)^(C(~B))^(DB) ---->For all Computer Science Student has the art of computer programming and alan turing doesn't have the art of computer algorithm and bill hates has the art of computer algorithm.

b) If Every computer Science student has a copy of Donald Kunth's book on algorithm titled "The art of computer Programming",Alan turing doesn't have a copy of Kunth's "The art of computer Programming" and Bill Gates has a copy of "The art of computer Programming" .Hence,we can conclude that Alan Turing is not a Computer Science Student and Bill Gates is a Computer Science Student.

c) As Every Computer Science Student has "The art of computer Programming" book.From this Statement ,We can infer that who doesn't have the book is not a Computer Science Student.

Question 2:

Let us Consider "I" as A,Google chrome as B,Safari Web Browser as C and Smart as D.

a)(A(BC)) ^(A~C)^((AB)D) --->I use either Google Chrome Broser or Safari Web Browser and I don't use Safari Web Browser and If i use Google chrome Browser,then i am smart.

b) I use either Google chrome or Safari Web Browser,but i dont use Safari Web Browser.Hencewe can conclude that I am smart as i use Google chrome browser.

c) As I don't use Safari Web Browser,From this we can infer that I use Google chrome Browser.

Related Questions

Navigate

• Browse (All)
• Browse F
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.