Mathematische Logik/Gemischte Satzabfrage/16/Aufgabe/Lösung

< Mathematische Logik < Gemischte Satzabfrage < 16 < Aufgabe

/Fakt
Es sei ${}S$ ein Symbolalphabet, ${}\Gamma$ eine Menge an ${}S$ -Ausdrücken und ${}\alpha$ ein weiterer ${}S$ -Ausdruck. Dann gilt ${}\Gamma \vDash \alpha$ genau dann, wenn es eine endliche Teilmenge ${}\Gamma _{e}\subseteq \Gamma$ gibt mit ${}\Gamma _{e}\vDash \alpha$ .
/Fakt

Zur gelösten Aufgabe

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