Representing Things in Predicate Logic

Your average AI programmer/researcher may not need to know the details of predicate logic semantics or proof theory, but they do need to know how to represent things in predicate logic, and what expressions in predicate logic mean. Formally we've already gone through what expressions mean, but it may make more sense to give a whole bunch of examples. This section will just give a list of logical expressions paired with English descriptions, then some unpaired logical or English expressions - you should try and work out for yourself how to represent the English expressions in Logic, and what the Logic expressions mean in English. There may be exam questions of this sort.

• 
  ``There is some table that doesn't have 4 legs''
• 
  ``No macintosh is a real computer'' or
  ``If something is a macintosh then its not a real computer''
• 
  ``All Glaswegians support either Celtic or Rangers''
• 
  ``There is something small on the table''
• ``All elephants are grey''
• ``Every apple is either green or yellow''
• ``There is some student who is intelligent''
• 
• 

[Note: When asked to translate English statements into predicate logic you should NOT use set expressions. So I don't want things like .]