This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Semantic Equivalence How would we deal with variables? Proposition : Show that the sentences x+x and 2*x are semantically equivalent. Proof : From elementary algebra we know that given any integer value i we have i + i = 2 × i . Assume that we are given some arbitrary context C. Also assume that lookup(C,x)=k. Semantic Equivalence Here is the proof in natural semantics: The semantic value for both sentences is the same, therefore they are semantically equivalent. Semantic Equivalence A surprising result, variable substitution and function application are semantically equivalent! Consider, let x = 3 in x+1 end (fn x => x+1) 3 The proof is left as an exercise....
View
Full Document
 Spring '08
 HAMEL
 Semiotics, Semantics, semantic equivalence

Click to edit the document details