Aussagelogik- Quantoren < Sonstiges < Hochschule < Mathe < Vorhilfe
|
Ich hoffe es gibt hier jemanden der sich mit Quantoren auskennt:
Wie schreibt man die Negation zu:
Aa [mm] \in \IQ [/mm] : Ab [mm] \in \IQ [/mm] : Ec [mm] \in \IQ [/mm] : a*c = b
A= Allquantor (ein auf dem Kopf stehendes A)
Ec= Existenzquantor (nach links schauendes E)
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo Anke,
Existenz- werden zu Allquantoren und umgekehrt und die Aussage am Ende wird negiert:
[mm] \neg (\forall a\in [/mm] Q [mm] \forall b\in [/mm] Q [mm] \exists c\in [/mm] Q [mm] a\cdot [/mm] c = b) ist
[mm] \exists a\in [/mm] Q [mm] \exists [/mm] b [mm] \in [/mm] Q [mm] \forall c\in [/mm] Q [mm] a\cdot [/mm] c [mm] \neq [/mm] b
(und dies ist uebrigens eine wahre Aussage, z.B nimm a=0, b=1).
Gruss,
Mathias
|
|
|
| |
|
Wo bekommt man eigentlich Infomaterial zu Aussagenlogik, gibt es da irgendwelche Bücher zu?
AG*Anke
|
|
|
| |
|
Hallo Anke,
Als ich mich im 2ten Semester mit Logik beschäftigt habe, hat man uns folgendes Buch empfohlen:
U.Schöning: Logik für Informatiker , Spektrum Akademischer Verlag, 5.Auflage , 2000
Ich fand die Erklärungen darin eigentlich ganz nützlich.
Grüße
Karl
|
|
|
| |
|
Hallo Anke,
ergaenzend zu dem, was Karl geschrieben hat, moechte ich noch empfehlen:
(1) ''Computational Complexity'' von Christos Papadimitriou,
das auch ein kurzes, aber sehr gut und kompakt geschriebenes einfuehrendes
Kapitel zur Aussagen- und insbesondere anschliessend zur Praedikatenlogik hat.
(2) C. Chang and J. Keisler. Model Theory . North-Holland, 1990
Dieses Buch ist fuer Mathematik-Studierende empfehlenswert, auch hier findet man
ein einfuehrendes Kapitel zur Aussagenlogik.
Gruss,
Mathias
|
|
|
|
