Hi, wir machen gerade Prädikatenlogik.
Ich muss folgende beiden prädikatenlogische Aussagen negieren
"Es gibt eine rationale Zahl x mit x² =2 "
Meine Idee dazu: Es gibt eine rationale Zahl x = p
x2=2 = q
wenn ich das negiere: Es gibt keine rationale Zahl mit x² =2 ????????
Und der zweite Teil der Aufgabe:
"Es gibt kein Lehrbuch zur Informatik, bei dem ein Kapitel ohne Fehler vorkommt"
negiert: Es gibt ein Lehrbuch zur Informatik bei dem kein Kapitel ohne Fehler vorkommt
????
Wäre für Lösungshilfen sehr dankbar weil ich mir unsicher bin