Assignment 1 – Introduction to Syntactic Semantics

Due Thursday 4/11 1:59pm

In this assignment, B refers to the little boolean language and evalr refers to the evaluator induced by the transitive, reflexive closure of ⟶r from chapter 1.

Exercise 1. Prove that (((t • f) • f) • (f • (f • f))) =r t.

Exercise 1. Let B = (((t • f) • f) • (f • (f • f))). Prove that evalr(B) = t.

Exercise 3. Prove that =r is not a function while r is a function.

Deliverables: Please bring your solutions to class or drop them at Christos’s office.