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

∙ ∶ ⫶ знаки, що замінюють дужки (в алгебрі). р, q, r, ... знаки судження (пропозиції). а, b, с, знаки поняття (класи). х, у, z, ... знаки індивіда. Ɔ знак включення (імплікації при реченнях та інклюзії при класах). ∩ знак логічного множення чи спільності. ∪ знак логічного складання чи альтернативності. ? знак оператора, який встановлює відповідність класу певній пропозиції. ? знак оператора, що встановлює приналежність індивіда до класу (ἐστι). знак одиничного класу. знак індивіда, що належить до одиничного класу. ≡ знак нумеричного тотожності. Ǝ знак реального існування. R знак двійкового відношення (між двома членами). 'R знак відношення R зверненого. знак відносного множення стосунків. знак логічного множення відносин. φx. x, … знаки логічної функції. «Якщо правильне включення p q і якщо вірна гіпотеза р, то правильне також положення q, і його можна стверджувати окремо» (VIII). (Принцип дедукції). «У загальній формі завжди можна, разом спільного або неподіленого члена, підставити член приватний або індивідуальний» (IX). (Принцип підставки). Формули (XIV) і (XV) разом визначають "негатив", так що можна написати: