Логиката на отношения, хуманитарната енциклопедия

Логиката на връзката - участък от предикатна логика (виж предикатна логика.), Който изследва връзката между обектите от определена тематика (и). Въпреки логика отношения е специален случай на предикат логика, а именно полином или многократни (п -place, п ≥ 2), предикати (свойства и отношения, имоти се третират като единична съотношение), проучване на връзката на специално сфера, особено когато изследваните близнак ( двоичен) връзка. Конвенционалното отбелязване е от формата покрай R2 (х, у) или игри на. където X, Y - променливи, чиито стойности са обекти определен район (и), а R - всяко отношение ( "преди», ≥, «да се различава от" и т.н.), за които двойката се показва индекс, когато знакът за предикат ( Р, Q, R).

От гледна точка на обем, съотношението на двоичен - Този клас от наредени двойки (за трином или третични връзки - са подредени тройки за chetyrohchlennyh - квартет, и т.н.) на обекти (предметната област или области), за които това съотношение е валидно.

В най-общия случай, съотношението може да се запише като радон (Х1Х2 ... хп), се чете: предмети х. XR. Xn (от даден домейн или домейни) са свързани помежду си с Rn. Ако п = 1, съотношението на "дегенерати" в собственост. Знакът на връзката (собственост) - според приетата логиката на строителство - може да действа като metaznak за съответната предиката като променлива за предиката или като наименование на дадена връзка или свойства.

Въпреки че теорията отношения е част от логиката на предикати, разглеждане на трикомпонентни (където п = 3), и по-специално двоичен отношения съществува относително независим клон. Трикомпонентни връзка може да бъде използвана за експресиране бинарна операция на обектите на областта на приложение, например, когато R (х, у, Z) е х + у = Z. където променливите са числа от цифровата област.

В случай на двукомпонентни отношения, с изключение на запис R (х, у), се прилагат след игри на. което съответства на приетата определянето на вида х = YX