XXX. Основные знаки и простейшие формулы логистики (для справок).

∙ ∶ ⫶ signes remplaçant les parenthèses (en algèbre). p, q, r,... signes de jugement (phrase). a, b, c,... signes conceptuels (classes). x, y, z,... signes d'un individu. Ɔ signe d'inclusion (implications pour les phrases et inclusion pour les classes). ∩ signe de multiplication logique ou de compatibilité. ∪ signe d'addition logique ou d'alternance. ɜ est un signe opérateur qui établit la correspondance d'une classe avec une certaine phrase. ɛ signe de l’opérateur établissant l’appartenance de l’individu à une classe (ἐστι). ι signe d'une classe d'unités. signe d'un individu appartenant à une classe d'unités. ≡ signe d'identité numérique. Ǝ un signe d'existence réelle. R est un signe de relation binaire (entre deux termes). 'R est le signe de la relation inversée R. signe de multiplication relative des relations. signe de multiplication logique des relations. φx. ψx, … signes d'une fonction logique. « Si l'inclusion p Ɔ q est vraie et si l'hypothèse p est vraie, alors la proposition q est également vraie, et elle peut être affirmée séparément » (VIII). (Principe de déduction). « Dans une formule générale, on peut toujours substituer un terme particulier ou individuel à un terme général ou indéfini » (IX). (Principe de substitution). Les formules (XIV) et (XV) définissent ensemble « négatif », on peut donc écrire :