你這些問題屬于離散數(shù)學(xué)中較為復(fù)雜的一些,大體包括3方面的問題:
(1)【量詞】與【否定(聯(lián)結(jié)詞)】的關(guān)系;
(2)【量詞】與【其他聯(lián)結(jié)詞】的關(guān)系;
(3)【量詞】與【量詞】的關(guān)系;
它們分別有以下規(guī)律:
(1)任何時(shí)候:
?、伲焊淖儭玖吭~】與【否定】的位置,都必須也只需:改變量詞;
(2)先考慮【合取】和【析取】?jī)煞N聯(lián)結(jié)詞.一般形式為:
【量詞】(【P】【聯(lián)結(jié)詞】【Q】);——P、Q為任意【謂詞公式】;
P、Q中均含【約束變?cè)繒r(shí):
?、冢骸救Q量詞】對(duì)【合取】滿足“分配律”——明白“分配”的意思吧?
?、郏骸敬嬖诹吭~】對(duì)【析取】滿足“分配律”;
P、Q中有且只有一者含【約束變?cè)繒r(shí):——不含【約束變?cè)康墓綍悍Q為:“自由式”;
?、埽簝煞N【量詞】對(duì)兩種【聯(lián)結(jié)詞】都滿足“分配律”——記?。骸白杂墒健鼻懊娴摹玖吭~】必須忽略不寫,否則就不是正確的謂詞公式了;
?、荩簩?duì)于【條件聯(lián)結(jié)詞】或其他聯(lián)結(jié)詞,可以用{否定、合取、析取}等價(jià)轉(zhuǎn)換得出.
(3)對(duì)于多個(gè)【量詞】的情況,沒有確定的等價(jià)關(guān)系式.你只要記?。?br/> ?、蓿骸玖吭~】對(duì)變?cè)目刂剖恰緩淖蟮接摇康?且它們之間的順序是不可以隨便改變的,
?、撸骸玖吭~】之間有一定獨(dú)立性,是可以【分別單獨(dú)處理】的;簡(jiǎn)言之:
每個(gè)量詞都有自己的作用域.對(duì)于其作用域,不管它的內(nèi)容是什么,都可以用括號(hào)括起來(lái);而對(duì)于括號(hào)中的內(nèi)容,則可以按照前面的規(guī)律,單獨(dú)分析.
你的問題.先定義符號(hào):
∑:存在量詞;∏:全稱量詞;┐:非;∧:合取;∨:析?。弧簵l件;
1、┐∏(x)∑(y)F(x,y);
根據(jù)①,直接將【否定】后移,得:
∑(x)∏(y)F(x,y);
所以,本題答案是肯定的.
2、[∑(x)∏(y)A(x,y)]∨[∑(x)∏(y)B(x,y)];
分析:根據(jù)⑥和⑦,上式可變化為:
∑(x)[∏(y)A(x,y)]∨∑(x)[∏(y)B(x,y)];
該式是【存在量詞】【分別控制】下的【析取】.再根據(jù)③,可得:
∑(x)[∏(y)A(x,y)∨∏(y)B(x,y)];
中括號(hào)內(nèi),是【全稱量詞】【分別控制】下的【析取】,它們沒有確定的等價(jià)關(guān)系.所以,不可等價(jià)得出你所說的那個(gè)結(jié)果,也就是不可以把兩個(gè)量詞都提取出來(lái).(不過事實(shí)上,它可以【蘊(yùn)含】你所說的結(jié)果)
3、∏(y)[A(x)→B];
只能根據(jù)⑤慢慢推導(dǎo);先利用【析取】與【條件】之間的關(guān)系,得:
<=>∏(x)[┐A(x)∨B];再根據(jù)④得:
<=>∏(x)┐A(x)∨B;再根據(jù)①得:
<=>┐∑(x)A(x)∨B;再利用一次【析取】與【條件】之間的關(guān)系,得:
<=>∑(x)A(x)→B;
這就是【全稱量詞】變成【存在量詞】的過程.
1.非任意X存在Y F(x.y)等值于存在X任意Y非F(x.
1.非任意X存在Y F(x.y)等值于存在X任意Y非F(x.
2.存在X任意Y A(x,y) 或 存在X任意Y B(x,y),能將前面的量詞提出來(lái)嗎?
3.量詞轄域的放縮:任意X(A(x)蘊(yùn)含B) 等值于 存在XA(x)蘊(yùn)含B,這個(gè)等值中,全稱量詞為什么變成了客稱量詞?
2.存在X任意Y A(x,y) 或 存在X任意Y B(x,y),能將前面的量詞提出來(lái)嗎?
3.量詞轄域的放縮:任意X(A(x)蘊(yùn)含B) 等值于 存在XA(x)蘊(yùn)含B,這個(gè)等值中,全稱量詞為什么變成了客稱量詞?
政治人氣:556 ℃時(shí)間:2019-08-21 17:26:16
優(yōu)質(zhì)解答
我來(lái)回答
類似推薦
- 離散數(shù)學(xué)一階邏輯證明問題
- 問一個(gè)關(guān)于離散數(shù)學(xué)謂詞邏輯(一階邏輯)的問題¥.
- 考慮由3條或者由4條邊的所有多邊形組成的論域,并且對(duì)于這個(gè)論域定義如下開放語(yǔ)句.
- 邏輯的一道題
- 一個(gè)離散數(shù)學(xué)的邏輯判斷問題
- 150℃時(shí)若只有一半碳酸銨分解,產(chǎn)生的氣態(tài)混合物的密度是相同條件下氫氣密度的多少倍?
- 用天平稱一只雞蛋,但是把位置放錯(cuò)了,錯(cuò)誤的讀數(shù)是50、4克,這個(gè)雞蛋正確的質(zhì)量是多少克
- 蟬 結(jié)尾一句話在文中起什么作用?
- 0.3mol的O2與0.2mol的O3混合,混合氣體的密度對(duì)氫氣的相對(duì)密度是多少?
- (1+x)(2-x)(x2-2x-7)>0解不等式
- 有甲乙兩瓶油,甲瓶油的重量是乙瓶油1.8倍‘如果從甲瓶里倒出1.6千克,兩瓶油就相
- it was 劃線 a caterpillar
猜你喜歡
- 1Danny的名詞所有格
- 2“孟母三遷”這則故事可以用什么成語(yǔ)來(lái)說理?
- 3畫出定義域?yàn)閧x|-3≤x≤8,且x≠5},值域?yàn)閧y|-1≤y≤2,y≠0}的一個(gè)函數(shù)的圖象.如果平面直角坐標(biāo)系中點(diǎn)P(x,y)的坐標(biāo)滿足-3≤x≤8,-1≤y≤2,那么其中哪些點(diǎn)不能在圖象上?
- 4食鹽的溶解快慢與水的溫度是否有關(guān)的設(shè)計(jì)方案
- 5水的離子積為什么只和溫度相關(guān)
- 6橢圓x²/16+y²/12=1的離心率為
- 7水表的五位數(shù)代表什么,這水表的讀數(shù)是多少?
- 812?+2=90 12?+2=144 加 減 乘除 或括號(hào) 使等式成立
- 9竊讀記哪里寫作者如饑似可讀書
- 10即公大兄無(wú)奕女,左將軍王凝之妻也是什么句式
- 11當(dāng)半徑一定時(shí),同一行星的衛(wèi)星的線速度也一定嗎?
- 12英語(yǔ)翻譯