Sufo und Länge einer Formel < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 14:44 Fr 11.11.2011 | | Autor: | Mija |
| Aufgabe | Zu zeigen:
Für alle Formeln A ist die Zahl der Elemente von Sufo(A) kleiner oder gleich der Längen von A, d.h. $|Sufo(A)| [mm] \le [/mm] l(A)$ |
Hallo,
irgendwie gerate ich bei dem Versuch die obige Aussage zu beweisen ins Straucheln.
Ich behaupte einfach mal, dass folgendes eine Formel ist:
[mm] $(p_1 \wedge p_2) \to (p_1 \vee p_2)$
[/mm]
Dann ist doch $|Sufo(A)|=5$ und $l(A)=3$
Wo ist da mein Denkfehler?
Ich würde mich sehr über eine Antwort freuen!
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 08:17 Sa 12.11.2011 | | Autor: | hippias |
Ich wuerde behaupten, dass die Laenge einer Zeichenfolge gleich der Anzahl der Zeichen, unter Beruecksichtigung der Vielfachheiten, ist:
[mm] $l((p_1 \wedge p_2) \to (p_1 \vee p_2))= [/mm] 7$ quatsch $=11$ (Klammern nicht vergessen!).
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 16:09 Sa 12.11.2011 | | Autor: | Mija |
Ich dachte, man zählt die p's nicht mit?!
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:33 Sa 12.11.2011 | | Autor: | hippias |
Da bin ich ueberfragt. Ich haette sie mitgezaehlt, aber wenn es anders definiert wurde, musst Du natuerlich mit der fuer Dich gueltigen Definition arbeiten.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 16:23 Di 15.11.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
