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.