The only substantive change is to remove the wording "Using the evaluation function" from the definition of satisfaction in PL, since the definition does not use the evaluation function (and its connection to the satisfaction relation is given immediately afterwards by a proposition, not by a definition).
The only substantive change is to remove the wording "Using the evaluation function" from the definition of satisfaction in PL, since the definition does not use the evaluation function (and its connection to the satisfaction relation is given immediately afterwards by a proposition, not by a definition).