离散数学作业布置第1次作业(P15)1.16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
解:(1)p∨(q∧r)=0∨(0∧1)=0(2)(p↔r)∧(﹁q∨s)=(0↔1)∧(1∨1)=0∧1 =0(3)(﹁p∧﹁q∧r)↔(p∧q∧﹁r)=(1∧1∧1)↔(0∧0∧0)=0(4)(r∧s)→(p∧q)=(0∧1)→(1∧0)=0→0=11.17 判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外只有6能被2整除,6才能被4整除。
”解:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s: 6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
1.19 用真值表判断下列公式的类型:(4)(p→q) →(﹁q→﹁p)(5)(p∧r) ↔(﹁p∧﹁q)(6)((p→q) ∧(q→r)) →(p→r)解:(4)p q p→q q p q→p (p→q)→( q→p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式,最后一列全为1(5)公式类型为可满足式(方法如上例),最后一列至少有一个1(6)公式类型为永真式(方法如上例,最后一列全为1)。
第2次作业(P38)2.3 用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ﹁(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)解:(1) ﹁(p∧q→q) ⇔﹁(﹁(p∧q) ∨q) ⇔(p∧q) ∧﹁q⇔p∧(q ∧﹁q) ⇔ p∧0 ⇔0所以公式类型为矛盾式(2)(p→(p∨q))∨(p→r) ⇔ (﹁p∨(p∨q))∨(﹁p∨r) ⇔﹁p∨p∨q∨r⇔1所以公式类型为永真式(3) (p∨q) →(p∧r) ⇔¬(p∨q) ∨(p∧r) ⇔ (¬p∧¬q) ∨(p∧r)易见, 是可满足式, 但不是重言式. 成真赋值为: 000,001, 101, 111P q r ¬p∧¬q p∧r (¬p∧¬q) ∨(p∧r)0 0 0 1 0 10 0 1 1 0 10 1 0 0 0 00 1 1 0 0 01 0 0 0 0 01 0 1 0 1 11 1 0 0 0 01 1 1 0 1 1所以公式类型为可满足式2.4 用等值演算法证明下面等值式:(2) ( (p→q)∧(p→r) ) ⇔ (p→(q∧r))(4)(p∧﹁q)∨(﹁p∧q) ⇔ (p∨q)∧﹁(p∧q)证明(2)(p→q)∧(p→r)⇔( ﹁p∨q)∧(﹁p∨r)⇔﹁p∨(q∧r))⇔p→(q∧r)(4)(p∧﹁q)∨(﹁p∧q) ⇔(p∨(﹁p∧q)) ∧(﹁q∨(﹁p∧q) )⇔ (p∨﹁p)∧(p∨q)∧(﹁q∨﹁p) ∧(﹁q∨q)⇔1∧(p∨q)∧(﹁p∨﹁q)∧1⇔ (p∨q)∧﹁(p∧q)第3次作业(P38)2.5 求下列公式的主析取式, 并求成真赋值:(1)( ¬p→q) →(¬q∨p)(2) (¬p→q) ∧q∧r(3)(p∨(q∧r)) →(p∨q∨r)(4) ¬(p→q) ∧q∧r解:(1)(¬p→q) →(¬q∨p)⇔¬(p∨q) ∨(¬q∨p)⇔¬p∧¬q ∨¬q ∨p⇔¬q ∨p (吸收律)⇔ (¬p∨p)∧¬q ∨p∧(¬q∨q)⇔¬p∧¬q∨p∧¬q ∨p∧¬q ∨p∧q ⇔m0∨m2∨m2∨m3⇔m0∨m2∨m3成真赋值为00, 10, 11.(2) (¬p→q) ∧q∧r⇔ (p∨q) ∧q∧r⇔ (p∧q∧r) ∨q∧r⇔ (p∧q∧r) ∨(¬p ∨p) ∧q∧r⇔p∧q∧r∨¬p ∧q∧r∨p∧q∧r⇔m3∨m7成真赋值为011,111.(3) (p∨(q∧r)) →(p∨q∨r)⇔¬(p∨(q∧r)) ∨(p∨q∨r)⇔¬p∧¬(q∧r) ∨(p∨q∨r)⇔¬p∧(¬q∨¬r)∨(p∨q∨r)⇔¬p∧¬q∨¬p∧¬r∨p∨q∨r⇔¬p∧¬q∧(r∨¬r)∨¬p∧(q∨¬q)∧¬r∨p∧(q∨¬q) ∧(r∨¬r) ∨(p∨¬p) ∧q∧(r∨¬r)∨(p∨¬p) ∧(q∨¬q) ∧r⇔m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 为重言式.(4) ¬(p→q) ∧q∧r⇔¬(¬p∨q) ∧q∧r⇔ (p∧¬q) ∧q∧r⇔ p∧(¬q ∧q)∧r⇔0主析取式为0, 无成真赋值, 为矛盾式.第4次作业(P38)2.6 求下列公式的主合取式, 并求成假赋值:(1) ¬(q→¬p) ∧¬p(2)(p∧q) ∨(¬p∨r)(3)(p→(p∨q)) ∨r解:(1) ¬(q→¬p) ∧¬p⇔¬(¬q∨¬p) ∧¬p⇔q∧p ∧¬p⇔q∧0⇔0⇔M0∧M1∧M2∧M3这是矛盾式. 成假赋值为00, 01, 10, 11.(2)(p∧q) ∨(¬p∨r)⇔(p∧q) ∨¬p∨r⇔(p∨¬p)∧(¬p ∨q)∨r⇔ (¬p ∨q)∨r⇔¬p ∨q∨r⇔M4, 成假赋值为100.(3)(p→(p∨q)) ∨r⇔(¬p∨(p∨q)) ∨r⇔(¬p∨p)∨q ∨r⇔1主合取式为1, 为重言式.第5次作业(P41)2.32 用消解原理证明下述公式是矛盾式:(1) (¬p∨q) ∧(¬p∨r) ∧(¬q∨¬r) ∧(p∨¬r) ∧r(2) ¬((p∨q) ∧¬p→q)解:(1) (¬p∨q) ∧(¬p∨r) ∧(¬q∨¬r) ∧(p∨¬r) ∧r第一次循环S0=Φ, S1={¬p∨q,¬p∨r,¬q∨¬r,p∨¬r,r}, S2=Φ由¬p∨r, p∨¬r消解得到λ输出“no”,计算结束(2) ¬((p∨q) ∧¬p→q)⇔¬(¬((p∨q) ∧¬p) ∨q)⇔((p∨q) ∧¬p) ∧¬q⇔ (p∨q) ∧¬p ∧¬q第一次循环S0=Φ, S1={p∨q,¬p, ¬q}, S2=Φ由p∨q,¬p消解得到q,由q, ¬q消解得到λ,输出“no”,计算结束2.33 用消解法判断下述公式是否可满足的:(1) p∧(¬p∨¬q) ∧q(2) (p∨q) ∧(p∨¬q) ∧(¬p∨r)解:(1) p∧(¬p∨¬q) ∧q第一次循环S0=Φ, S1={p, ¬p∨¬q, q}, S2=Φ由p, ¬p∨¬q消解得到¬q,由q, ¬q消解得到λ,输出“no”,计算结束(2) (p∨q) ∧(p∨¬q) ∧(¬p∨r)第一次循环S0=Φ, S1={p∨q, p∨¬q, ¬p∨r}, S2=Φ由p∨q, p∨¬q消解得到p,由p∨q, ¬p∨r消解得到q ∨r,由p∨¬q, ¬p∨r消解得到¬q ∨r,由p, ¬p∨r消解得到r,S2={p, q ∨r, ¬q ∨r, r}第二次循环S0={p∨q, p∨¬q, ¬p∨r}, S1={p, q ∨r, ¬q ∨r, r}, S2=Φ由p∨q, ¬q ∨r消解得到p∨r,由p∨¬q, q ∨r消解得到p∨r,由p∨¬q, q ∨r消解得到p∨r,由¬p∨r, p 消解得到r,S2={p∨r}第三次循环S0={p, q ∨r, ¬q ∨r, r}, S1={p∨r}, S2=ΦS2=Φ输出“yes”,计算结束第6次作业(P52)3.6 判断下面推理是否正确. 先将简单命题符号化, 再写出前提, 结论, 推理的形式结构(以蕴涵式的形式给出)和判断过程(至少给出两种判断方法):(1)若今天是星期一, 则明天是星期三;今天是星期一. 所以明天是星期三.(2)若今天是星期一, 则明天是星期二;明天是星期二. 所以今天是星期一.(3)若今天是星期一, 则明天是星期三;明天不是星期三. 所以今天不是星期一.(4)若今天是星期一, 则明天是星期二;今天不是星期一. 所以明天不是星期二.(5)若今天是星期一, 则明天是星期二或星期三. 今天是星期一. 所以明天是星期二.(6)今天是星期一当且仅当明天是星期三;今天不是星期一. 所以明天不是星期三. 设p: 今天是星期一, q: 明天是星期二, r: 明天是星期三.(1)推理的形式结构为(p→r) ∧p→r此形式结构为重言式, 即(p→r) ∧p⇒r所以推理正确.(2)推理的形式结构为(p→q) ∧q→p此形式结构不是重言式, 故推理不正确.(3)推理形式结构为(p→r) ∧¬r→¬p此形式结构为重言式, 即(p→r) ∧¬r⇒¬p故推理正确.(4)推理形式结构为(p→q) ∧¬p→¬q此形式结构不是重言式, 故推理不正确.(5)推理形式结构为(p→(q∨r) )∧p →q它不是重言式, 故推理不正确.(6)推理形式结构为(p↔r) ∧¬p→¬r此形式结构为重言式, 即(p↔r) ∧¬p⇒¬r故推理正确.推理是否正确, 可用多种方法证明. 证明的方法有真值表法, 等值演算法. 证明推理正确还可用构造证明法.下面用等值演算法和构造证明法证明(6)推理正确.1. 等值演算法(p↔r) ∧¬p→¬r⇔(p→r) ∧(r→p)∧¬p→¬r⇔¬((¬p∨r) ∧(¬r∨p)∧¬p) ∨¬r⇔¬(¬p∨r) ∨¬(¬r∨p) ∨p ∨¬r⇔(p∧¬r)∨(r∧¬p)∨p ∨¬r⇔ (r∧¬p)∨p ∨¬r 吸收律⇔ (r∧¬p)∨¬(¬p ∨r)德摩根律⇔1即(p↔r) ∧¬p⇒¬r故推理正确2.构造证明法前提: (p↔r), ¬p结论: ¬r证明:①p↔r 前提引入②(p→r) ∧(r→p) ①置换③r→p ②化简律④¬p 前提引入⑤¬r ③④拒取式所以, 推理正确.第7次作业(P53-54)3.15 在自然推理系统P中用附加前提法证明下面各推理: (1)前提: p→(q→r), s→p, q结论: s→r(2)前提: (p∨q) →(r∧s), (s∨t) →u结论: p→u(1)证明:①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理(2)证明:①P 附加前提引入②p∨q ①附加③(p∨q) →(r∧s) 前提引入④r∧s ②③假言推理⑤S ④化简⑥s∨t ⑤附加⑦(s∨t) →u 前提引入⑧u ⑥⑦假言推理3.16 在自然推理系统P中用归谬法证明下面推理: (1)前提: p→¬q, ¬r∨q, r∧¬s结论: ¬p(2)前提: p∨q, p→r, q→s结论: r∨s(1)证明:①P 结论否定引入②p→¬q 前提引入③¬q ①②假言推理④¬r∨q 前提引入⑤¬r ③④析取三段论⑥r∧¬s 前提引入⑦r ⑥化简规则⑧¬r∧r ⑤⑦合取引入规则⑧为矛盾式, 由归谬法可知, 推理正确.(2)证明:①¬(r∨s) 结论否定引入②p∨q 前提引入③p→r 前提引入④q→s 前提引入⑤(p→r) ∧(q→s) ∧(p∨q) ②③④合取引入规则⑥r∨s ⑤构造性二难⑦(r∨s) ∧¬(r∨s) ④⑤合取引入规则⑦为矛盾式, 所以推理正确.第8次作业(P65-66)4.5 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)“凡是汽车就比火车慢”是不对的.解:因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y))其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比y 快. (2) ∃x∃y(F(x) ∧G(y) ∧H(x,y))其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比y 快. (3) ¬∃x(F(x) ∧∀y(G(y) →H(x,y)))或∀∀x(F(x) →∃y(G(y) ∧¬H(x,y)))其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比y 快.(4) ¬∀x∀y(F(x) ∧G(y) →H(x,y))或∃x∃y(F(x) ∧G(y) ∧¬H(x,y) )其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比y 慢.4.9 给定解释I 如下:(a)个体域为实数集合R.(b)特定元素a=0.(c)特定函数-f(x,y)=x y, x,y∈R.(d)谓词-F(x,y): x=y,-G(x,y): x<y, x,y∈R.给出下列公式在I 下的解释, 并指出它们的真值:(1) ∀∀x∀y(G(x,y) →¬F(x,y))(2) ∀∀x∀y(F(f(x,y),a)→G(x,y))(3) ∀∀x∀y(G(x,y) →¬F(f(x,y),a))(4) ∀∀x∀y(G(f(x,y),a) →F(x,y))解:(1) ∀∀x∀y(x<y→x≠y), 真值为1.(2) ∀∀x∀y((x-y=0) →x<y)), 真值为0.(3) ∀∀x∀y((x<y)→(x y≠0)), 真值为1.(4) ∀∀x∀y((x y<0) → (x=y)), 真值为0.第9次作业(P79-80)5.5 给定解释I如下:(a) 个体域D={3,4};(b)-f(x):-f(3)=4,-f(4)=3;(c)-F(x,y):-F(3,3)=-F(4,4)=0,-F(3,4)=-F(4,3)=1. 试求下列公式在I下的真值:(1) ∀x∃yF(x,y)(2) ∃x∀yF(x,y)(3) ∀x∀y(F(x,y)→F(f(x),f(y)))解:(1) ∀x∃yF(x,y)⇔ (F(3,3)∨F(3,4))∧(F(4,3)∨F(4,4))⇔ (0∨1)∧(1∨0) ⇔ 1(2) ∃x∀yF(x,y)⇔ (F(3,3)∧F(3,4))∨(F(4,3)∧F(4,4))⇔ (0∧1)∨(1∧0) ⇔ 0(3) ∀x∀y(F(x,y)→F(f(x),f(y)))⇔ (F(3,3)→F(f(3),f(3)))∧(F(4,3)→F(f(4),f(3)))∧(F(3,4)→F(f(3),f(4)))∧(F(4,4)→F(f(4),f(4)))⇔ (0→0)∧(1→1)∧(1→1)∧(0→0) ⇔15.12 求下列各式的前束式.(1)∀xF(x)→∀yG(x, y)(3)∀xF(x, y) ↔∃xG(x, y)(5) ∃x1F(x1, x2)→(F(x1)→¬∃x2G(x1, x2)).解:前束式不是唯一的.(1) ∀xF(x)→∀yG(x, y)⇔∃x (F(x)→∀yG(t, y))⇔∃x∀y(F(x)→G(t, y)).(3) ∀xF(x, y) ↔∃xG(x, y)⇔ (∀xF(x, y)→∃xG(x, y))∧(∃xG(x, y)→∀xF(x, y)) ⇔ (∀xF(x, y)→∃uG(u, y))∧(∃xG(x, y)→∀vF(v, y))⇔∃x∃u(F(x, y)→G(u, y))∧∀x∀v(G(x, y)→F(v, y))⇔∃x∃u(F(x, y)→G(u, y))∧∀w∀v(G(w, y)→F(v, y))⇔∃x∃u∀w∀v ((F(x, y)→G(u, y))∧(G(w, y)→F(v, y))) (5)∃x1F(x1, x2)→(F(x1)→¬∃x2G(x1, x2))⇔∃x1F(x1, x2)→(F(x1)→∀x2¬G(x1, x2))⇔∃x1F(x1, x2)→∀x2(F(x1)→¬G(x1, x2))⇔∃x1F(x1, x3)→∀x2(F(x4)→¬G(x4, x2))⇔∀x1(F(x1, x3)→∀x2(F(x4)→¬G(x4, x2)))⇔∀x1∀x2 (F(x1, x3)→(F(x4)→¬G(x4, x2)))第10次作业(P79-80)5.15 在自然推理系统F L中,构造下面推理的证明:(1) 前提: ∃xF(x) →∀y((F(y)∨G(y))→R(y)),∃xF(x)结论:∃xR(x).(2) 前提:∀x(F(x)→(G(a)∧R(x))),∃xF(x)结论:∃x(F(x)∧R(x))(3) 前提:∀x(F(x)∨G(x)),¬∃xG(x)结论:∃xF(x)(4) 前提:∀x(F(x)∨G(x)),∀x(¬G(x)∨¬R(x)),∀xR(x)结论: ∃xF(x)(1)证明:①∃xF(x) →∀y((F(y)∨G(y))→R(y)) 前提引入②∃xF(x) 前提引入③∀y((F(y)∨G(y))→R(y)) ①②假言推理④(F(c)∨G(c))→R(c) ③全称量词消去规则⑤F(c) ①存在量词消去规则⑥F(c) ∨G(c) ⑤附加⑦R(c) ④⑥假言推理⑧∃xR(x) ⑦存在量词引入规则(2) 证明:①∃xF(x) 前提引入②F(c) ①存在量词消去规则③∀x(F(x)→(G(a)∧R(x))) 前提引入④F(c)→(G(a)∧R(c)) ④全称量词消去规则⑤G(a)∧R(c) ②④假言推理⑥R(c) ⑤化简⑦F(c)∧R(c) ②⑥合取引入⑧∃x(F(x)∧R(x)) ⑦存在量词引入规则(3) 证明:①¬∃xG(x) 前提引入②∀x¬G(x) ①置换③¬G(c) ②全称量词消去规则④∀x(F(x)∨G(x)) 前提引入⑤F(c)∨G(c) ④全称量词消去规则⑥F(c) ③⑤析取三段论⑦∃xF(x) ⑥存在量词引入规则(4) 证明:①∀x(F(x)∨G(x)) 前提引入②F(y)∨G(y) ①全称量词消去规则③∀x(¬G(x)∨¬R(x)) 前提引入④¬G(y) ∨¬R(y) ③全称量词消去规则⑤∀xR(x) 前提引入⑥R(y) ⑤全称量词消去规则⑦¬G(y) ④⑥析取三段论⑧F(y) ②⑦析取三段论⑥∃xF(x) ⑧存在量词引入规则第11次作业(P96)6.4. 设F 表示一年级大学生的集合, S 表示二年级大学生的集合, M表示数学专业学生的集合, R 表示计算机专业学生的集合, T表示听离散数学课学生的集合, G 表示星期一晚上参加音乐会的学生的集合, H 表示星期一晚上很迟才睡觉的学生的集合. 问下列各句子所对应的集合表达式分别是什么? 请从备选的答案中挑出来.(1)所有计算机专业二年级的学生在学离散数学课.(2)这些且只有这些学离散数学课的学生或者星期一晚上去听音乐会的学生在星期一晚上很迟才睡觉.(3)听离散数学课的学生都没参加星期一晚上的音乐会.(4)这个音乐会只有大学一, 二年级的学生参加.(5)除去数学专业和计算机专业以外的二年级学生都去参加了音乐会. 备选答案:①T⊆G∪H ②G∪H⊆T ③S∩R⊆T④H=G∪T ⑤T∩G=∅⑥F∪S⊆G⑦G⊆F∪S ⑧S-(R∪M) ⊆G ⑥G⊆S-(R∩M)解:(1) ③S∩R⊆T(2) ④H=G∪T(3) ⑤T∩G=∅(4) ⑦G⊆F∪S(5) ⑧S-(R∪M)⊆G6.5. 确定下列命题是否为真:(1) ∅⊆∅(2) ∅∈∅(3) ∅⊆{∅}(4)∅∈{∅}(5){a, b}⊆{a, b, c, {a, b, c}}(6){a, b}∈{a, b, c, {a, b }}(7){a, b}⊆{a, b, {{a, b}}}(8){a, b}∈{a, b, {{a, b}}}解:(1) 真(2)假(3) 真(4) 真(5) 真(6) 真(7) 真(8) 假第12次作业(P130-131)7.1. 已知 A={∅,{∅}},求A ×P(A).解:A ×P(A)= {∅,{∅}}×{∅,{∅},{{∅}},{∅,{∅}}}={<∅, ∅>,<∅,{∅}>,<∅,{{∅}}>,<∅,{∅,{∅}}>,<{∅},∅>,<{∅},{∅}>,<{∅},{{∅}}>, <{∅},{∅,{∅}}>}7.7. 列出集合 A={2, 3, 4}上的恒等关系I A , 全域关系E A , 小于或等于关系L A , 整除关系D A .解:I A ={2,2,3,3,4,4}E A =A ×A ={2,2,2,3,2,4,3,2,3,3,3,4,4,2,4,3,4,4}L A ={2,2,2,3,2,4,3,3,3,4,4,4}D A ={2,2,2,4,3,3,4,4} 7.12.设A={0, 1, 2, 3}, R 是A 上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2, 1〉, 〈2, 3〉, 〈3, 2〉}给出R 的关系矩阵和关系图.解:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00101101000010010 1 2 3第13次作业(P131)7.13.设A = {〈1, 2〉, 〈2, 4〉, 〈3, 3〉}B = {〈1, 3〉, 〈2, 4〉, 〈4, 2〉}求A∪B, A∩B, dom A, dom(A∪B), ran A, ran B, ran(A∩B), fld(A−B).解:A∪B={〈1,2〉, 〈1,3〉, 〈2,4〉, 〈3,3〉, 〈4,2〉} A∩B={〈2,4〉} domA={1,2,3}dom(A∪B)={1,2,3,4}ranA={2,3,4}ranB={3,4,2}ran(A∩B)={4}fld(A−B)={1,2,3}7.15.设A={〈∅,{∅,{∅}}〉,〈{∅},∅〉}求A−1,A2,A3,A↾{∅},A[∅],A↾∅,A↾{{∅}},A[{{∅}}].解:A−1={〈{∅,{∅}},∅〉,〈∅,{∅}〉},A2={〈{∅},{∅,{∅}}〉},A3=∅,A↾{∅}={〈∅,{∅,{∅}}〉},A[∅]={∅,{∅}},A↾∅=∅,A↾{{∅}}={〈{∅},∅〉},A[{{∅}}]=∅7.16.设A={a,b,c,d}, R1,R2 为A上的关系, 其中R1={〈a,a〉,〈a,b〉,〈b,d〉}R2={〈a,d〉,〈b,c〉,〈b,d〉,〈c,b〉}求R1○R2, R2○R1,R12,R23.解:R1○R2={〈a,a〉,〈a,c〉,〈a,d〉},R2○R1={〈c,d〉},R12={〈a,a〉,〈a,b〉,〈a,d〉},R23={〈b,c〉,〈b,d〉,〈c,b〉}7.17.设A={a,b,c}, 试给出A 上两个不同的关系R1和R2,使得R12=R1, R23=R2. 解:R1={〈a,a〉,〈b,b〉},R2={〈b,c〉,〈c,b〉}第14次作业(P131-)7.21. 设A={1,2,…,10},定义A 上的关系R={<x,y>|x,y ∈A ∧x+y=10}说明R 具有哪些性质并说明理由。