0
Dazu erstmal die Folgerungen durch die anderen Symbole umschreiben, also \((B\Longrightarrow A)\iff (\neg B\lor A)\).
Dann entsteht ein längerer Ausdruck, den man weiter umformt, indem man in Teilen darin die Regeln anwendet. Schön sorgfältig dabei vorgehen, insb. auf Klammern achten.
Wenn Du z.B. bei (i) das Muster \(w \lor \text{irgendwas}\) hast, bist Du fertig.
Welche Umformungen nötig sind, kann man vorher nicht sagen. Einfach mal anfangen und schauen, was sich ergibt. Wie weit kommst Du?
Dann entsteht ein längerer Ausdruck, den man weiter umformt, indem man in Teilen darin die Regeln anwendet. Schön sorgfältig dabei vorgehen, insb. auf Klammern achten.
Wenn Du z.B. bei (i) das Muster \(w \lor \text{irgendwas}\) hast, bist Du fertig.
Welche Umformungen nötig sind, kann man vorher nicht sagen. Einfach mal anfangen und schauen, was sich ergibt. Wie weit kommst Du?
Diese Antwort melden
Link
geantwortet
mikn
Lehrer/Professor, Punkte: 40.29K
Lehrer/Professor, Punkte: 40.29K
Leider scheint diese Antwort Unstimmigkeiten zu enthalten und muss korrigiert werden.
Mikn wurde bereits informiert.
Moin ich darf zum Beweisen nicht die wahrheitstafel benutzen sondern muss es mit rechenregeln beweisen nur keine Ahnung wie..