Поиск авторов по алфавиту

Автор:Флоренский Павел, священник

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

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


Страница сгенерирована за 0.01 секунд !
Map Яндекс цитирования Яндекс.Метрика

Правообладателям
Контактный e-mail: odinblag@gmail.com

© Гребневский храм Одинцовского благочиния Московской епархии Русской Православной Церкви. Копирование материалов сайта возможно только с нашего разрешения.