Prädikatenlogik/Ableitbar/Allquantor/Fakt/Beweis/Aufgabe

< Prädikatenlogik < Ableitbar < Allquantor < Fakt < Beweis

Es sei ${}S$ ein Symbolalphabet erster Stufe, ${}\alpha$ ein ${}S$ -Ausdruck und ${}x$ eine Variable. Zeige, dass ${}\vdash \alpha$ genau dann gilt, wenn ${}\vdash \forall x\alpha$ gilt.

Zur Lösung, Alternative Lösung erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.