华东师范大学《软件工程数学》0607Banswer.pdfVIP

华东师范大学期末试卷（B） 2006—2007 学年第二学期 软件工程数学参考答案 一、 （1） ??x( F ( x ) G ( x )) 前提引入 （2） F( c )? G ( c ) (1) EI （3） ?x( F ( x ) ? ( G ( x ) ? R ( x ))) 前提引入 （4） F( c )?? ( G ( c ) R ( c )) (3)UI （5） Fc() (2)化简 （6） G( c )? R ( c ) (4)(5) （7） ??x( G ( x ) R ( x )) (6)EG 二、 Proof：We first show that (1) implies (2). Assume that aRb . We will prove that [ab ]? [ ] by showing [ab ]? [ ] and [ba ]? [ ] . Suppose ca?[]. Then aRc . Since aRb and R is symmetric, we know that bRa . Furthermore, since R is transitive and bRa and aRc , it follows that bRc . Hence, cb?[]. This show that [ab ]? [ ] . The proof that [ba ]? [ ] is similar. Second, we will show that (2) implies (3). Suppose that [ab ]? [ ] ? ? . Assume that [ab ]? [ ] . It follows that [ab ]? [ ] ? ? since []a is nonempty. Next, we will show that (3) implies (1). Suppose that [ab ]? [ ] ? ? . Then there is an element c with ca?[] and cb?[]. In other words, aRc and bRc . By the symmetric property, cRb . Then by transitivity, since aRc and cRb , we have aRb . 三、 1 1 1 1 （a） C10 C 9 C 8 C 7 ? 5040 1111 （b） CCCC10 10 10 5 ? 5000 1 （c） C4 *9? 36 四、 （a） P(7,7)? 5040 （b） P(5,5)? 120 五、 （a） C(22,17)? 26334 （b） CC(25,20)?? (17,12) 46942 六、 Solution： Let n be a positive integer. Consider the n integers 1, 11, 111, …, 11…1 (where the last integer in this list is the integer with n ?1 1s in its decimal expansion). Note that there are n possible remainders when an integer is divide by n . Since there are n ?1 in