c語(yǔ)言中的merge函數(shù)

merge()是C++標(biāo)準(zhǔn)庫(kù)的函數(shù)，主要實(shí)現(xiàn)函數(shù)的排序和合并，不僅僅是合并，具體要求參照標(biāo)準(zhǔn)庫(kù)。

創(chuàng)新互聯(lián)服務(wù)項(xiàng)目包括皋蘭網(wǎng)站建設(shè)、皋蘭網(wǎng)站制作、皋蘭網(wǎng)頁(yè)制作以及皋蘭網(wǎng)絡(luò)營(yíng)銷策劃等。多年來(lái)，我們專注于互聯(lián)網(wǎng)行業(yè)，利用自身積累的技術(shù)優(yōu)勢(shì)、行業(yè)經(jīng)驗(yàn)、深度合作伙伴關(guān)系等，向廣大中小型企業(yè)、政府機(jī)構(gòu)等提供互聯(lián)網(wǎng)行業(yè)的解決方案，皋蘭網(wǎng)站推廣取得了明顯的社會(huì)效益與經(jīng)濟(jì)效益。目前，我們服務(wù)的客戶以成都為中心已經(jīng)輻射到皋蘭省份的部分城市，未來(lái)相信會(huì)繼續(xù)擴(kuò)大服務(wù)區(qū)域并繼續(xù)獲得客戶的支持與信任！

#include"stdafx.h"

#includeiostream

#includealgorithm

#includearray

#includelist

usingnamespacestd;

boolcomp(constinti,constintj){

returnij;

}

intmain(void){

/*自定義謂詞*/

std::arrayint,4ai1={1,3,4,5};

std::listintlsti1;

for(constautoi:ai1)

lsti1.push_front(i);//從大到小

std::arrayint,4ai2={2,6,7,8};

std::listintlsti2;

for(constautoi:ai2)

lsti2.push_front(i);

lsti1.merge(lsti2,comp);

std::cout"merge():";

for(constautoi:lsti1)

std::couti"";

std::coutstd::endl;

/*默認(rèn)謂詞*/

std::arrayint,4ai1d={1,3,4,5};

std::listintlsti1d;

for(constautoi:ai1d)

lsti1d.push_back(i);//從小到大

std::arrayint,4ai2d={2,6,7,8};

std::listintlsti2d;

for(constautoi:ai2d)

lsti2d.push_back(i);

lsti1d.merge(lsti2d);

std::cout"merge():";

for(constautoi:lsti1d)

std::couti"";

std::coutstd::endl;

return0;

}

擴(kuò)展資料

Merge算法的兩種接口，把兩個(gè)有序的數(shù)組合并到另一個(gè)數(shù)組中：

void Merge(int *A, int f, int m, int e){

int temp[e-f+1];

int i,first=f,last=m+1;

for(i=0;i(e-first+1)f=mlast=e;i++){

if(A[f]=A[last]) {

temp[i]=A[f];

f++;

}

else {

temp[i]=A[last];

last++;

}

}

while(fmlast=e){

temp[i]=A[last];

i++;

last++;

}

while(f=mlaste){

temp[i]=A[f];

i++;

f++;

}

for(i=0;first=e;i++,first++){

A[first]=temp[i];

}

}

參考資料來(lái)源：百度百科—c語(yǔ)言

什么是謂詞性結(jié)構(gòu)？

動(dòng)詞、形容詞屬于謂詞性詞語(yǔ)。謂詞性句法結(jié)構(gòu)主要用作謂語(yǔ)，功能與謂語(yǔ)相當(dāng)。

包括：述賓短語(yǔ)和述補(bǔ)短語(yǔ)；連動(dòng)短語(yǔ)和兼語(yǔ)短語(yǔ)；動(dòng)詞、形容詞組成的聯(lián)合短語(yǔ)；帶有狀語(yǔ)的偏正短語(yǔ)；主謂短語(yǔ)一般也屬于謂詞性結(jié)構(gòu)。

