СПИСОК ОБОЗНАЧЕНИИ И СПЕЦИАЛЬНЫХ ВЫРАЖЕНИИ, ИСПОЛЬЗОВАННЫХ В ПРИМЕЧАНИЯХ Строчные буквы «р», «q», «г» латинского алфавита исполь- зуются в качестве пропозициональных (высказывательных) букв. т. е. букв, обозначающих события. Проннсныо буквы «Р», «Q», ('К» латинского алфавита исполь- зуются в качестве предикатных букв — букв, обозначающих атрибуты (свойства или отношения). В выражениях, обозначающих применение атрибута к еди- ничным вещам (первым субстанциям), т. е. в выражениях вида «Р (х)», «Р (a)», «Q (х, у)». «О (а, х)», «П (х, с, у)» и т. п., строч- ные буквы конца латинского алфавита «х», «у», «z» используются в качестве предметных (индивидных) переменных, а строчные буквы начала латинского алфавита «а», «Ь», «с» — в качестве предметных (индивидных) констант, т. е. в качестве имен еди- ничных вещей (первых субстанции). Следуя Аристотелю, прописные буквы русского (у Аристо- теля, разумеется, греческого) алфавита используются в качестве букв, обозначающих своиства или классы. Но иногда они исполь- зуются II в качестве пропозппнональнпых букв. Обозначает ли данная прописная буква русского алфавита класс, свойство или событие, — это легко мон-,ио установить по контексту. Буква «и» в символических или полусимволических записях обозначает конъюнкцию. Слово «пли» в символических или полусимволическнх запи- сях обозначает включительную (нсраздслптельную) дизъюнкцию. Слово «либо» в символических или полусимволическнх за- писях обозначает исключающую (разделительного) дизъюнкцию. «г^>» обозначает импликацию (материальную или строгую, смотря по контексту), «<^>» обозначает эквивалентность (материальную или стро- гую, смотря по контексту). «—ft обозначает коитрадикторное отрицание. «—ft обозначает оппозиционное отрицание, переводящее контрарные выражения друг с друга и субконтрарные выраже- ния друг в друга. «Ах» обозначает квантор общности по переменной х. <<Ех» обозначает квантор существования по переменной х. «—» означает «выводимо», «доказуемо». «==» означает «следует», «вытекает». «е» обозначает отношение членства. «S» обозначает теоретико-множественное отношение вклю- чепия. «^» обозначает теоретико-множественную операцию объеди. нения. «^» обозначает теоретико-множественную операцию поро- сечения. «—» обозначает теоретико-множественную разность. «{х: —}» обозначает оператор абстракции. «а =рЬ» означает «а равно (сходно с) Ь по свойству Р». «R» обозначает конверс отношения R. «R^ (х)» есть сокращение для «R (х, a, Q)». «Ах ^Б» обозначает произвольную силлогистическую посылку, где <'х» пробегает по силлогистическим константам «а», «е», «Ь, «о», a «Y» — по модальным операторам. Так что при отсутствии вхождения переменной «у» в это выражение оно обозначает произвольную ассерторическую силлогистическую посылку; в противном же случае — произвольную модальную силлогисти- ческую посылку. «М» обозначает безусловную (простую) возможность. «L» определяется как «—iM —i» и обозначает безусловную (простую) необходимость. «U» определяется как «—1 М» и обозначает безусловную (простую) невозможность. «Qp» определяется как «(Мр и М —] р)». _ «Np» определяется как «—] Q—1 р», т. е. как «(Lp или L —] р)». «Аа^Б» определяется как «(Аа^Б и Ае Б)». «Ае^Б» определяется как «Аа Б». «Пр» определяется как « =^ Т =^ р». «А1Б» определяется как «(Ai^B и Ао^Б)». «Ао^Б» определяется как «Ai^B». «Др» определяется как « =1К =^ р». «О» используется в качестве переменной по М, Т, Q, К. «D» используется в качестве переменной по L, П, N, Д. «о» определяется как либо «—]0», либо « =1 О».