定义“”是一种运算符号，规定，则的值为_______

用“§”定义新运算: 对于任意的有理数a、b, 都有a§b = b² +1. 例如:  7§4 = 4² +1 = 17. 那么 6§ -3 = __________,

设a，b是实数，定义⊗的一种运算如下：a⊗b＝（a+b）²﹣（a﹣b）²，则下列结论：①a⊗b＝b⊗a；②若a⊗b＝0，则a＝0且b＝0；③若a⊗b＝（﹣a）⊗b，则a＝0或b＝0；④a⊗（b+c）＝a⊗b+a⊗c．其中正确的个数是（　　）

A．1

B．2

C．3

D．4

对于非零的两个实数a 、b，规定，若，则x的值为（ ）

A．

B．1

C．

D．

先阅读下列材料，再解答后面的问题
材料：一般地，n个相同的因数相乘： 记为．如2³=8，此时，3叫做以2为底8的对数，记为(即) ．一般地，若(a＞0且a≠1，b＞0) ，则n叫做以为底b的对数，记为（即）.如，则4叫做以3为底81的对数，记为（即）．
问题：
1.计算以下各对数的值：log₂4= log₂16= log₂64=
2.观察(1)中三数4、16、64之间满足怎样的关系式？log₂4、log₂16、log₂64之间又满足怎样的关系式？
3.由(2)的结果，你能归纳出一个一般性的结论吗？ log_am+log_an= (a>0且a≠1，m>0，n>0)
根据幂的运算法则：aⁿ·a^m=a^n+m以及对数的含义证明上述结论