法律邏輯學(xué)(第二版)-第五章-詞項(xiàng)邏輯-課件

《法律邏輯學(xué)教程》

教學(xué)課件高等教育出版社《法律邏輯學(xué)教程》

教學(xué)課件高等教育出版社第五章詞項(xiàng)邏輯（下）第一節(jié)直言命題第二節(jié)直言命題的直接推理第三節(jié)三段論第四節(jié)謂詞邏輯自然推理高等教育出版社第五章詞項(xiàng)邏輯（下）第一節(jié)直言命題高等教育出版社本章重點(diǎn)提示1.明確直言命題的定義及其邏輯特征；2.掌握6種基本的直言命題種類(lèi)；3.理解直言命題間的真假關(guān)系；4.把握直言命題直接推理規(guī)則及其應(yīng)用；5.弄懂三段論及其基本規(guī)則；6.理解謂詞邏輯自然推理的基礎(chǔ)知識(shí)。高等教育出版社本章重點(diǎn)提示1.明確直言命題的定義及其邏輯特征；高等教育出版第一節(jié)直言命題一、直言命題及其結(jié)構(gòu)二、直言命題的種類(lèi)三、直言命題主、謂項(xiàng)的周延性四、直言命題間的真假關(guān)系高等教育出版社第一節(jié)直言命題一、直言命題及其結(jié)構(gòu)高等教育出版社分析：（1）我生從何來(lái)，死往何處？（2）讓暴風(fēng)雨來(lái)得更猛烈些吧?。?）難道這些困難真的無(wú)法克服？（4）生，容易；活，容易；生活，不容易。（5）水至清則無(wú)魚(yú)。（6）只有年滿18歲，才有選舉權(quán)。（7）并非所有金屬都是液體。（8）人不犯我，我不犯人；人若犯我，我必犯人。（9）中國(guó)與越南相鄰。（10）一切反動(dòng)派都是紙老虎。高等教育出版社分析：（1）我生從何來(lái)，死往何處？高等教育出版社一、直言命題及其結(jié)構(gòu)（一）什么是直言命題所謂直言命題，就是反映思維對(duì)象具有或不具有某種性質(zhì)的命題。它是以主謂式語(yǔ)句表達(dá)的命題。直言命題又稱(chēng)性質(zhì)命題。

高等教育出版社一、直言命題及其結(jié)構(gòu)（一）什么是直言命題高等教育出版社（二）直言命題的構(gòu)成

1.主項(xiàng)主項(xiàng)是處于表達(dá)直言命題的語(yǔ)句中主語(yǔ)位置并指稱(chēng)思維對(duì)象的詞項(xiàng)，通常用大寫(xiě)字母S表示。高等教育出版社（二）直言命題的構(gòu)成高等教育出版社2.謂項(xiàng)謂項(xiàng)是在表達(dá)直言命題的語(yǔ)句中處于謂語(yǔ)位置并指稱(chēng)思維對(duì)象性質(zhì)的詞項(xiàng)，一般用大寫(xiě)字母P表示。

高等教育出版社2.謂項(xiàng)高等教育出版社3.聯(lián)項(xiàng)聯(lián)項(xiàng)是表示主項(xiàng)和謂項(xiàng)聯(lián)系的詞項(xiàng)，通常稱(chēng)為直言命題的質(zhì)。（1）肯定聯(lián)項(xiàng)在直言命題中，表示肯定性質(zhì)的聯(lián)項(xiàng)稱(chēng)為肯定聯(lián)項(xiàng)，一般用系詞“是”來(lái)表示（2）否定聯(lián)項(xiàng)在直言命題中表示否定性質(zhì)的聯(lián)項(xiàng)則稱(chēng)為否定聯(lián)項(xiàng)，一般用系詞“不是”表示。高等教育出版社3.聯(lián)項(xiàng)高等教育出版社4.量項(xiàng)量項(xiàng)是指斷定主項(xiàng)外延數(shù)量的詞項(xiàng)，通常稱(chēng)為直言命題的量。（1）單稱(chēng)量項(xiàng)單稱(chēng)量項(xiàng)是反映主項(xiàng)只有一個(gè)分子的詞項(xiàng)（2）全稱(chēng)量項(xiàng)在命題中陳述了主項(xiàng)所指稱(chēng)的對(duì)象的全部，或者說(shuō)斷定了主項(xiàng)的全部外延，通常用“所有”、“任何”、“一切”、“每一個(gè)”、“凡”、“都”等詞語(yǔ)表示。

