Declarative Semantics

• Interpretation -

  • <object constant> Þ <object>
  • <logical constant> Þ <truth value>
  • <relation constant> Þ (<tuple of objects> ® <truth value>)
  • <function constant> Þ (<tuple of objects> ® <object>)

• Variable assignment -

  • <individual variable> Þ <object>
  • <sequence variable> Þ <finite sequence of objects>

• Semantic value - <term> Þ <object>

  • Defined in terms of an interpretation and variable assignment

• Truth value - <sentence> Þ {true, false}

  • Defined in terms of an interpretation and variable assignment

• Version of a variable assignment

  V’ is a version of a variable assignment V with respect to variables var1,…,varn if and only if V’ agrees with V on all variables except for var1,…,varn.
  

Previous slide

Next slide

Back to first slide

View graphic version