u ≡ f
∙ v ≡ g ⊃
u, v
(∃R)uRv
In dieser Summe sind erst eine Reihe von Gliedern in denen u
oder v nicht auf f
bezw. g passen; in diesem Falle kann die
rechte Seite t oder c sein, die
Impli
ka
tion stimmt immer, weil die linke Seite falsch
ist.
Endlich kommt der Fall wo u auf
g und
v auf
f pa
ßt
& nun ist die linke Seite entweder t dann ist der Satz
richtig oder c dann ist er falsch.
Was aber heißt es daß u auf
f paßt?
Ist das ein Satz?
– Dieser Satz würde etwa ausgedr
ückt
durch:
x = a ⌵ x = b ⌵ x = c
≡
x fx das heißt aber soviel wie
fa ≡ t
∙ fb ≡ t ∙ fc ≡ t ∙ fd ≡
cont. …