【文章內(nèi)容簡(jiǎn)介】
rd(x)fly((x)) //前提1(2) any x(monkey(x)not fly(x)) //前提2(3) bird(a)fly(a) //(1)脫帽(4) monkey(a)not fly(a) //(2)脫帽(5) not fly(a)not bird(a) //逆否律(3) (6) monkey(a)not bird(a) //傳遞律(4)(5)(7) any x(monkey(x)not bird(x)) //(6)戴帽:(1) 一個(gè)x到y(tǒng)的關(guān)系對(duì)應(yīng)于x*,不同的x到y(tǒng)的關(guān)系數(shù)=|φ(x*y)|=2^(mn)(2)不同的由x到y(tǒng)的映射個(gè)數(shù)=|{f|f: xy}|=|{(f(x1),f(x2),...,f(xm) )|,f(xi) in y, 1=I=M}|=Π(i=1 to m) |{f(xk)|f(xk) in y }|=n^m.(3) 若m!=n,則雙射的個(gè)數(shù)為0若m=n,則雙射的個(gè)數(shù)為m!若mn,則單射個(gè)數(shù)0若mm!種不同的雙射,共有單射Cn(m)*m!種.:由于G為奇數(shù)階交換群,由拉格朗日定理,其中不可能有2階元,因此 any a in G(a!=e),a!=a^(1),即a與a^(1)是兩個(gè)不同元素(a!=e),因此G的所有元素之積=e*a1*a1^(1)*a2*a2^(1)*...*am*am^(1)=ea1 in G{e},a2 in G{a1,a^(1),e