Отношение Транзитивное

- бинарное (двухместное) отношение R, определенное на некотором множестве и характе­ризующееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R(xRy), следует, что и у находится в том же отношении к х(у Rx). Примером О. С. Может быть равенство (=), отношение типа равенства, подобия, одно­временности, некоторые отношения родства и др. Так, отношение братства - симметрично (если речь идет о любых лицах мужского пола), поскольку является истинным предложе..

- двухместное отношение R между предметами х и у области D (см. Предметная область), удовлетворяющее следующим аксиомам (условиям). 1) аксиоме рефлексивности. XRx (предмет находится в отношении R к само­му себе) (см. Отношение рефлексивное). 2) аксиоме симметрич­ности. XRy ->. YRx (если предмет х находится в отношении R к пред­мету у, то и у находится в отношении R к х) (см. Отношение симметричное). 3) аксиоме транзитивности. XRy &. YRz->xRz (если  . Предмет х находится в отношении R..

- бинар­ное (двухместное) отношение R, определенное на некотором мно­жестве и характеризующееся тем, что каждому значению у отно­шения xRy соответствует лишь одно-единственное значение х. Примером О. Ф. Может быть отношение «х отец у», т. К. Каждому значению у соответствует единственное значение х. Каждый чело­век имеет единственного отца. Свойство функциональности отно­шения R записывается в виде аксиомы. Из (xRy и zRy) следует (x-z). Поскольку каждому значению у в выражениях xRy и zRy соответс..

— логическая операция, с помощью которой из данного высказывания получается новое высказывание. При этом если исходное высказывание истинно, его О. Не является истинным, а если оно ложно, его О. Не является ложным. Отрицательное высказывание состоит из исходного высказывания и поме­щаемого перед ним знака О. (в логике ~ или 1), читаемого как «не» или «неверно, что». О. Высказывания A является сложное выс­казывание ~А. В логике классической если высказывание А истинно, его О. ~А ложно, а если A л..