高等教育出版社4.量項(xiàng)高等教育出版社（3）特稱(chēng)量項(xiàng)特稱(chēng)量項(xiàng)又稱(chēng)存在量項(xiàng)，表示在命題中至少陳述了主項(xiàng)所指稱(chēng)的對(duì)象中的一個(gè)，或者說(shuō)斷定了主項(xiàng)外延中的至少一個(gè)對(duì)象。特稱(chēng)量項(xiàng)通常用“有些”、“有的”、“存在”、“至少一個(gè)”、“許多”、“大多數(shù)”、“少數(shù)”等詞語(yǔ)表示。高等教育出版社（3）特稱(chēng)量項(xiàng)高等教育出版社任何一個(gè)直言命題的結(jié)構(gòu)：

量項(xiàng)+主項(xiàng)+聯(lián)項(xiàng)+謂項(xiàng)。高等教育出版社任何一個(gè)直言命題的結(jié)構(gòu)：

量項(xiàng)+主項(xiàng)+聯(lián)項(xiàng)+謂項(xiàng)。高等教育二、直言命題的種類(lèi)（一）全稱(chēng)肯定命題（二）全稱(chēng)否定命題（三）特稱(chēng)肯定命題（四）特稱(chēng)否定命題（五）單稱(chēng)肯定命題（六）單稱(chēng)否定命題高等教育出版社二、直言命題的種類(lèi)（一）全稱(chēng)肯定命題高等教育出版社（一）全稱(chēng)肯定命題

所有S是P。全稱(chēng)肯定命題反映主項(xiàng)S的全部對(duì)象具有謂項(xiàng)P的性質(zhì)。（二）全稱(chēng)否定命題

所有S不是P。全稱(chēng)否定命題反映主項(xiàng)S不具有謂項(xiàng)P的性質(zhì)。高等教育出版社（一）全稱(chēng)肯定命題高等教育出版社（三）特稱(chēng)肯定命題：

有S是P。特稱(chēng)肯定命題反映主項(xiàng)S類(lèi)中至少有一個(gè)對(duì)象具有謂項(xiàng)P的性質(zhì)。高等教育出版社（三）特稱(chēng)肯定命題：高等教育出版社（四）特稱(chēng)否定命題

有S不是P。特稱(chēng)否定命題反映主項(xiàng)S類(lèi)中至少有一個(gè)對(duì)象不具有謂項(xiàng)P的性質(zhì)。高等教育出版社（四）特稱(chēng)否定命題高等教育出版社（五）單稱(chēng)肯定命題：（這個(gè)）S是P。單稱(chēng)肯定命題反映主項(xiàng)S所指稱(chēng)的某特定對(duì)象具有謂項(xiàng)P的性質(zhì)。（六）單稱(chēng)否定命題：（這個(gè)）S不是P。單稱(chēng)否定命題反映主項(xiàng)S所指稱(chēng)的某特定對(duì)象不具有謂項(xiàng)P的性質(zhì)。高等教育出版社（五）單稱(chēng)肯定命題：高等教育出版社類(lèi)別界定命題形式符號(hào)化簡(jiǎn)稱(chēng)全稱(chēng)肯定命題斷定所有思維對(duì)象具有某種性質(zhì)的命題。所有S是P。SAPA全稱(chēng)否定命題斷定所有思維對(duì)象不具有某種性質(zhì)的命題。所有S不是P。SEPE特稱(chēng)肯定命題斷定有的思維對(duì)象具有某種性質(zhì)的命題。有S是P。SIPI特稱(chēng)否定命題斷定有的思維對(duì)象不具有某種性質(zhì)的命題。有S不是P。SOPO單稱(chēng)肯定命題斷定某個(gè)思維對(duì)象具有某種性質(zhì)的命題。某個(gè)S是P。（SAP）（A）單稱(chēng)否定命題斷定某個(gè)思維對(duì)象不具有某種性質(zhì)的命題。某個(gè)S不是P。（SEP）（E）高等教育出版社類(lèi)別界定命題形式符號(hào)化簡(jiǎn)稱(chēng)全稱(chēng)肯定命題斷定所有思維對(duì)象具有某三、直言命題主、謂項(xiàng)的周延性（一）定義（二）周延情況（三）注意事項(xiàng)高等教育出版社三、直言命題主、謂項(xiàng)的周延性高等教育出版社（一）定義

