Satz Variablen und Junktoren

Einfache Sprache

Def. Satz Variablen und Junktoren

Sei $\mathcal C$ ein $n$-stelliger Junktor und $\phi_0,\ldots,\phi_{n-1}$ Aussagenlogischen Formel. Dann gilt für alle $i< n$:

$$\mathrm{vars}(\phi_i)\subseteq\mathrm{vars}(\mathcal C(\phi_0,\ldots,\phi_{n-1}))$$

wobei vars.