Guten Abend
In meinem Skript zur Algebra befindet sich auch ein Teil zu mathematischer Logik.
Hierbei wird zu einer Formel a der Begriff der Bewertung dieser Formel eingeführt, also wobei diese Bewertung die Werte 0 oder 1 annehmen kann.
Zudem werden Quantoren eingeführt, etwa der Existenzquantor . Dieser bedeutet, dass es eine konkrete Bedeutung der Variablen gibt, welche die Formel a wahr werden lässt.
Nun steht in meinem Skript die Aussage: "kommt die Variable in der Formel a nicht frei vor, dann bedeutet dasselbe wie J(a)".
Ich habe aber Probleme, mir dieses vorzustellen. Die erste Formel (die mit dem Existenzquantor) ist für mich intuitiv einsehbar, denn sie nimmt einen konkreten Wert aus dem Universum und setzt ihn ein und kommt dann zu der Bewertung 0 oder 1. Aber was bedeutet ? Bedeutet dies, dass in der Formel de facto gar keine Variablen vorkommen? Nur Konstanten? Und dass wir daher auf die Bewertung 0 oder 1 unabhängig von konkreten Variablenbedeutungen schliessen können?
Bin für Hilfe dankbar!
Gruss Jonas
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |