священник Павел Флоренский

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вки).


Источник: Столп и утверждение истины : опыт православной теодицеи / Павел Флоренский. - Москва : АСТ, 2003. - 640 с. ISBN 5-17-010897-4

Комментарии для сайта Cackle