Interpretation over a singleton Let I be , and σ ∈ ΣI. 1. I(A)(σ) = I(∀xA)(σ). 2. I(t)(σ) = a. 3. I(Sx1,···,xn t1,···,tn A)(σ) = I(A)(σ). 4. I0(P), σ(P) ∈ {I(n), Ψ(n)} for every n-ary predicate constant (variable), where
Choose the missing words from the box. The first one is done for you as an example. memorandum courier pencil reference clear registered enclose zip code post code p.p. acknowledge printer stationery word-processed