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

∙ ∶ ⫶ знаци, заместващи скоби (в алгебрата). p, q, r,... признаци на преценка (изречение). a, b, c,... концептуални знаци (класове). x, y, z,... признаци на индивид. Ɔ знак за включване (последствия за изречения и включване за класове). ∩ знак за логическо умножение или съвместимост. ∪ знак за логично добавяне или алтернативност. ɜ е операторен знак, който установява съответствието на клас с определено изречение. ɛ знак на оператора, установяващ принадлежността на индивида към клас (ἐστι). ι знак за клас единица. знак за индивид, принадлежащ към клас единица. ≡ цифров идентификационен знак. Ǝ знак за реално съществуване. R е знак за двоична връзка (между два члена). „R е знакът на R обратната връзка. знак за относително умножение на отношенията. знак за логическо умножение на отношения. φx. ψx, … знаци на логическа функция. „Ако включването p Ɔ q е вярно и ако хипотезата p е вярна, тогава предложението q също е вярно и може да се твърди отделно“ (VIII). (Принцип на дедукцията). „В обща формула винаги можете да замените определен или отделен термин вместо общ или неопределен термин“ (IX). (Принцип на заместване). Формули (XIV) и (XV) заедно дефинират „отрицателно“, така че можем да напишем: