Beweis von a.A < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:58 Di 11.11.2008 | | Autor: | TeamBob |
| Aufgabe | | Zeigen Sie, dass es einen aussagenlogischen Ausdruck A gibt, zu dem kein zu A semantisch äquivalenter Ausdruck existiert, für dessen Aufbau nur Variablen, Klammern, ^ und v benutzt werden. |
Ich habe zwar einen Ansatz, aber so recht kommt ich nicht mehr weiter.
Induktionsanfang: A= (¬A1 ^ ¬A2)
A= (¬p1 ^¬p2)
K über A (p1 über p2) = (0 über 0) = A = 1
Ich weis nicht ob das alles so stimmt, aber ich hoffe ihr könnt mir helfen und mich verbessern und weiterführen.
Danke
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Do 13.11.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
