第二章作業(yè)與習(xí)題-資料下載頁
2025-10-15 14:29本頁面
【導(dǎo)讀】a)小張不是工人。b)他是田徑或球類運動員。c)小莉是非常聰明和美麗的。d)若m是奇數(shù)，則2m不是奇數(shù)。e)每一個有理數(shù)是實數(shù)。h)直線A與直線B平行當(dāng)且僅當(dāng)A與B不相交。d)金教練既不年老但也不是健壯的.f)某些大學(xué)生運動員是國家選手.j)有些女同志既是教練員又是國家選手。積中的一個因子。b)對于每一個實數(shù)x,存在一個更大的實數(shù)y。x是約束變元，在(P(x)?約束，在S中受存在量詞的約束。
【正文】 F x G x x F x? ? ? ? ? ?( ( ) ( ) ) ( ( ) ( ) )x F x G x x F x x G x? ? ? ? ? ? ? ? ?( ( ( ) ( ) ) ( ) ) ( )x F x G x G x x F x? ? ? ? ? ? ? ?( ( ) ( ) ( ) )x y F x G x F y? ? ? ? ? ?( ( ( ) ( ) ) ( )x F x G x y F y? ? ? ? ? ?2020/11/29 第二章作業(yè) 24 of 26 練習(xí) ? 試論證：每一個買到門票的人，都能得到座位。因此，如果沒有座位，那么任何人就買不著門票了。 令 B(x,y): x 買 y, T(x): x是門票， P(x): x是座位， R(x,y): x得到 y. 命題符號化為： ( ( ( , ) ( ) ) ( ( ) ( , ) ) )x y B x y T y y P y R x y? ? ? ? ? ?前提：( ) ( ( ) ( , ) )y P y x y T y B x y? ? ? ? ? ? ?結(jié)論：證明 2020/11/29 第二章作業(yè) 25 of 26 1 ( ( ( , ) ( ) ) ( ( ) ( , ) ) ) 2) ( ) 3 ) ( ) 2)4) ( ) 3)5 ) ( ) ( , ) x y B x y T yy P y R x y Py P y Py P y TP t U SP t R u t? ? ?? ? ??????? ? ?）附加 4)6) ( ( ) ( , ) ) 5 )7 ) ( ( ) ( , ) ) 6)8 ) ( ( ) ( , ) ) 7 )TP t R u t Ty P y R u y U Gy P y R u y T??? ? ?? ? ?( ) ( ( , ) ( ) )y P y x y B x y T y? ? ? ? ? ? ?結(jié)論：( ( ( , ) ( ) ) ( ( ) ( , ) ) )x y B x y T y y P y R x y? ? ? ? ? ?前提：2020/11/29 第二章作業(yè) 26 of 26 9 ) ( ( , ) ( ) ) ( ( ) ( , ) ) 1 )1 0 ) ( ( , ) ( ) ) 9 )1 1 ) ( ( , ) ( ) ) 1 0 )1 2 ) ( ( , ) ( ) ) 1 1 )1 3 ) ( , ) ( ) 1 2 )1 4 ) ( ( , ) ( ) ) y B u y T yy P y R u y USy B u y T y Ty B u y T y TB u t T t USB u t T t Ty B u y T y??? ? ?? ? ?? ? ?????? ? ? 1 3 )1 5 ) ( ( , ) ( ) ) 1 4 )1 6 ) ( )( ( , ) ( ) ) UGx y B u y T y UGy P yx y B x y T y C P? ? ? ?? ? ?? ? ? ?( ) ( ( , ) ( ) )y P y x y B x y T y? ? ? ? ? ? ?結(jié)論：( ( ( , ) ( ) ) ( ( ) ( , ) ) )x y B x y T y y P y R x y? ? ? ? ? ?前提：
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1