Valuation Function (Logic)

logic

Definition

Valuation Function

The valuation function assigns a value to terms and formulas based on a given interpretation and a variable assignment .

Evaluation of Terms

For a term , the value is defined recursively:

• for a variable .
• for a function symbol .

Evaluation of Formulas

For a formula , the value is defined inductively:

• .
• .
• .
• .
• .