Inferenz von Werten

• Grundbereich: Aussagen der Form $\mathsf {wert}$ (f, b) mit f∈Formeln, b∈$\mathbb {B}$ = {0, 1}
• Axiome: $\mathsf {wert}$ ($\mathsf {T}$, 1),$\mathsf {wert}$ ($\mathsf {F}$, 0)
• Regeln: $${\frac{{\operatorname{\mathsf{wert}}(X,1),\operatorname{\mathsf{wert}}(Y,1)}}{{\operatorname{\mathsf{wert}}(X\wedge Y,1)}}}$$,$${\frac{{\operatorname{\mathsf{wert}}(X,0)}}{{\operatorname{\mathsf{wert}}(X\wedge Y,0)}}}$$,$${\frac{{\operatorname{\mathsf{wert}}(Y,0)}}{{\operatorname{\mathsf{wert}}(X\wedge Y,0)}}}$$,...

Beispiel: leite $\mathsf {wert}$ ((T∧F)∧(T∧T), 0) ab.

Durch ein Inferenzsystem kann man die Semantik von Ausdrücken (Programmen) spezifizieren.

(hier: dynamische Semantik)