Logica relațiilor, Encyclopedia umanitare

Logica relației - o secțiune a logicii predicatelor (a se vedea logica predicatelor.), Care examinează relația dintre o anumită zonă (e) sub rezerva obiectelor. Deși logica relațiilor este un caz special al logicii predicatelor, și anume polinomială sau multicavity (n -place, n ≥ 2), predicatele (proprietăți și relații, proprietăți sunt tratate ca raport unic), explorarea relației deosebit sferă, în special atunci când a studiat geamăn ( binar) relație. notația convențională este forma de trecut R2 (x, y) sau Hry. unde x, y - variabile ale căror valori regiune (regiuni) sunt obiecte specificate, un R - orice raport ( „înainte», ≥, «diferă de la“, etc.), pentru care binar indică un indice când semnul predicat ( P, Q, R).

Din punct de vedere al volumului, raportul dintre binar - Această clasă de perechi ordonate (pentru trinom sau ternare, relații - sunt ordonate triplete pentru chetyrohchlennyh - cvartet, etc.) a obiectelor (acest domeniu subiect sau zone), pentru care acest raport este valabil.

În cazul general, raportul poate fi scris ca Rn (x1x2 ... xn), fiind citit: obiectele x. xr. xn (dintr-un anumit domeniu sau domenii) sunt interconectate împotriva Rn. Dacă n = 1, raportul dintre „degenerați“ în proprietate. Semnul relației (proprietate) - conform logicii acceptată a construcției - pot acționa ca metaznak pentru predicat relevant ca variabilă pentru predicat sau ca denumire a unei anumite relații sau proprietăți.

Deși teoria relațiilor este parte a logicii predicatelor, luarea în considerare a ternar (unde n = 3), în special relație binară există o ramură relativ independentă. relație ternară poate fi folosit pentru a exprima operații binare pe obiecte ale domeniului de aplicare, de exemplu, atunci când R (x, y, z) este x + y = z. în care variabilele sunt numere dintr-un câmp numeric.

În cazul relațiilor binare, cu excepția înregistrare R (x, y), aplicat după Hry. care corespunde denumirii acceptată de tipul x = yx