謂詞：在計(jì)算機(jī)語(yǔ)言的環(huán)境下，謂詞是指條件表達(dá)式的求值返回真或假的過(guò)程。

在漢語(yǔ)中，謂詞又稱為“用詞”，與“體詞"相對(duì)。指在句中直接接語(yǔ)尾，主要充當(dāng)謂語(yǔ)，能受副詞修飾的一些詞類，包括動(dòng)詞、形容詞等。

分類：

（1）大主語(yǔ)是受事，小主語(yǔ)是施事，全句的語(yǔ)義關(guān)系是：受事施事——?jiǎng)幼鳌４蠖伎梢宰儞Q成不同的句式，如：這件事大家都贊成。（→大家都贊成這件事。）

（2）大主語(yǔ)是施事，小主語(yǔ)是受事，全句的語(yǔ)義關(guān)系是：施事受事——?jiǎng)幼?。例如：他什么書都看過(guò)。

誰(shuí)能給我關(guān)于C語(yǔ)言的資料啊

全國(guó)計(jì)算機(jī)等考二級(jí)C語(yǔ)言模擬試題一一、選擇題(1)～(10)每小題2分，　(11)～(50)每小題1分，共60分)下列各題A)、B)、c)、D)四個(gè)選項(xiàng)中，只有一個(gè)選項(xiàng)是正確的，請(qǐng)將正確的選項(xiàng)涂寫在答題卡相應(yīng)位置上，答在試卷上不得分。(1)在數(shù)據(jù)結(jié)構(gòu)中，從邏輯上可以把數(shù)據(jù)結(jié)構(gòu)分為_______。A)動(dòng)態(tài)結(jié)構(gòu)和靜態(tài)結(jié)構(gòu)　B)緊湊結(jié)構(gòu)和非緊湊結(jié)構(gòu)c)線性結(jié)構(gòu)和非線性結(jié)構(gòu)D)內(nèi)部結(jié)構(gòu)和外部結(jié)構(gòu)答案：C評(píng)析：邏輯結(jié)構(gòu)反映數(shù)據(jù)元素之間的邏輯關(guān)系，線性結(jié)構(gòu)表示數(shù)據(jù)元素之間一對(duì)一的關(guān)系，非線性結(jié)構(gòu)表示數(shù)據(jù)元素之間一對(duì)多或多對(duì)一的關(guān)系。(2)若進(jìn)棧序列為l，2，3，4，進(jìn)棧過(guò)程中可以出棧，則下列不可能的一個(gè)出棧序列是_______。A)1，4，3，2B)2，3，4，lC)3，1，4，2D)3，4, 2，1答案：C評(píng)析：棧是一種后進(jìn)先出表，選項(xiàng)c中，先出棧的是3，說(shuō)明此時(shí)棧內(nèi)必然有1，2，由于l先于2進(jìn)棧，所以l不可能在2之前出棧，故選項(xiàng)C這種出棧序列是不可能的。(3)排序方法中，將整個(gè)無(wú)序序列分割成若干小的子序列并分別進(jìn)行插入排序的方法，稱為_______。A)希爾排序B)冒泡排序c)插入排序D)選擇排序答案：A評(píng)析：希爾排序法的基本思想是：將整個(gè)無(wú)序序列分割成若干小的子序列分別進(jìn)行插入排序。(4)在順序表(3，6，8，10，12，15，16，18，21，25，30)中，用二分法查找關(guān)鍵碼值11，所需的關(guān)鍵碼比較次數(shù)為_______。A)2　B)3　 C)4D)5答案：C評(píng)析：二分法查找是用關(guān)鍵碼與線性表的中間元素比較，然后根據(jù)比較結(jié)果來(lái)判斷是結(jié)束查找，還是在左邊或者右邊子表按相同的方法繼續(xù)查找。本題中，與ll比較的關(guān)鍵碼分別為15，8，10，12四個(gè)。(5)對(duì)于n個(gè)結(jié)點(diǎn)的單向鏈表(無(wú)表頭結(jié)點(diǎn))，需要指針單元的個(gè)數(shù)至少為_______。A)n-1B)nC)n+l　D)2n答案：C評(píng)析：在n個(gè)結(jié)點(diǎn)的單向鏈表(無(wú)表頭結(jié)點(diǎn))中，每個(gè)結(jié)點(diǎn)都有一個(gè)指針單元(即指針域)，加上頭指針，至少需要n+1個(gè)指針單元。(6)在軟件開發(fā)過(guò)程中，軟件結(jié)構(gòu) 設(shè)計(jì) 是描述_______。A)數(shù)據(jù)存儲(chǔ)結(jié)構(gòu) B)軟件體系結(jié)構(gòu)C)軟件結(jié)構(gòu)測(cè)試D)軟件控制過(guò)程答案：B評(píng)析：從工程管理角度來(lái)看，軟件設(shè)計(jì)分兩步完成：概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)。概要設(shè)計(jì)(又稱結(jié)構(gòu)設(shè)計(jì))將軟件需求轉(zhuǎn)化為軟件體系結(jié)構(gòu)、確定系統(tǒng)級(jí)接口、全局?jǐn)?shù)據(jù)結(jié)構(gòu)或數(shù)據(jù)庫(kù)模式。(7)模塊本身的內(nèi)聚是模塊獨(dú)立性的重要性度量因素之一。在7類內(nèi)聚中，具有最強(qiáng)內(nèi)聚的一類是_______。A)順序性內(nèi)聚 B)過(guò)程性內(nèi)聚　c)邏輯性內(nèi)聚D)功能性內(nèi)聚答案：D評(píng)析：內(nèi)聚性是一個(gè)模塊內(nèi)部各元素間彼此結(jié)合的緊密程度的度量。內(nèi)聚共有7類，它們之間的內(nèi)聚性由弱到強(qiáng)排列順序?yàn)椋号既粌?nèi)聚、邏輯內(nèi)聚、時(shí)間內(nèi)聚、過(guò)程內(nèi)聚、 通信 內(nèi)聚、順序內(nèi)聚和功能內(nèi)聚。(8)數(shù)據(jù)存儲(chǔ)和數(shù)據(jù)流都是_______，僅僅是所處的狀態(tài)不同。A)分析結(jié)果B)事件C)動(dòng)作D)數(shù)據(jù)答案：D評(píng)析：數(shù)據(jù)流圖有4種成分：源點(diǎn)或終點(diǎn)、處理、數(shù)據(jù)存儲(chǔ)和數(shù)據(jù)流。數(shù)據(jù)存儲(chǔ)是處于靜止?fàn)顟B(tài)的數(shù)據(jù)，數(shù)據(jù)流是處于運(yùn)動(dòng)中的數(shù)據(jù)。(9)數(shù)據(jù)的完整性是指數(shù)據(jù)的正確性、有效性和_______。A)可維護(hù)性B)獨(dú)立性C)安全性D)相容性答案：D評(píng)析：數(shù)據(jù)模型的完整性規(guī)則是給定的數(shù)據(jù)模型中數(shù)據(jù)及其聯(lián)系所具有的制約和依存規(guī)則，用以限定符合數(shù)據(jù)模型的數(shù)據(jù)庫(kù)狀態(tài)及其狀態(tài)的變化，以保證數(shù)據(jù)的正確性、有效性和相容性。(10)關(guān)系代數(shù)運(yùn)算是以_______為基礎(chǔ)的運(yùn)算。A)關(guān)系運(yùn)算B)謂詞運(yùn)算c)集合運(yùn)算 D)代數(shù)運(yùn)算答案：C評(píng)析：關(guān)系代數(shù)運(yùn)算是以關(guān)系代數(shù)作為運(yùn)算對(duì)象的一組高級(jí)運(yùn)算的集合。它的基本操作是并、交、差、笛卡爾積，另外還包垂直分割(投影)、水平分割(選擇)、關(guān)系的結(jié)合(連接)等。(11)能將高級(jí)語(yǔ)言程序轉(zhuǎn)換成目標(biāo)語(yǔ)言程序的是_______。A)調(diào)試程序B)解釋程序C)編譯程序　D)編輯程序答案：C評(píng)析：用高級(jí)語(yǔ)言編寫的程序稱為"源程序"，而計(jì)算機(jī)只能識(shí)別和執(zhí)行由0和l組成的二進(jìn)制指令，所以高級(jí)語(yǔ)言必須先用一種稱為"編譯程序"的軟件，把源程序翻譯成二進(jìn)制形式的"目標(biāo)程序"。(12) _______是構(gòu)成c語(yǔ)言程序的基本單位。A)函數(shù)B)過(guò)程c)子程序　 D)子例程答案：A評(píng)析：c程序是由函數(shù)構(gòu)成的。一個(gè)c源程序至少包含一個(gè)main函數(shù)，也可以包含一個(gè)main函數(shù)和若干個(gè)其他函數(shù)，因此，函數(shù)是c程序的基本單位。(13)可以在C語(yǔ)言中用做用戶標(biāo)識(shí)符的是_______。A)voidB)as_b3C)forD)2cdefine_123　 -abcDoWORD　 Ifcas SIG答案：B評(píng)析：c語(yǔ)言規(guī)定，標(biāo)識(shí)符只能由字母、數(shù)字和下劃線三種符號(hào)組成，而且第一個(gè)字符必須是字母或下劃線。另外還需要注意的是關(guān)鍵字不能作標(biāo)識(shí)符。選項(xiàng)A中void，C中for都為關(guān)鍵字，D中2c以字母開頭。(14)若有以下類型說(shuō)明語(yǔ)句：char w；int x；float y，z；則表達(dá)式w*x+z-y的結(jié)果為________類型。A)floatB)char C)int　 D)double答案：A評(píng)析：在進(jìn)行運(yùn)算時(shí)，不同類型的數(shù)據(jù)參加運(yùn)算，需要先將其轉(zhuǎn)換成同一類型的數(shù)據(jù)，然后再進(jìn)行運(yùn)算。轉(zhuǎn)換的順序由低到高為：char，short→int→unsigned→long→double→float，故結(jié)果為float型。(15)main((){　float x=123A56；printf("％-5．2f\n",x)；}以上程序輸出的結(jié)果是________。A)123．4B)123．5　C)123．45D)123．46答案：D評(píng)析：f格式符，用來(lái)輸出實(shí)數(shù)，以小數(shù)形式輸出。"％-m．nf"的含義是：輸出數(shù)據(jù)共占m列，其中n位小數(shù)，如果輸出位數(shù)小于m。則右端補(bǔ)空格。如果總長(zhǎng)度大于列數(shù)，則按實(shí)際情況四舍五入輸出。(16)下面語(yǔ)句的輸出結(jié)果是________。Printf("％d＼n",strlen("＼t＼"＼065＼xff＼n"))；A)14　B)8C)5　 D)輸出項(xiàng)不合法，無(wú)正常輸出答案：C評(píng)析：在c語(yǔ)言中，以"＼"開頭的字符均為轉(zhuǎn)義字符，其中"＼"后可跟l～3位八進(jìn)制數(shù)或在"＼"后跟字母x及l(fā)～2位十六進(jìn)制數(shù)，以此來(lái)代表一個(gè)特定的字符。(17)下列程序的輸出結(jié)果是________。main(){　int a=0，b=0，c=0；if(++a0lI++b0)++c；printf("＼na=％d，b=％d，c=％d"，a，b，c)；}A)a=0,b=0，c=0　 B)a=l，b=l，c=1C)a=l,b=O, c=I　 D)a=0, b=1．c=1答案：C評(píng)析："︱︱"是或運(yùn)算，它有個(gè)"短路"的特點(diǎn)需特別注意，當(dāng)"︱︱"運(yùn)算符左邊的表達(dá)式的值為真時(shí)，則程序就不再對(duì)"︱︱"右邊的表達(dá)式的值進(jìn)行運(yùn)算，而是使得整個(gè)表達(dá)式的值直接為真。(18)下列程序的輸出結(jié)果是_________。Main(){　int i；for(i=1；i+l；i++){　if(i4){printlf("％d"，i++)；break；}}printf("％d"，i++)；}A)55B)56c)程序錯(cuò)誤，沒(méi)有輸出D)循環(huán)條件永遠(yuǎn)為真，死循環(huán)答案：B評(píng)析：本程序中有個(gè)for循環(huán)，但注意到for循環(huán)的條件是"i+l"，也就是只要i+l的值為真(非零值均為真)，就執(zhí)行循環(huán)。當(dāng)i=l的時(shí)，i+l的值為真，判斷if條件不成立，執(zhí)行i++，輸出i的值為5。(19)下列程序的輸出結(jié)果是_________。#define A 100main(){　int i=O,sum=O；do{　if(I==(i／2)*2)continue；sum+=i；}while(++iprintf("％d＼n",sum)；}A)2500B)2050C)4D)O答案：A評(píng)析：本題程序的功能是求1到_99之問(wèn)(包括1和99)所有奇數(shù)之和。程序中的while循環(huán)的終止條件為++i=100，在while循環(huán)體內(nèi)，如果i是偶數(shù)，則執(zhí)行continue，跳過(guò)這一次循環(huán)，執(zhí)行下一次循環(huán)，否則求和。最后輸出的值是1到99之間(包括l和99)所有奇數(shù)之和(1+99)*50／2=2500。(20)下列程序的輸出結(jié)果是_________。main(){　int I=3；switch(i){ case 1：case 2：printf("％d"，i)；case 3：case 4：break；default：printf("OK")；}}A)0B)3C)OKD)沒(méi)有任何輸出答案：D評(píng)析：在題中，i的值為3，由于"case 3："后面沒(méi)有break語(yǔ)句，所以繼續(xù)向下執(zhí)行"case 4："后面的語(yǔ)句，由于"case 4："后面的語(yǔ)句為break強(qiáng)行退出switch語(yǔ)句，所以，本題沒(méi)有任何輸出。(21)下列程序執(zhí)行后的輸出結(jié)果是________。main(){　int m[][3]={1,4,7,2,5,8,3,6,9}；int i，k=2：for(I=0；i3；i++){printf("％d"，m[k][i])；}}A)456B)258C)369D)789答案：C評(píng)析：根據(jù)二維數(shù)組的定義得出：m[O][O]=1，m[O][1]=4，m[O][2]=7，m[1][0]=2，rail][1]=5，m[1][2]=8，m[2][0]=3，m[2][l]=6，m[2][2]=9，所以本題的輸出是第3行的值m[2][0]，m[2][1]，m[2][2]，即369。(22)設(shè)已定義洱口k為int類型變量，則以下for循環(huán)語(yǔ)句_________。for(i=0；k=-1，k=1；i++，k++)printf("****＼n")；A)判斷循環(huán)結(jié)束的條件不合法B)是無(wú)限循環(huán)C)循環(huán)一次也不執(zhí)行D)循環(huán)只執(zhí)行一次答案：B評(píng)析：本題定義了一個(gè)for循環(huán)，循環(huán)變量是i，但由于本題并沒(méi)有設(shè)置循環(huán)條件，所以循環(huán)的條件永遠(yuǎn)默認(rèn)為真，即無(wú)限次執(zhí)行循環(huán)。(23)下面程序的輸出結(jié)果是___________。unsigned fun(unsigned num){　 unsigned k=1；do{k*=num％lO；num／=lO；}while(num)；return(k)；}main(){　unsigned n。26；printf("％d＼n",fun(n))；}A)0B)4c)12D)無(wú)限次循環(huán)答案：C評(píng)析：本題定義了一個(gè)fun函數(shù)，用于num求和，具體執(zhí)行過(guò)程如下：num=26：k=k*(num％10)=1*(26％10)，所以k=6，num=num／10=2；num=2：k=k*(num％10)=6*(2％10)，所以k=12，num=num／lO=O；num=O：while條件不成立，所以返回k的值12．(24)已知字母A的ASCII碼值是65，字母a的ASCII碼值是97，以下程序_______。main(){　char a='A'；int b=20；printf("％d，％o"，(a=a+a,a+b,b)，a+'a'-'A'，b)；}A)表達(dá)式非法，輸出零或不確定值B)因輸出項(xiàng)過(guò)多，無(wú)輸出或輸出不確定值C)輸出結(jié)果為20,141D)輸出結(jié)果為20,141,20答案：C評(píng)析：本題中首先輸出逗號(hào)表達(dá)式"a=a+a，a+b，b"的值，即20。然后以八進(jìn)制的形式輸出a+'a'-'A'的值為97對(duì)應(yīng)的八進(jìn)制數(shù)141，由于最后一個(gè)表達(dá)式b沒(méi)有對(duì)應(yīng)輸出格式的輸出項(xiàng)表列就不會(huì)輸出。(25)C語(yǔ)言函數(shù)返回值的類型是由__________決定的。A)return語(yǔ)句中的表達(dá)式類型B)調(diào)用函數(shù)的主調(diào)函數(shù)類型c)調(diào)用函數(shù)時(shí)臨時(shí)　 D)定義函數(shù)時(shí)所指定的函數(shù)類型答案：D評(píng)析：函數(shù)值的類型應(yīng)當(dāng)是在定義函數(shù)時(shí)指定的。在定義函數(shù)時(shí)對(duì)函數(shù)值說(shuō)明的類型一般應(yīng)該和return語(yǔ)句中的表達(dá)式類型一致，如果不_致，則以函數(shù)類型為準(zhǔn)，即函數(shù)類型決定返回值的類型。本篇文章來(lái)源于《點(diǎn)睛考試網(wǎng)》[] ；原文鏈接地址：

菜鳥問(wèn)C語(yǔ)言題啦~\(≥▽≤)/~

你這個(gè)搞的好復(fù)雜看看這個(gè)吧

#include stdio.h

#includestring.h

void main()

{

char str[100];

int len,i;

printf("please input a string:");

gets(str);

len=strlen(str);

for(i=0;i=len/2;i++)

{

if(str[i]!=str[len-1-i])

{

printf("%s 不是回文\n",str);

break;

}

}

if(ilen/2)

printf("%s 是回文\n",str);

}

請(qǐng)教C語(yǔ)言高手?。。?/h2>

首先，你得明白程序的組成、程序和編譯器的關(guān)系

編寫程序，就相當(dāng)于寫一篇作文。不過(guò)，最終讀者是計(jì)算機(jī)。但是它不識(shí)別我們?nèi)祟惖恼Z(yǔ)言，包括我們編寫的程序 --- 其實(shí)也是一堆按照特定規(guī)則編排的字符

這就需要有一個(gè)翻譯，將我們的“作文”翻譯成計(jì)算機(jī)能夠理解的機(jī)器代碼（CPU指令集）。編譯器就是做了這個(gè)“翻譯”的工作，當(dāng)然生成最終可運(yùn)行的文件還需要鏈接器等工具，這些暫時(shí)不需要知道。

關(guān)鍵字是在開發(fā)編譯器時(shí)所共同遵守的約定，程序作者不允許使用這些關(guān)鍵字作為自定義的變量或者函數(shù)的名稱，這些單詞已經(jīng)有他們的意義。

比如，

if表示“如果”，是一種判斷結(jié)構(gòu)，return表示返回，這些都有對(duì)應(yīng)的既定用途。

關(guān)鍵字一個(gè)明顯的特點(diǎn)就是，你的變量名不能使用這些關(guān)鍵字，比如你不能定義一個(gè)變量如下

int auto;

這樣編譯器在“翻譯”你的代碼的時(shí)候會(huì)報(bào)錯(cuò)，你原意是想定義一個(gè)整形數(shù)值，名字叫做auto。但是編譯器讀不懂。

另外，你可以查看下，C語(yǔ)言的32個(gè)關(guān)鍵字的具體含義，這樣也有助于你理解他們的作用。

謂詞邏輯的公理系統(tǒng)

謂詞邏輯的普遍有效的公式為數(shù)無(wú)窮，在一定意義上它們都是邏輯規(guī)律。為了系統(tǒng)地研究這類規(guī)律,需要對(duì)它們作整體的考慮,將它們總括在一個(gè)系統(tǒng)之中。謂詞演算或者一階謂詞演算就是這樣的系統(tǒng)。謂詞演算是把謂詞邏輯公理化和形式化而建立的形式系統(tǒng)。按照對(duì)作為演算出發(fā)點(diǎn)的初始符號(hào)、公理和變形規(guī)則的不同挑選，可以建立不同的謂詞演算系統(tǒng)。在初始符號(hào)中有符號(hào)=的，稱為帶等詞的一階謂詞演算，等詞=是一個(gè)謂詞常元；不帶等詞的系統(tǒng)就稱為（一階）謂詞演算。構(gòu)成一個(gè)謂詞邏輯的公理系統(tǒng)的基本要素有：初始符號(hào)、形成規(guī)則、公理和變形規(guī)則等。對(duì)此，可以從一個(gè)不帶等詞的系統(tǒng) F得到說(shuō)明。 F的初始符號(hào)，包括個(gè)體變?cè)?、謂詞變?cè)⒙?lián)結(jié)詞和量詞以及技術(shù)性符號(hào)四類。個(gè)體變?cè)?hào)的小寫拉丁字母為： x,y,z,x1,y1,z1,x2,…；謂詞變?cè)?hào)為大寫拉丁字母，即：F,G,H,F1,G1,…。在原則上,對(duì)每一n≥1，應(yīng)分別列出n元謂詞變?cè)纾篎1,G1,H1,…;F 2,G 2,H 2,…；等等。不過(guò),省去上標(biāo)1,2,…,n，在實(shí)踐上不會(huì)產(chǎn)生混亂。聯(lián)結(jié)詞和量詞符號(hào)為：塡、→、凬；技術(shù)性符號(hào)為括?。ǎ┖投禾?hào)，。 　形成規(guī)則規(guī)定怎樣的符號(hào)序列或符號(hào)的組合是 F中的合式公式。合式公式經(jīng)解釋后是有意義的。用來(lái)描述和討論 F系統(tǒng)的語(yǔ)言即元語(yǔ)言的符號(hào)有：小寫希臘字母α，α1，…,αn，δ表示任意的個(gè)體變?cè)?；fn表示任意的n元謂詞變?cè)?大寫拉丁字母X,Y表示任意的符號(hào)序列。這些符號(hào)稱為語(yǔ)法變?cè)?。F的形成規(guī)則有4條：①如果fn是一n元謂詞變?cè)?α1,…,αn是個(gè)體變?cè)瑒tfn(α1,…,αn)是一合式公式；

②　如果 X是合式公式，則塡X是合式公式。如果X、Y 是合式公式，則(X→Y)是合式公式；

③　如果X是合式公式，α是個(gè)體變?cè)瑒t(凬α)X是合式公式；

④　只有適合以上①～③的是合式公式。合式公式簡(jiǎn)稱公式。用字母A,B,C表示任意的公式。A,B,C也是語(yǔ)法變?cè)?，屬于元語(yǔ)言。