第二章作業(yè)與習(xí)題(編輯修改稿)
2024-11-29 14:29 本頁面
【文章內(nèi)容簡(jiǎn)介】 )3 ) ( ) 4) ( ) 3 )5 ) ( ) 2) 4)6) ( ) 5 )x A x B x PA u B u USx B x PB u USA u Tx A x EG? ? ???????證明 2020/11/29 第二章作業(yè) 15 of 26 ) ( ( ) ( ) ) , ( ( ) ( ) )( ( ) ( ) )c x A x B x x C x B xx C x A x? ? ? ? ?? ? ? ?證明 1) ( ( ) ( ) ) P2) ( ) ( ) U S 1)3) ( ( ) ( ) ) P4) ( ) ( ) U S 3)5) ( ) ( ) T 2)6) ( ) ( ) T 4) 5)7) ( ( ) ( ) ) U G 6)x A x B xA u B ux C x B xC u B uB u A uC u A ux C x A x???? ? ???? ? ???? ? ?2020/11/29 第二章作業(yè) 16 of 26 P792 用 CP規(guī)則證明 ) ( ( ) ( ) ) ( ) ( )a x P x Q x x P x x Q x? ? ? ? ? ?證明 1 ) ( ) 2 ) ( ) 1 )3 ) ( ( ) ( ) ) 4 ) ( ) ( ) 3 )5 ) ( ) 2 ) 4 )6 ) ( ) 5 )7 ) ( ) ( ) x P x PP u E Sx P x Q x PP u Q u E SQ u Tx Q x U Gx P x x Q x CP?????? ? ?附加前提 2020/11/29 第二章作業(yè) 17 of 26 P793 符號(hào)化下列命題并推證其結(jié)論 a)所有有理數(shù)是實(shí)數(shù)，某些有理數(shù)是整數(shù)，因此某些實(shí)數(shù)是整數(shù)。 令 R(x): x是實(shí)數(shù) , Q(x): x是有理數(shù)， I(x): x是整數(shù)。 命題符號(hào)化為： ( ( ) ( ) ) , ( ( ) ( ) )x Q x R x x Q x I x? ? ? ?前提:( ( ) ( ) )x R x I x??結(jié)論:證明 2020/11/29 第二章作業(yè) 18 of 26 ( ( ) ( ) ) , ( ( ) ( ) )x Q x R x x Q x I x? ? ? ?前提:( ( ) ( ) )x R x I x??結(jié)論:1 ) x(Q( x) I ( x)) P2) Q( c ) I ( c ) ES 1)3) x(Q( x) R ( x)) P4) Q( c ) R ( c ) US 3)5) Q( c ) T 2)6) R ( c ) T 4)5)7) I ( c ) ?????? T 2)8) R ( c ) I ( c ) T 6)7)9) x(R ( c ) I ( c ) ) EG8)???2020/11/29 第二章作業(yè) 19 of 26 P793 符號(hào)化下列命題并推證其結(jié)論
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1