XXX. Основные знаки и простейшие формулы логистики (для справок).
Знаки:
∙ ∶ ⫶ знаки, заменяющие скобки (в алгебре).
р, q, r,… знаки суждения (предложения).
а, b, с,… знаки понятия (классы).
х, у, z,… знаки индивидуума.
Ɔ знак включения (импликации при предложениях и инклюзии при классах).
= знак эквивалентности.
∩ знак логического умножение или совместности.
∪ знак логического сложения или альтернативности.
V знак истины.
Λ знак лжи.
¬ (
) знак отрицания, «не».
ɜ знак оператора, который устанавливает соответствие класса некоторому предложению.
ɛ знак оператора, устанавливающего принадлежность индивида к классу (ἐστι).
ι знак единичного класса.
знак индивида, принадлежащего к единичному классу.
≡ знак нумерического тождества.
Ǝ знак реального существования.
R знак двоичного отношения (между двумя членами).
‘R знак отношения R обращенного.
знак относительного умножения отношений.
знак логического умножения отношений.
φx. ψx, … знаки логической функции.
Формyлы:
«Если верно включение 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вки).