Remark on Nicod's reduction of Principia Mathematica. (Q2603353)

Die Nicodsche Ableitung der primitiven Formeln 1.1 -- 1.6 der Principia Mathematica [\textit{J.~G.~P.~Nicod}, Proc. Camb. Philos. Soc. 19, 32--41 (1917)] ist insofern nicht vollständig, als die Verknüpfung \(p\supset q\) bei Nicod in etwas anderer Weise eingeführt wird als in den Principia Mathematica. Es wird gezeigt, wie sich die Lücke ausfüllen läßt. Weiteres Ref.: Zbl 0018.00103.