所謂直言命題主、謂項(xiàng)的周延性，是指在一個(gè)直言命題中主、謂項(xiàng)的外延被斷定的情況。高等教育出版社（一）定義高等教育出版社（二）周延情況

1.全稱(chēng)肯定命題的主項(xiàng)周延，謂項(xiàng)不周延2.全稱(chēng)否定命題的主、謂項(xiàng)都周延3.特稱(chēng)肯定命題的主、謂項(xiàng)都不周延4.特稱(chēng)否定命題的主項(xiàng)不周延，但謂項(xiàng)周延

高等教育出版社（二）周延情況高等教育出版社（三）注意事項(xiàng)1.周延性問(wèn)題是就直言命題中的主項(xiàng)或謂項(xiàng)而言的2.周延問(wèn)題是直言命題對(duì)其主、謂項(xiàng)外延的斷定情況，與主謂項(xiàng)外延在客觀上存在什么關(guān)系是兩個(gè)不同的問(wèn)題3.直言命題中主、謂項(xiàng)的周延性不應(yīng)與命題的真假問(wèn)題混同4.直言命題中主、謂項(xiàng)的周延性是就命題形式而言，與命題的具體內(nèi)容無(wú)關(guān)。高等教育出版社（三）注意事項(xiàng)高等教育出版社結(jié)論：（1）全稱(chēng)命題的主項(xiàng)周延；（2）特稱(chēng)命題的主項(xiàng)不周延；（3）肯定命題的謂項(xiàng)不周延；（4）否定命題的謂項(xiàng)周延。高等教育出版社結(jié)論：高等教育出版社四、直言命題間的真假關(guān)系

（一）反對(duì)關(guān)系（二）下反對(duì)關(guān)系（三）矛盾關(guān)系（四）差等關(guān)系高等教育出版社四、直言命題間的真假關(guān)系高等教育出版社（一）反對(duì)關(guān)系

具有反對(duì)關(guān)系的兩個(gè)命題“不能同真，可以同假”，即一個(gè)命題真，另一個(gè)命題必假；一個(gè)命題假，另一個(gè)命題可真可假。A與E之間的真假制約關(guān)系就是反對(duì)關(guān)系。高等教育出版社（一）反對(duì)關(guān)系高等教育出版社（二）下反對(duì)關(guān)系

具有下反對(duì)關(guān)系的兩個(gè)命題“不能同假，可以同真”，即一個(gè)命題假，另一個(gè)命題必真；一個(gè)命題真，另一個(gè)命題可真可假。

I與O之間的真假制約關(guān)系就是下反對(duì)關(guān)系。高等教育出版社（二）下反對(duì)關(guān)系高等教育出版社（三）矛盾關(guān)系

具有矛盾關(guān)系的兩個(gè)命題“不能同真，也不可同假”，即一個(gè)命題真，另一個(gè)命題必假；一個(gè)命題假，另一個(gè)命題必真。A與O、E與I之間的真假制約關(guān)系都是矛盾關(guān)系。

高等教育出版社（三）矛盾關(guān)系高等教育出版社（四）差等關(guān)系具有差等關(guān)系的兩個(gè)命題“可以同真，也可同假”，即在同質(zhì)的條件下，全稱(chēng)命題真，則特稱(chēng)命題必真；全稱(chēng)命題假，則特稱(chēng)命題可假；特稱(chēng)命題假，則全稱(chēng)命題必假；特稱(chēng)命題真，則全稱(chēng)命題可真。

A與I、E與O之間的真假制約關(guān)系都是差等關(guān)系高等教育出版社（四）差等關(guān)系高等教育出版社邏輯方陣

AEIO反對(duì)關(guān)系下反對(duì)關(guān)系差等關(guān)系差等關(guān)系高等教育出版社邏輯方陣反對(duì)關(guān)系下反對(duì)關(guān)系差差高等教育出版社注意:（1）傳統(tǒng)邏輯的對(duì)當(dāng)關(guān)系是以主項(xiàng)存在為前提的，即預(yù)設(shè)主項(xiàng)S為非空詞項(xiàng)。（2）在對(duì)當(dāng)關(guān)系中，單稱(chēng)命題不能作全稱(chēng)命題處理，單稱(chēng)肯定命題和單稱(chēng)否定命題是矛盾關(guān)系，而不是反對(duì)關(guān)系。

高等教育出版社注意:高等教育出版社基礎(chǔ)邏輯題甲班有１００人，其中：I、有的人通過(guò)了司考；II、有的人未通過(guò)司考；III、班長(zhǎng)未通過(guò)司考，已知關(guān)于游泳的以上三句一真兩假，問(wèn)：甲班有多少人通過(guò)了司考？A.100人會(huì)；B.沒(méi)有人會(huì)；C.99人會(huì)；D.無(wú)法確定。高等教育出版社基礎(chǔ)邏輯題甲班有１００人，其中：高等教育出版社第二節(jié)直言命題的直接推理

一、直言命題對(duì)當(dāng)關(guān)系推理二、直言命題變形推理

高等教育出版社第二節(jié)直言命題的直接推理高等教育出版社一、直言命題對(duì)當(dāng)關(guān)系推理

（一）根據(jù)矛盾關(guān)系的推理（二）根據(jù)反對(duì)關(guān)系的推理（三）根據(jù)下反對(duì)關(guān)系的推理（四）根據(jù)差等關(guān)系的推理

高等教育出版社一、直言命題對(duì)當(dāng)關(guān)系推理高等教育出版社(一)根據(jù)矛盾關(guān)系的推理SAP┣?SOPSEP┣?SIP?SAP┣SOP?SEP┣SIPSOP┣?SAPSIP┣?SEP?SOP┣SAP?SIP┣SEP高等教育出版社(一)根據(jù)矛盾關(guān)系的推理高等教育出版社（二）根據(jù)反對(duì)關(guān)系的推理

SAP┣?SEPSEP┣?SAP高等教育出版社（二）根據(jù)反對(duì)關(guān)系的推理高等教育出版社（三）根據(jù)下反對(duì)關(guān)系的推理?SIP┣SOP?SOP┣SIP高等教育出版社（三）根據(jù)下反對(duì)關(guān)系的推理高等教育出版社（四）根據(jù)差等關(guān)系的推理SAP┣SIP?SIP┣?SAPSEP┣SOP?SOP┣?SEP高等教育出版社（四）根據(jù)差等關(guān)系的推理高等教育出版社二、直言命題變形推理

（一）換質(zhì)法（二）換位法高等教育出版社二、直言命題變形推理高等教育出版社（一）換質(zhì)法1.換質(zhì)法的定義換質(zhì)法是指通過(guò)改變一個(gè)直言命題的質(zhì)，從而推出另一個(gè)直言命題的推理。2.換質(zhì)法的基本規(guī)則（1）改變?cè)}的質(zhì)，即把否定改為肯定，或由肯定改為否定；（2）謂項(xiàng)改為與原詞項(xiàng)相矛盾的詞項(xiàng)。

高等教育出版社（一）換質(zhì)法高等教育出版社3.換質(zhì)法的推理形式SAP┣ˉ

SEP┣SIP┣SOP┣高等教育出版社3.換質(zhì)法的推理形式高等教育出版社4.換質(zhì)法的基本功能（1）從正反兩個(gè)方面反映同一思維對(duì)象，可以幫助人們從統(tǒng)一性中找出差別性，從差別性中找出統(tǒng)一性。（2）換質(zhì)法是語(yǔ)法修辭、調(diào)換句式、加強(qiáng)表達(dá)效果的重要方法。

高等教育出版社4.換質(zhì)法的基本功能高等教育出版社（二）換位法1.換位法的定義通過(guò)交換直言命題主、謂項(xiàng)的位置而推出另一個(gè)直言命題的推理，稱(chēng)為換位法。2.換位法的基本規(guī)則（1）只改變主項(xiàng)與謂項(xiàng)的位置，不改變命題的質(zhì)；（2）在前提中不周延的項(xiàng)，在結(jié)論中也不得周延。高等教育出版社（二）換位法高等教育出版社3.換位法的推理形式SAP┣PISSEPPESSIPPIS高等教育出版社3.換位法的推理形式高等教育出版社4.換位法的基本功能

