๐Ÿ’ญInterpretation function (predicate calculus)

= a function, which assigns a an extension (meaning) out of a universe U to each individual constant and predicate symbol


  1. For every individual constant a, is an element of the universe U
  2. For every n-digit predicate P, is an n-digit relation (or property) in universe U


๐Ÿ“– Example: