Interpretation (logic)
= Interpretation
{disambiguate=logic}
{wiki}
= Interpretation
{synonym}
A choice of a domain and meanings for the symbols of a <formal language>, used to evaluate its sentences. The same sentence can have different <truth values> under different interpretations, unless it is valid under every admitted interpretation.