（1）改變命題斷定的思維對(duì)象，從而獲得新的命題（2）幫助人們明確一個(gè)直言命題的謂項(xiàng)是否周延，說(shuō)明有些話可以顛倒過(guò)來(lái)講和有些話不可以顛倒過(guò)來(lái)講的原因。高等教育出版社4.換位法的基本功能高等教育出版社第三節(jié)三段論一、什么是三段論二、三段論的規(guī)則三、三段論在司法審判中的作用高等教育出版社第三節(jié)三段論高等教育出版社一、什么是三段論（一）三段論的定義（二）三段論的特點(diǎn)（三）三段論的格和式高等教育出版社一、什么是三段論高等教育出版社（一）三段論的定義1.定義三段論是由包含一個(gè)共同項(xiàng)的兩個(gè)直言命題作為前提，推出一個(gè)新的直言命題作為結(jié)論的推理。高等教育出版社（一）三段論的定義高等教育出版社2.構(gòu)成（1）大前提（2）小前提（3）結(jié)論（4）推理規(guī)則高等教育出版社2.構(gòu)成高等教育出版社（二）三段論的特點(diǎn)

三段論明確地體現(xiàn)了演繹推理的邏輯特征，從前提到結(jié)論的思維進(jìn)程方向是一般導(dǎo)向特殊。三段論的大前提通常表述一般性原理，小前提表述的是特殊性的知識(shí)，進(jìn)而推出一個(gè)關(guān)于特殊性知識(shí)的結(jié)論。高等教育出版社（二）三段論的特點(diǎn)高等教育出版社（三）三段論的格和式

1.三段論的格三段論的格就是根據(jù)中項(xiàng)在前提中所處的不同位置來(lái)確定的。

高等教育出版社（三）三段論的格和式高等教育出版社（1）第一格：中項(xiàng)在大前提中作主項(xiàng)，在小前中作謂項(xiàng)（實(shí)際運(yùn)用的三段論以第一格最為常見(jiàn)）。其形式為：M——PS——MS——P高等教育出版社（1）第一格：中項(xiàng)在大前提中作主項(xiàng)，在小前中高等教育出版（2）第二格：中項(xiàng)在大、小前提中都作謂項(xiàng)。其形式為：P——M

S——MS——P高等教育出版社（2）第二格：中項(xiàng)在大、小前提中都作謂項(xiàng)。高等教育出版社（3）第三格：中項(xiàng)在大、小前提中都作主項(xiàng)。其形式為：M——PM——SS——P高等教育出版社（3）第三格：中項(xiàng)在大、小前提中都作主項(xiàng)。高等教育出版社（4）第四格：中項(xiàng)在大前提中作謂項(xiàng)，在小前提中作主項(xiàng)。其形式為：P——MM——SS——P高等教育出版社（4）第四格：中項(xiàng)在大前提中作謂項(xiàng)，在小前提中作主項(xiàng)。高等教2.三段論的式三段論的式是指三段論中大、小前提和結(jié)論的命題形式的組合結(jié)構(gòu)式。24個(gè)有效式：第一格：AAA，AAI，AII，EAE，EAO，EIO；第二格：AEE，AEO，AOO，EAE，EAO，EIO；第三格：AAI，AII，EAO，EIO，IAI；OAO；第四格：AAI，AEE，AEO，EAO，EIO，IAI。高等教育出版社2.三段論的式高等教育出版社二、三段論的規(guī)則（一）三段論的一般規(guī)則（二）三段論各格的具體規(guī)則高等教育出版社二、三段論的規(guī)則高等教育出版社（一）三段論的一般規(guī)則1.一個(gè)三段論有且只有三個(gè)不同的項(xiàng)2.中項(xiàng)在兩前提中至少周延一次3.前提中不周延的項(xiàng)在結(jié)論中也不得周延4.從兩個(gè)否定的前提得不出必然的結(jié)論高等教育出版社（一）三段論的一般規(guī)則高等教育出版社5.如果一個(gè)前提是否定的，那么結(jié)論也是否定的；如果結(jié)論是否定的，那么必有一個(gè)前提是否定的6.兩個(gè)特稱(chēng)前提得不出必然的結(jié)論7.如果兩前提有一特稱(chēng)，則結(jié)論必為特稱(chēng)高等教育出版社5.如果一個(gè)前提是否定的，那么結(jié)論也是否定的；如果結(jié)論是否定（二）三段論各格的具體規(guī)則1.第一格的具體規(guī)則：（1）小前提必是肯定的；（2）大前提必是全稱(chēng)的。高等教育出版社（二）三段論各格的具體規(guī)則高等教育出版社2.第二格的具體規(guī)則：（1）前提中必有一個(gè)是否定的；（2）大前提必是全稱(chēng)的。

