Mir fehlt komplett der Ansatz.
(a) Formalisiere mit Hilfe einer injektiven Abbildung
Φ: {0,1,...,k} → {a| a Aussage innerhalb einer Theorie}
und den Abbildungen
f∧(a,b) := a Λ b , f∨(a,b) := a ν b , f−(a) := ¬a , f↑(a,b) := a⇒b
die zusammengesetzten Aussagen in k+1 Variablen Φ(0), Φ(1),..., Φ(k) dritter Stufe, also die Aussagen mit max. zwei geschachtelten Klammern. (wer knobeln möchte gerne auch für k€ℕ beliebig)
(b) Wieviele solcher Aussagen gibt es, wenn man die trivialen Aussagen f∧(a,a) f∨(a,a) f↑(a,a) ausschließt.
(c) wie viele nichtäquivalente zusammengesetzte Ausdrücke dritter Stufe gibt es?
(was heißt eig. dritter Stufe?)
