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.)


718