6.126

Si una proposición pertenece a la lógica se puede calcular en tanto que se calculen las cualidades lógicas del símbolo. Y esto hacemos cuando «demostramos» una proposición lógica. Pues, sin preocuparnos por un sentido y un significado, construimos la proposición lógica a partir de otra mediante meras reglas de signos.