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

∙ ∶ ⫶ знаки, заменяющие скобки (в алгебре). р, q, r,… знаки суждения (предложения). а, b, с,… знаки понятия (классы). х, у, z,… знаки индивидуума. Ɔ знак включения (импликации при предложениях и инклюзии при классах). ∩ знак логического умножение или совместности. ∪ знак логического сложения или альтернативности. ɜ знак оператора, который устанавливает соответствие класса некоторому предложению. ɛ знак оператора, устанавливающего принадлежность индивида к классу (ἐστι). ι знак единичного класса. знак индивида, принадлежащего к единичному классу. ≡ знак нумерического тождества. Ǝ знак реального существования. R знак двоичного отношения (между двумя членами). ‘R знак отношения R обращенного. знак относительного умножения отношений. знак логического умножения отношений. φx. ψx, … знаки логической функции. «Если верно включение p Ɔ q и если верна гипотеза р, то верно также положение q, и его можно утверждать в отдельности» (VIII). ( Принцип дедукции ). «В oбщeй фoрмулe вceгда мoжнo, вмecтo oбщeгo или нeoпрeдeлeннoгo члeна, пoдcтавить члeн чаcтный или индивидуальный» (IX). ( Принцип пoдcтанoвки ). Формулы(XIV) и (XV) вместе определяют «негатив», так что можно написать: