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

XXX.—ОСНОВНЫЕ ЗНАКИ И ПРОСТЕЙШИЕ ФОРМУЛЫ ЛОГИСТИКИ (для справок).

Знаки:

• :  знаки, заменяющие скобки (в алгебре).

р, q, r,... знаки суждения (предложения).

а, b, с,... знаки понятия (классы).

х, у, z,... знаки индивидуума.

Ɔ знак включения (импликации при предложениях и инклюзии при классах).

= знак эквивалентности.

 знак логического умножение или совместности.

 знак логического сложения или альтернативности.

V знак истины.

Λ знак лжи.

− знак отрицания, «не».

ɜ знак оператора, который устанавливает соответствие класса некоторому предложению.

ɛ знак оператора, устанавливающего принадлежность индивида к классу (ἐστι).

ι  знак единнчного класса.

 знак индивида, принадлежащего к единичному классу.

 знак нумерического тождества.

 знак реального существования.

R знак двоичного отношения (между двумя членами).

‘R знак отношения R обращенного.

* знак относительного умножения отношений.

 знак логического умножения отношений.

φχ. ψχ, ... знаки логической функции. 

600

Форм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вки).

601

602

603