Proposition on semantics of Terms and wifs Let a be a wff t a term and l=< d, lo> an Interpretation,anda1,a2∈∑r If o1 and o2 agree on all variables which occur in t. then T(t)(01)=T(t) 2. If 01 and 2 agree on all variables which occur free in a, then T(A)(01)=(4)(02) Logic in Computer Science- p10/18Proposition on Semantics of Terms and Wffs Let A be a wff, t a term and I =< D, I0 > an interpretation, and σ1, σ2 ∈ ΣI. 1. If σ1 and σ2 agree on all variables which occur in t, then I(t)(σ1) = I(t)(σ2) 2. If σ1 and σ2 agree on all variables which occur free in A, then I(A)(σ1) = I(A)(σ2) Logic in Computer Science – p.10/18