Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

An exercise in my books says that an analogical representation has a physical structure that corresponds directly to the structure of the thing represented. Consider a road map of your country as an analogical representation of facts about your country.

a) Give 5 examples of symbols in the map language.

b) An explicit sentence is one that the creator of the representation actually writes down. An implicit sentence is one that results from explicit sentences because of properties of the analogical representation. Give 3 examples of implicit and explicit sentences in the map language.

This is what I've come up with: Is it right? Is this the kind of structure they're referring to?


What would the 5 symbols be? I can only think of one- Connected(p1,p2) (p stands for place)

Also, what will the 3 examples of implicit and explicit sentences be? The first one that strikes me is this:

 ∃ p1,p1 Connected(p1,p2) ↔ Connected(p2,p1)
share|cite|improve this question

Any predicate (viewed grammatically) can be a symbol in the language. (If I understand well the exercize) For example:

  1. $p$ is a city
  2. $p$ has petrol station
  3. there is a bridge at point $p$ over a river..
  4. also some distance notion could be introduced

You can use these to write your explicit sentences, for example there must be a petrol station in each 100km, or whatever.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.