by Heidi K.
S^S
A = T is read as ‘the variable assignment satis�es ^ in the
Lò-structure A’.
If ^ is a sentence (i.e. if no variable occurs freely in ^), then the
variable assignment doesn’t matter and I drop the upper index for
the variable assignment.
S^SA = T is read as ‘^ is true in the Lò-structure A’.
Finally you have learned what truth is.
Jep... We really have....
