关系

关系,在逻辑一组命令对三元组,成倍增加,等等。一组命令对被称为两处(或二元)关系;一组有序三元组是一个三位的关系(或三元);等等。一般而言,关系是任何一组有序的n元数组对象。关系包括的重要属性对称,传递性,自反性。考虑两处(或二元)R R的关系可以说是对称的,如果当R之间拥有x和y, y和x之间还持有(象征性的,(∀x) (∀y) [Rxy⊃Ryx]);一个平行对称关系是“x是y。“R是transitive if, whenever it holds between one object and a second and also between that second object and a third, it holds between the first and the third (symbolically, (∀x) (∀y) (∀z ) [(Rxy ∧ Ryz) ⊃ Rxz]); an example is “x is greater than y.” R is反射性的如果它总是持有任何对象和自身之间(象征性的(∀x) Rxx);一个例子是“x是y至少一样高”以来x也总是“至少一样高”本身。