f ≡ u ∙ g ≡ v
⊃
u, v (∃R)uRv
fa ∙ ~fb ∙
~fc … ∙ gr ∙ ~gs ∙
~gt … ⊃ ‒ ‒ ‒
fa
∙ fb ∙ ~fc ∙ ~ …
∙ gr ∙ gs ∙ ~gt ∙ ~
… ⊃ ‒ ‒ ‒
– – – – –
Es werden hier zwar alle R für
jede Zeile
probiert aber die linke Seite bestimmt schon, welches R allein
pa
ßt.
Die anderen sind gleichsam Abfall.
Es kommt auf dasselbe hinaus ob ich gleich das passende R
konstruiere;
( || –
bezw. sage daß keines paßt – oder ob ich
alle konstruiere & das passende auszeichne;
(
ein Kriterium für das passende habe.
Wenn man probiert, macht man eben alles auf bestimmte Weise von der linken
Formenreihe abhängig.