高等教育出版社2.第二格的具體規(guī)則：高等教育出版社第三格的具體規(guī)則：（1）小前提必是肯定的；（2）結(jié)論是特稱(chēng)的；（3）至少有一個(gè)前提是全稱(chēng)的。高等教育出版社第三格的具體規(guī)則：高等教育出版社4.第四格的具體規(guī)則：（1）如果前提中有一否定命題，那么大前提是全稱(chēng)的；（2）如果大前提是肯定的，那么小前提是全稱(chēng)的；（3）如果小前提為肯定的，那么結(jié)論是特稱(chēng)的；（4）前提不能是特稱(chēng)否定的；（5）結(jié)論不能是全稱(chēng)肯定的。高等教育出版社4.第四格的具體規(guī)則：高等教育出版社三、三段論在司法審判中的作用（一）“審判格”

審判格的大前提總是全稱(chēng)命題，小前提為肯定命題。（二）應(yīng)用

具有普遍適用性質(zhì)的法律規(guī)定作為大前提，把某一案件的事實(shí)作為小前提，斷定其具有大前提援引的法律條文所規(guī)定的性質(zhì)，據(jù)此推出有關(guān)該案件的法律結(jié)論。高等教育出版社三、三段論在司法審判中的作用（一）“審判格”高等教育出版社第四節(jié)謂詞邏輯自然推理一、什么是謂詞邏輯二、謂詞公式的生成高等教育出版社第四節(jié)謂詞邏輯自然推理高等教育出版社一、什么是謂詞邏輯

謂詞邏輯是現(xiàn)代形式邏輯的重要組成部分，它是通過(guò)把簡(jiǎn)單命題分析為主詞、謂詞、量詞等非命題成分，來(lái)研究簡(jiǎn)單命題的形式結(jié)構(gòu)和推理的規(guī)律與規(guī)則的邏輯理論。

高等教育出版社一、什么是謂詞邏輯高等教育出版社二、謂詞公式的生成

謂詞公式即謂詞邏輯的命題公式，是指在分析命題的個(gè)體詞、謂詞和量詞的基礎(chǔ)上，依據(jù)一定規(guī)則對(duì)命題進(jìn)行完全符號(hào)化后得到的公式。

高等教育出版社二、謂詞公式的生成高等教育出版社（一）個(gè)體詞、謂詞和量詞的分析方法1.個(gè)體詞個(gè)體詞是指簡(jiǎn)單命題中表示個(gè)體的語(yǔ)詞。2.謂詞謂詞是用來(lái)說(shuō)明個(gè)體詞的，根據(jù)謂詞所說(shuō)明的個(gè)體詞的情況，謂詞可分為一元謂詞、二元謂詞、三元謂詞等。高等教育出版社（一）個(gè)體詞、謂詞和量詞的分析方法高等教育出版社

3.量詞量詞就是刻畫(huà)簡(jiǎn)單命題中個(gè)體詞數(shù)量的語(yǔ)詞。在謂詞邏輯中只分析兩種量詞，一是全稱(chēng)量詞，即表示個(gè)體詞所指稱(chēng)對(duì)象全部的語(yǔ)詞，如“所有”、“任一”等；二是存在量詞，即表示個(gè)體詞所指稱(chēng)的某個(gè)或某些對(duì)象的語(yǔ)詞，如“有的”、“有些”、“至少有一個(gè)”等。含有全稱(chēng)量詞的簡(jiǎn)單命題稱(chēng)為全稱(chēng)命題，含有存在量詞的命題稱(chēng)為存在命題。高等教育出版社3.量詞高等教育出版社（二）謂詞公式的形成規(guī)則1.謂詞的后邊或兩邊帶有一個(gè)或多個(gè)個(gè)體詞的是原子公式，原子公式是公式；2.如果A是公式，那么┒A是公式；3.如果A和B是公式，那么A∧B、A∨B、A→B、AB是公式；4.如果A是公式，V是一個(gè)體變?cè)?，那么vA、vA是公式；5.如果A是公式，那么（A）是公式；6.只有符合以上5條規(guī)則生成的表達(dá)式才是公式。高等教育出版社（二）謂詞公式的形成規(guī)則高等教育出版社三、謂詞邏輯的自然推理方法

（一）