電大離散數(shù)學(xué)形成性考核冊(cè)作業(yè)四答案

1、1離散數(shù)學(xué)形成性考核作業(yè)（四） 離散數(shù)學(xué)形成性考核作業(yè)（四）數(shù)理邏輯部分 數(shù)理邏輯部分本課程形成性考核作業(yè)共 4 次，內(nèi)容由中央電大確定、統(tǒng)一布置。本次形考作業(yè)是第四次作業(yè)，大家要認(rèn)真及時(shí)地完成數(shù)理邏輯部分的形考作業(yè)，字跡工整，抄寫(xiě)題目，解答題有解答過(guò)程。第 6 章 命題邏輯1．判斷下列語(yǔ)句是否為命題，若是命題請(qǐng)指出是簡(jiǎn)單命題還是復(fù)合命題．（1）8 能被 4 整除．（2）今天溫度高嗎？（3）今天天氣真好呀?。?）6 是整數(shù)當(dāng)且僅當(dāng)四邊形

2、有 4 條邊．（5）地球是行星．（6）小王是學(xué)生，但小李是工人．（7）除非下雨，否則他不會(huì)去．（8）如果他不來(lái)，那么會(huì)議就不能準(zhǔn)時(shí)開(kāi)始．解：此題即是教材 P.184 習(xí)題 6（A）1（1） 、 （4） 、 （5） 、 （6） 、 （7） 、 （8）是命題， （2） 、 （3）不是命題。其中（1） 、 （5）是簡(jiǎn)單命題， （4） 、 （6） 、 （7） 、 （8）是復(fù)合命題。2．翻譯成命題公式（1）他不會(huì)做此事．（2）他去旅游，僅當(dāng)他有時(shí)

3、間．（3）小王或小李都會(huì)解這個(gè)題．（4）如果你來(lái)，他就不回去．（5）沒(méi)有人去看展覽．（6）他們都是學(xué)生．（7）他沒(méi)有去看電影，而是去觀看了體育比賽．（8）如果下雨，那么他就會(huì)帶傘．解：此題即是教材 P.184 習(xí)題 6（A）235．試求下列命題公式的主析取范式，主合取范式．（1） （P∨(Q∧R)）→(P∧Q)（2） ┐(P→Q)∧Q（此題即是教材 P.185 習(xí)題 6（A）6（2） 、 （4） ）)) ( ) ( ) ()) ( )

4、( ) ()) ( ) ( ) (() ( ) ( ) () ( ) ( ) ( ) ( ) () ( ) () ( ) ( ) ( ) ()) ( ( )) ( ( )) ( () ( )) ( ) () ( )) () ( )) () ( )) ( () ( )) ( (1R Q P R Q P R Q PR Q P R Q P R Q PR Q P R Q P R Q PA AR Q P R Q P R Q P AAR Q P R

5、 Q P R Q P R Q P R Q PR Q P R Q PR Q P R Q P R Q P R Q PR R Q P Q Q R P R R Q PQ P R P Q PQ P R Q PQ P R Q PQ P R Q PQ P R Q P? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ??? ?? ? ?

6、 ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ? ? ? ? ? ?? ? ? ? ? ??

7、? ? ?） 式為 再求主合取范式（令公補(bǔ)齊法已成為析取范式已成為限定性公式）先求主析取范式 解：（) ( ) ( ) ( ) () () () () (2Q P Q P Q P Q PQ Q PFF PQ Q PQ Q PQ Q PQ Q P? ? ? ? ? ? ? ? ? ? ? ?? ? ??? ?? ? ? ?? ? ? ?? ? ? ? ?? ? ?公式的主合取范式為式。 為永假式，無(wú)主析取范已成為限定性公式）先求主析取范式