第二章作業(yè)與習(xí)題-資料下載頁(yè)
2024-10-24 14:29本頁(yè)面
【導(dǎo)讀】a)小張不是工人。b)他是田徑或球類(lèi)運(yùn)動(dòng)員。c)小莉是非常聰明和美麗的。d)若m是奇數(shù)，則2m不是奇數(shù)。e)每一個(gè)有理數(shù)是實(shí)數(shù)。h)直線A與直線B平行當(dāng)且僅當(dāng)A與B不相交。d)金教練既不年老但也不是健壯的.f)某些大學(xué)生運(yùn)動(dòng)員是國(guó)家選手.j)有些女同志既是教練員又是國(guó)家選手。積中的一個(gè)因子。b)對(duì)于每一個(gè)實(shí)數(shù)x,存在一個(gè)更大的實(shí)數(shù)y。x是約束變?cè)?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í) ? 試論證：每一個(gè)買(mǎi)到門(mén)票的人，都能得到座位。因此，如果沒(méi)有座位，那么任何人就買(mǎi)不著門(mén)票了。 令 B(x,y): x 買(mǎi) y, T(x): x是門(mén)票， P(x): x是座位， R(x,y): x得到 y. 命題符號(hào)化為： ( ( ( , ) ( ) ) ( ( ) ( , ) ) )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號(hào)-1