next up previous
Next: Function Symbols Up: The First Order Language Previous: The First Order Language

Exercise

Suppose a and b are names and the universe contains numbers, sets of numbers, sets of sets of numbers etc. Assign objects to a and b such that the following claims are as shown


tabular117

Answer a = 2; b = {2,4,6} Now suppose c = 6 and d = {2,7,{2,4,6}}


tabular122


Mike Rosner
Fri Oct 16 16:23:40 MET DST 1998