hi, muss man bei 4a) irgendwie beweisen, dass in M eine 0 und eine 1 ist wenn |M|>1 ist, oder kann man das einfach so hinnehmen? Wenn nicht, wie soll man sowas beweisen können? Bei 4b) kann ich mir einfach nicht erklären, wie man formal, also mit den Axiomen, auf das im Hinweis (a=~a) kommen kann. Wie soll man, wenn man die Axiome richtig anwendet, auf ein Ergebnis kommen, was es garnicht geben kann? Wäre nett, wenn jemand ein paar Tipps geben könnte. Gruß Manuel https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3107,3107#msg-3107 Tue, 17 Dec 2024 10:34:51 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3107,3108#msg-3108 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3107,3108#msg-3108
für a) gilt dann: man kann annehmen, dass eine 0 und eine 1 existiert, weil eine Folgerung aus dem Axiomen besagt, dass solche neutralen Elemente existieren. (wurde erst auf dem letzten Blatt bewiesen)

für b) siehe allgemeiner Hinweis oben. Natürlich _könntest_ du alles aus den Axiomen folgern, da alle Folgerungen, Korrolare, etc. auch aus den Axiomen gefolgert wurden. Es ist hier aber wesentlich einfacher das zu verwenden (bzw. damit anzufangen), was man schon gefolgert hat.

Vielleicht noch ein, nein besser zwei Hinweise:
- man kann sehr konkret angeben, wie die Elemente der Menge M mit |M| = 3 auszusehen haben.
- aus den Axiomen der Booleschen Algebra kann man schließen, dass die Operationen +,* und - ("-" soll Negation sein) abgeschlossen sind, d.h. das Ergebnis dieser Operation ist wieder ein Element aus der Menge über die die Boolescher Algebra definiert ist. (das folgt implizit aus den Axiomen, braucht man also nicht zeigen und muss man auch nicht angeben, wenn man das verwendet. Eventuell ist das auch auch sowieso klar/trivial, aber so als Hinweis eben)

edit: ach so, ja... vielleicht auch kein verkehrter Hinweis, der auch in den Übungen nochmal erwähnt wird: beide Aussagen kann man durch Widerspruch zeigen.]]> Sven Reimer Technische Informatik WS 2009/10 Tue, 01 Dec 2009 11:57:19 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3107,3107#msg-3107 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3107,3107#msg-3107 muss man bei 4a) irgendwie beweisen, dass in M eine 0 und eine 1 ist wenn |M|>1 ist, oder kann man das einfach so hinnehmen? Wenn nicht, wie soll man sowas beweisen können?
Bei 4b) kann ich mir einfach nicht erklären, wie man formal, also mit den Axiomen, auf das im Hinweis (a=~a) kommen kann. Wie soll man, wenn man die Axiome richtig anwendet, auf ein Ergebnis kommen, was es garnicht geben kann?

Wäre nett, wenn jemand ein paar Tipps geben könnte.

Gruß
Manuel]]> Manuel Bührer Technische Informatik WS 2009/10 Tue, 01 Dec 2009 11:44:10 +0100