數(shù)理邏輯問題
數(shù)理邏輯問題
如何將謂詞命題 (任意x)A(x)∨(任意x)B(x)化為前束范式?
如何將謂詞命題 (任意x)A(x)∨(任意x)B(x)化為前束范式?
數(shù)學(xué)人氣：705 ℃時(shí)間：2020-05-25 20:30:54
優(yōu)質(zhì)解答
(Vx)(Vy)(A(X)VB(Y))沒有y啊，怎么會(huì)多出來一個(gè)y呢？這是改名規(guī)則，B中的X與A中的X沒有聯(lián)系，所以就可以用另外的變元代替，你可以看哈離散數(shù)學(xué)中的改名規(guī)則但是如果是 (存在x)A(x) V (存在x)B(x)，為什么書上給的是 (存在x)(A(x)VB(x)),不用改名，而上面第一個(gè)就要改名呢？謝謝因?yàn)檫@是一個(gè)并集，可以這樣寫，如果是交集的話，就不行了，具體的你要多看看離散課本
我來回答
類似推薦
- 數(shù)理邏輯問題
- 數(shù)理邏輯:如果李明和王芳不去麗江,那么周平去上海.以此為前提,再加上下列選項(xiàng)中的哪個(gè)條件,就可以推出李明去麗江的結(jié)論?
- 離散數(shù)學(xué)數(shù)理邏輯題
- 數(shù)理邏輯中的問題
- 數(shù)理邏輯--合式公式的問題
- 黃岡小狀元數(shù)學(xué)六年級(jí)上42頁第6題
- "臺(tái)上三分釧,臺(tái)下十年攻.”和“____”是一個(gè)道理
- 用C語言寫一程序,要求輸入10個(gè)數(shù),輸出這10個(gè)數(shù)中最大的那個(gè)數(shù),同時(shí)輸出這10個(gè)數(shù)的平均值
- 某名牌連鎖店出售一種會(huì)員卡,花20元購買這種會(huì)員卡后,憑會(huì)員卡在名牌店的任意連鎖店享受折上折優(yōu)惠.
- 高爾夫球的表面為什么有坑
- I remember my daughter used to ask questions that girls__would ask.A.twice her age...
- 有理數(shù)用Q來表示,那無理數(shù)呢?用沒有規(guī)定的符號(hào)
猜你喜歡
- 1茶幾面都有哪些材料的
- 2如圖為某有機(jī)物的結(jié)構(gòu)簡式.已知酯類在銅鉻氧化物（CuO?CuCrO4）催化下，與氫氣反應(yīng)得到醇，羰基雙鍵可同時(shí)被還原，但苯環(huán)在催化氫化過程中不變，其反應(yīng)原理如下：在銅鉻氧化物催化下
- 3小明沿著一個(gè)圓形水池的外沿走了一周，正好走了50步，每步的距離約是0.628米，這個(gè)水池的占地面積大約是_平方米．
- 450以內(nèi)12的倍數(shù)
- 5某經(jīng)商銷售一種商品 把它的進(jìn)價(jià)提高40％后作為標(biāo)價(jià) 如果想獲得12％的利潤 問要打幾折?
- 6Some of the things some people,only to miss
- 7數(shù)學(xué)的連比（形如a:b:c）,其中a,b,c可以為負(fù)嗎?例如：-1:2:（-3）和-1:2:3.
- 8請高手幫我寫一篇英語短文故事
- 9過y^2=2px(x>0)上一點(diǎn)P(x0,y0)(y0>0)作兩直線分別交拋物線于A(X1,Y1)B(X2,Y2)1)求拋物線上縱坐標(biāo)為0.5p的點(diǎn)到其焦點(diǎn)F的距離2）當(dāng)PA、PB斜率存在且傾斜角互補(bǔ)時(shí)求（y1+y2）/y0的值,并證明直線
- 10我國古代有一位以半部《論語》治天下的名人.他是誰?
- 11fly的現(xiàn)在進(jìn)行時(shí)態(tài)是FLYING嗎
- 12英語 仔細(xì)答題I want to go to Paris where I can learn the French language.