Substitutionen

Eine Substitution S mit n Parametern ist eine Funktion

S : Lⁿ -> L,

die spezifiziert wird durch

n Parameter p₁, ···, p_n und

einer Formel F ∈ L, in der p₁, ···, p_n überall vorkommen dürfen, wo ⟨ Formula ⟩ zulässig ist.

Das Abbild von n Formeln P₁, ···, P_n der Substitution S ist dann F, bei der textuell p₁ durch P₁ ersetzt wird, p₂ durch P₂, ··· und p_n durch P_n.

Beispiel für eine Substitution mit einem Parameter:
S(p) := ¬ ¬ (p) => p

Anwendungsbeispiel: S(A => B) = ¬ ¬ (A => B) => A => B

	n Parameter p₁, ···, p_n und
	einer Formel F ∈ L, in der p₁, ···, p_n überall vorkommen dürfen, wo ⟨ Formula ⟩ zulässig ist.