Du musst zunächst die Implikation auflösen. Also alles in der Prämisse ( alles was davor steht) in Klammern und dann negieren, wir es in den Gesetzen angegeben ist. Dann wendest du 2x DeMorgan an und bist fast schon am Ziel :)
Punkte: 10
Hallo,
ich habe die Aufgabe, die folgende Formeln herzuleiten:
Dazu darf ich folgendes anwenden:
Der Term scheint einfach zu sein und die Aussage logisch, doch die formale Beweisführung macht mir Kopfzerbrechen.
Was sind die Prämissen? Das:
Und wie forme ich jetzt weiter um?
VG, Adrian
Du musst zunächst die Implikation auflösen. Also alles in der Prämisse ( alles was davor steht) in Klammern und dann negieren, wir es in den Gesetzen angegeben ist. Dann wendest du 2x DeMorgan an und bist fast schon am Ziel :)
ich habe nicht viel mit Aussagenlogik gearbeitet, aber vielleicht können wir das ganze ja zusammen lösen.
Zuerst eine Frage, Hinter \( \beta \) das \( |. \) hat das eine Bedutung, oder ist die zu zeigende Aussage einfach
$$ \neg \alpha \land ( \alpha \lor \beta ) \Rightarrow \beta $$
Darfst du das ganze möglicherweise einfach mit einer Wahrheitstabelle zeigen? Damit wäre es denke ich am einfachsten oder? ─ christian_strack 12.01.2020 um 16:41