 |
 |
 |
 |
 |
 |
Startseite » Forum » Aussagenlogik - allgemeingültig
Aussagenlogik - allgemeingültig
Universität / Fachhochschule
Sonstiges
Tags: allgemeingültig, Aussagenlogik, Resolution
 
|
  |
|---|
|
Hey Leute! Wir haben hier eine schöne Aufgabe an der wir echt zweifeln: Berechnen Sie für die Behauptung in eine Menge von Klauseln, so dass aus der Erfüllbarkeit von die Gültigkeit der Behauptung geschlossen werden kann. Die Erfüülbarkeit von soll nicht getestet werden. Formel ist allgemeingültig Du kannst das ja als: Um die allgemeingültigkeit zu zeigen musst du ja zeigen das nicht erfüllbar ist. Aber wir kommen da iwie auf keinen grünen Zweig. Hat da jmd vllt einen Tipp bzw. Hilfe? Das ist als ODER und das ist als UND zu verstehen Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.) |
|
 |
|
Wahrheitstabelle aufstellen und die Bedingungen herauslesen - oder funktioniert das nicht, oder versteh ich die Angabe falsch? |
 |
|
Theoretisch haste da Recht. Würde ich im Normalfall auch so machen... Allerdings haben wir in der letzten Vorlesung noch die Variante gelernt, dass man negiert und dann dort die unerfüllbarkeit zeigt.... Jetzt waren wir uns nicht sicher. Aber die Aufgabenstellung sagt ja nix genaues dazu |
|
|
|
ich glaube du hast da fehler drin, is aber bei mir auch schon länger her... C⇔¬D ist das selbe wie ((C∩¬D)∪(¬C∩D)) |
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
933700
932820