443
Wer entdeckt, dass ein Satz p aus einem von der
Form qCp & q folgt, der
konstruiert ein neues Zeichen, das Zeichen dieser Regel.
(Ich nehme dabei an, ein Kalkül mit p, q, C,
& , sei schon früher gebraucht worden, und nun träte diese
Regel hinzu und schaffe damit einen neuen Kalkül.)