Problem 1.17

Problem 1.17 - P roblem 1.17 LP L R I K SENGUPTA The...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: P roblem 1.17 LP L R I K SENGUPTA The function symbol that I am using is height(x), which takes one argument x the name of a person whose height is being compared. The relation symbols "<" and "=" are used in their usual context, i.e. < refers to less than, and = refers to equal to. Each of these last two symbols takes two arguments p and q and compares them. This combination of a unary function symbol and two binary relation symbols allows us to compare the heights of any two people, who serve as the arguments for the function symbols. We use < (height(x), height(y)) to express the height of x is less than the height of y, thereby comparing the heights of our subjects x and y, and concluding that y is taller than x. Similarly, we use = (height(z), height(w)) to express the height of z is equal to the height of w, thereby comparing the heights of our subjects z and w, and concluding that z and w have the same height. So in my language, the answers are: 1. < (height(Sam), height(George)) George is taller than Sam. 2. = (height(Sam), height(Mary)) Sam and Mary are the same height. The only problem we run into is that complex functions are impossible to conceive. For instance, the following expression is undefined: height(height(Sam)) Because the "height of the height of Sam" doesn't make any sense. So it is impossible to form complex composite functions when we use my notation. ...
View Full Document

Page1 / 2

Problem 1.17 - P roblem 1.17 LP L R I K SENGUPTA The...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online