Chapter 1: Q13E (page 91)
Prove that if x is irrational, then 1/x is irrational.
Short Answer
“If\(x\)is irrational then \(\frac{1}{x}\) is irrational”
Chapter 1: Q13E (page 91)
Prove that if x is irrational, then 1/x is irrational.
“If\(x\)is irrational then \(\frac{1}{x}\) is irrational”
All the tools & learning materials you need for study success - in one app.
Get started for freeShow that andare not logicallyequivalent
A says “We are both knaves” and B says nothing. Exercises 24–31 relate to inhabitants of an island on which there are three kinds of people: knights who always tell the truth, knaves who always lie, and spies (called normals by Sullying [Sm78]) who can either lie or tell the truth. You encounter three people, A, B, and C. You know one of these people is a knight, one is a knave, and one is a spy. Each of the three people knows the type of person each of other two is. For each of these situations, if possible, determine whether there is a unique solution and determine who the knave, knight, and spy are. When there is no unique solution, list all possible solutions or state that there are no solutions
A says “I am the knight,” B says “I am the knight,” and C says “I am the knight.”
An explorer is captured by a group of cannibals. There aretwo types of cannibals-those who always tell the truthand those who always lie. The cannibals will barbecuethe explorer unless he can determine whether a particular cannibal always lies or always tells the truth. He isallowed to ask the cannibal exactly one question.
a) Explain why the question "Are you a liar?" does notwork.
b) Find a question that the explorer can use to determinewhether the cannibal always lies or always tells thetruth.
Let be the statement “Student xhas taken class y,” where the domain for both xconsists of all students in your class and for yconsists of all computer science courses at your school. Express each of these quantifications in English.
(a) (b)
(c) (d)
(e) (f)
Suppose that Prolog facts are used to define the predicates motherand fatherwhich represent that Mis the mother of Yand Fis the father of X, respectively. Give a Prolog rule to define the predicate grandfather ,which represents that Xis the grandfather of Y. [Hint: You can write a disjunction in Prolog either by using a semicolon to separate predicates or by putting these predicates on separate lines.]
What do you think about this solution?
We value your feedback to improve our textbook solutions.