Prädikatenlogik/Existenzeinführung im Sukzedens/Axiom

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Existenzeinführung im Sukzedens

Es sei ${}S$ ein Symbolalphabet erster Stufe, ${}\alpha$ ein ${}S$ -Ausdruck, ${}x$ eine Variable und ${}t$ ein ${}S$ -Term. Dann ist

\vdash \alpha {\frac {t}{x}}\rightarrow \exists x\alpha .

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Existenzeinführung_im_Sukzedens/Axiom&oldid=391669“

Ableitungskalkül der Prädikatenlogik/Definitionen