 |
 |
 |
 |
 |
 |
Startseite » Forum » Logik: z.Z. positive Formeln sind immer erfüllbar
Logik: z.Z. positive Formeln sind immer erfüllbar
Universität / Fachhochschule
Sonstiges
Tags: Erfüllbarkeit, logik, Sonstig
 
|
  |
|---|
|
Hallo zusammen, hätte jemand einen Ansatz für mich bei dieser Aufgabe: "Eine positive Formel ist eine, die nur aus Aussagenvariablen, Klammern und den Symbolen ∨, ∧ und → besteht. Zeigen Sie, dass jede positive Formel erfüllbar ist." Erfüllbar heißt ja dass mind. eine Belegung mit Wahrheitswerten wahr ergibt. Aber wie zeige ich das ganze für jede positive Formel? Danke schonmal und Grüße Ennô Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
 |
|
stueckwerk-logik.uni-kiel.de/stuecke/praedikatenlogische-erfuellbarkeit.html |
1558690
1558689