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

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