Go backward to Meaning of Terminal Sentences Go up to Top Go forward to Meaning of Non-Terminal Sentences

Meaning of Non-Terminal Sentences

• Subtree:

  B

  |

  D

  |

  1

• Meaning:

  B(

  B | D /\

  ) = D(

  D /\

  )

• Notation: B[[ D ]] = D[[ D ]]

Valuation function:
B[[ D ]] = D[[ D ]]
B[[ BD ]] = (B[[ B ]] times two) plus D[[ D ]]