Das sieht man sehr
deutlich wenn man sich den Einspruch erhoben denkt
p ∣ p sei
gar nicht das was ~p sagt.
Die Antwort ist natürlich daß es sich nur darum
handelt daß das System p ∣ q
etc
. die nötige Multiplizität
hat.
Sheffer hat also ein symbolisches System gefunden das die
nötige Multiplizität
hatte || hat.
Ist es ein Suchen,
wenn ich das System Sheffers nicht kenne & sage ich möchte ein
System mit nur
einer logischen
Konstanten
konstruieren. Nein!
Die Systeme sind ja gar nicht in einem Raum so daß
ich sagen könnte: Es gibt
Systeme mit
3 & 2 logischen
Konstanten
nun suche ich die Zahl der
Konstanten
in derselben Weise zu
vermindern. Es gibt hier keine
selbe
Weise!