你是湛师的吧,是公选课的考试题目吧
1、A→B,A→C ├ A→B∨C
（1）A→B A1
（2）A→C A2
（3）A H1（→+的假设）
（4）B （1）,（3）,→-
（5）B∨C （4）,∨+
（6）A→B∨C （3）,（6）,→+（消去H1）
证明如下推出关系 1、A→B,A→C ├ A→B∨C 2、2、A→(B→C)├(A→B)→(A→C)
1个回答
相关问题
-
由a*b=b*a可推出a=b,证明a*b*c=a*c
-
a.b.c∈R+,a+b+c=1.证明(a∧2/b)+(b∧2/c)+(c∧2/a)≥1
-
三角形三边a.b.c 证明a2/(b+c-a)+b2/(a+c-b)+c2/(a+b-c)>a+b+c
-
证明三个题证明：1.若(a,b)=(a,c),则(a,b,c)=(a,b)2.（a,b,c）=((a,b),(a,c))
-
a>b>c,证明b(c^2)+c(a^2)+a(b^2)
-
设a,b,c>0,证明:a^2/b+b^2/c+c^2/a>=a+b+c
-
a,b,c都为正整数,a^2=b(b+c),b^2=c(c+a),证明1/a+1/b=1/c
-
已知a.b.c为正数,证明：a^2*b^2*c^2>=a^(b+c)*b^(a+c)*c^(a+b)
-
证明：（a+b+c）2+a2+b2+c2=（a+b）2+（b+c）2+（a+c）2．
-
求证明 ：2(a²+b²+c²)>a²(b+c)+b²(c+a)+c&