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

∙ ∶ ⫶ semne care înlocuiesc parantezele (în algebră). p, q, r,... semne de judecată (propoziție). a, b, c,... semne conceptuale (clase). x, y, z,... semne ale unui individ. Ɔ semn de includere (implicații pentru propoziții și includere pentru clase). ∩ semn de înmulțire logică sau de compatibilitate. ∪ semn al adunării logice sau al alternativei. ɜ este un semn operator care stabilește corespondența unei clase cu o anumită propoziție. ɛ semn al operatorului care stabilește apartenența individului la o clasă (ἐστι). ι semn al unei clase de unități. semn al unui individ aparținând unei clase de unități. ≡ semn de identitate numeric. Ǝ un semn al existenței reale. R este un semn de relație binar (între doi termeni). „R este semnul relației inversate R. semn al înmulțirii relative a relațiilor. semn al înmulțirii logice a relațiilor. φx. ψx, … semnele unei funcții logice. „Dacă includerea p Ɔ q este adevărată și dacă ipoteza p este adevărată, atunci propoziția q este și ea adevărată și poate fi afirmată separat” (VIII). (Principiul deducerii). „Într-o formulă generală, puteți înlocui întotdeauna un termen particular sau individual în loc de un termen general sau nedeterminat” (IX). (principiul substituției). Formulele (XIV) și (XV) împreună definesc „negativ”, așa că putem scrie: