現(xiàn)定義命題演算的合式公式(wff),規(guī)定為:
A、單個(gè)命題本身是一個(gè)合式公式;
B、如果A是合式公式,那么?A是合式公式;
C、如果A和B是合式公式,那么(A∧B),(A∨B),(A→B),(A?B)都是合式公式;
D、當(dāng)且僅當(dāng)能夠有限次地運(yùn)用A、B、C所得到的命題是合式公式.
說(shuō)明:考生無(wú)需知道(A∧B),(A∨B),(A→B),(A?B)所表示的具體含義.
下列公式是合式公式的是:______.
①((?P→Q)→(Q→P))②(Q→R∧S)③(RS→T)
④(P?(R→S))⑤((P→(Q→R))→((P→Q)→(P→R))
在①中,滿足A、B、C、D所有條件,是合式公式;
②中沒(méi)有對(duì)(Q→R∧S)進(jìn)行具體劃分,兩種命題運(yùn)算符不知道哪個(gè)先,所以②不是合式公式;
③中R與S之間缺少必要的命題運(yùn)算符,所以該式不是合式公式;
④、⑤符合題目要求,是合式公式.
故答案為:①④⑤.
練習(xí)冊(cè)系列答案
相關(guān)習(xí)題

科目:高中數(shù)學(xué) 來(lái)源: 題型:

14、現(xiàn)定義命題演算的合式公式(wff),規(guī)定為:
A、單個(gè)命題本身是一個(gè)合式公式;
B、如果A是合式公式,那么?A是合式公式;
C、如果A和B是合式公式,那么(A∧B),(A∨B),(A→B),(A?B)都是合式公式;
D、當(dāng)且僅當(dāng)能夠有限次地運(yùn)用A、B、C所得到的命題是合式公式.
說(shuō)明:考生無(wú)需知道(A∧B),(A∨B),(A→B),(A?B)所表示的具體含義.
下列公式是合式公式的是:
①④⑤

①((?P→Q)→(Q→P))②(Q→R∧S)③(RS→T)
④(P?(R→S))⑤((P→(Q→R))→((P→Q)→(P→R))

查看答案和解析>>

科目:高中數(shù)學(xué) 來(lái)源:2010年江西省吉安市高考數(shù)學(xué)模擬試卷(解析版) 題型:解答題

現(xiàn)定義命題演算的合式公式(wff),規(guī)定為:
A、單個(gè)命題本身是一個(gè)合式公式;
B、如果A是合式公式,那么¬A是合式公式;
C、如果A和B是合式公式,那么(A∧B),(A∨B),(A→B),(A?B)都是合式公式;
D、當(dāng)且僅當(dāng)能夠有限次地運(yùn)用A、B、C所得到的命題是合式公式.
說(shuō)明:考生無(wú)需知道(A∧B),(A∨B),(A→B),(A?B)所表示的具體含義.
下列公式是合式公式的是:   
①((¬P→Q)→(Q→P))②(Q→R∧S)③(RS→T)
④(P?(R→S))⑤((P→(Q→R))→((P→Q)→(P→R))

查看答案和解析>>

科目:高中數(shù)學(xué) 來(lái)源:2010年高考數(shù)學(xué)專(zhuān)項(xiàng)復(fù)習(xí):創(chuàng)新題(3)(解析版) 題型:解答題

現(xiàn)定義命題演算的合式公式(wff),規(guī)定為:
A、單個(gè)命題本身是一個(gè)合式公式;
B、如果A是合式公式,那么¬A是合式公式;
C、如果A和B是合式公式,那么(A∧B),(A∨B),(A→B),(A?B)都是合式公式;
D、當(dāng)且僅當(dāng)能夠有限次地運(yùn)用A、B、C所得到的命題是合式公式.
說(shuō)明:考生無(wú)需知道(A∧B),(A∨B),(A→B),(A?B)所表示的具體含義.
下列公式是合式公式的是:   
①((¬P→Q)→(Q→P))②(Q→R∧S)③(RS→T)
④(P?(R→S))⑤((P→(Q→R))→((P→Q)→(P→R))

查看答案和解析>>

同步練習(xí)冊(cè)答案