章六章容属阶逻辑范畴。六章讨论元谓词基础，章则讨论扩展元谓词，达二元系谓词。
章习，确系题，系题质题形式殊。确掌握效系推建形式证。“系“逻辑征。
.系题符号化
.系题及单称系题符号化
章讨论质题。质题，达某具某质，，题构素谓词符号跟符号，例：
质题。质题谓词式符号，谓词称元谓词。，质题符号式元谓词式题函项量化题式。
，元谓词适类型题：
李杜甫
排球队胜排球队
拥护选
题“李杜甫“析“李且杜甫“，显歪曲题涵义，““李杜甫属，系。达具某系题系题。
达系题二元系题。：
系题元、元、元，达、系。例：
李增王健介绍李丹
王健请李强李丹
元系题元系题。
，系题质题，简单题，达具某质，具某系。
讨论单称系题符号化。
系题简单题，质题单称题、称量化存量化题。单称题题函项换例。例，设““系““，则单称题““换例：
（）
（）庆
（）北京
题（）项““换““，““换““。题（）则“庆“换““，““换““。
达系题函项，符号置顺序非，般随改换。例，““““达完系。““换““，““换““，““题““，题。““则题““，显假题。
设““、““，“庆“、““、““、“北京“，则题（）、（）（）逻辑形式：
题函项““例示。
.量化系题符号化
量化系题量词系题函项概括。例，““示系“吸引“，则题：
吸引
符号化：
题“吸引“，符号化：
题“吸引某“，符号化：
题“某吸引“，符号化：
题完项.系题符号化复杂。首讨论组简单项系题：
（）吸引
（）吸引
（）某吸引某
（）某某吸引
符号化：
组题：
（）吸引某
（）某吸引
（）某吸引
（）某吸引
显，（）（），式（）（）值，即逻辑涵义。
.般系题符号化
述量化系题讨论，泛泛例举某具某系。，思维，泛泛论题，量题达足某件某系。例：
选举拥护选
铁制磁铁吸引
题符号化，逐步：
设““、““““示“选举“、“选““拥护“，设““、““““示“铁制“、“磁铁““吸引“。则步题符号化：
逐步深析述题量化式形式。
题构复杂，采取逐步析，步步题形式化。例，题：
讨厌某虚伪
步：
蕴涵式件“讨厌某虚伪“量化，：
设““““““示““，“虚伪““讨厌“，则述题符号化：
举例，怎运逐步深析各构系题。识式层，符号“｛｝““［］“。题符号化：
讨，罪某
首：
二节系推
系推需引推规则，基推导规则，导规则及件证规则量化规则适系讨）→罪某｝
（→讨）］→罪某）｝
→讨）］→（）（∧罪）｝
推。
，系题符号达式复杂，涉及量化题，需步深讨论量化题逻辑质，基础量化规则技术扩展，适系题构推。
.量化题逻辑质
讨论，系题般包含量词，称包含量词题量化题。量化题逻辑构简单量化题复杂，决必须深析讨论掌握逻辑质。
章介绍项约束。例，达式：
，元共，量词组，二、称量词辖域。约束。则。
凡包含元达式确假，，题题函项。题函项达式，元。，题函项排斥项约束。达式题函项：
题函项包含项，项替换项单称题必须注：
，元，元换。
例，题函项“（∧）→”确换例：
达式（∧）→，述题函项确换例。
二，元，元换。，某元换某元，必须该元换元。
，述题函项确换例：
（∧）→，错误换例。
题函项例示单称题，量化概括量化题。量化讨论，题较简单。例，“”量化题符号化（）（→），符号化（）（→）。达式运项符号差，达式逻辑值，选改题涵义。
，量化题复杂。例，题函项：
→
量化概括，量化式：
则达式（）达题：
式达题：
题函项元量化概括，甚量化顺序导涵义量化题式.笼统“题函项称（存）量化“，该区“项（）题函项称（存）量化。“
须指，题达式题函项，题项。题符号化，必须注项量词辖辑。例，题：
选举拥护选
确符号达式：
达式：
错误，式。
.扩展量化规则
元谓词讨论，曾“Φ““Ψ“示题函项，仍沿示。，ΦΨ仅仅包含元题函项，且包含元题函项。例，Φ列达式：
推涉及包含元题函项，运推规则必涉及题：题函项推演题，题推演题函项。效推指提必推论，题函项谓假。况，怎效推概念，怎保证推效？
，必须予效概念般涵义。题函项效题推演，指：题，题函项例示假。题效题函项推演指，题函项例示，题假。
讨论推规则适类似题题函项推。
.称例示规则（）
称例示规则模式：
∴Φ（符号，包括项项）。
，推形式错误：
列举例，怎运扩展规则建推效形式证。
著价值。鲁迅。，鲁迅著价值
令““示““，““示“价值“，““示““，““示“撰“。““示“鲁迅“。必须指，“某著“达“∧“。符号推形式化建效形式证：
.存概括规则
存概括规则模式：
“Φ“包含元，推形式规则确运：
“Φ“包含元，推形式仍规则确运：
.称概括规则（）
仍称概括规则达：
根据““限制，形式证效：
根据“Φ““Φ“限制，形式证错误：
“。违反规则“Φ““Φ“限制，导致证效。
规则概括“Φ“假设辖域规，章详细讨论，赘述。
.存例示规则（）
章量化推讨论，规则模式：
讨论规则强调，规则运严限制。例，求“Φ“““推，求例示““存概括。
“Φ“容元，限制必需。保证限制够确施，需规则技术。
首确论根据。确达式逻辑：
妨描述值式言式。（）式，题。题，假。题，根据蕴涵式逻辑质，值式式，假。需，假，值式左推演右，且右推演左，即左右式另假。式逻辑值。
整证程示：
式整，扩展存例示规则模式：
符号，Φ及根据限制，形式证错误：
形式证错误：
证错误（），（）（““），离辖域，违反规则限制。
举例规则确运。
例“讨厌。，讨厌。“
设“：“，“：讨厌“。推符号化建推效形式证：
例“拥护选。，选拥护。“
设“：“，“：选“，“：拥护“。推符号化建推效形式证：
述形式证需。，推论称题，题函项蕴涵式。证（）引蕴涵式件““附提，（）运““提蕴涵式件消附提。味题逻辑，根据证需随引附提。
二，假设辖域符号““““。““运存例示规则例示符号，““称例示符号。根据规则规，存例示符号““离辖域，称例示““约束。““离辖域，（）““称概括效，违反规则概括符号限制。
，运扩展量化规则，必须确遵守各规则规。
节系质
.系质
系质，讨论思维，且讨论仅限二元系。
.称系、反称系非称系
具称系系：系，则系，则称称系。即：称系，且仅：
例，“妻“、“乡“、“似“称系。
反称系系，系，则系，反称系。即：反称系，且仅
例，“……“，““，“……“反称系。
非系称，反称。存既非称非反称。例，“喜欢“系。甲喜欢乙，则乙喜欢甲，喜欢甲。系称非称系。即：非称，且仅
.传递系、反传递系非传递系
传递系系，系，且系，则系，系传递系。即：传递系，且仅
例，“早“，“……“，“干“传递系。
反传递系系，系，且系，则系，系反传递系。即：反传递系，且仅
例，“……“，“……二“反传递系。
存既非传递，非反传递系，即：非传递系，且仅
例，“胜“、“喜欢“、““。称系非传递系。
.返系、反返系非返系
返系系，系，则返系。即：返系，且仅
例，““、““返系。
反返系具系。即：反返系，且仅
例干，“干“，““反返系。
既非返，非反返系非返系。即：非返系，且仅
例，“尊敬“、“批评“非返系。
.系质系推
二元系角析具质。例，““系反称、传递、反返系；“……“反称、反传递、反返系；““则既称、传递，且返系。
系质具殊逻辑联系。例，反称系反返系，即反称推反返。联系证。根据反称系反返系各义符号化，建形式证：
系各质究竟具联系，题讨论系质希决。讨论系质，系推质挥。系推，质隐涵提包含推，，仅仅运讨论推规则建推效形式证。隐涵提补充，建确形式证。例：
王健李强。李强锋。，王健锋
设““““，则述推效形式证
证（）引附提描述系“……“具传递质。附提，证提效推论。
况，需补充提仅系质，件。例：
“猩猩聪。殊训练猩猩算术。，算术。“
设““示““，““示“猩猩“，““示“殊训练“，““示“算术“，““示“聪“。该推效形式证：
证（）引附提，该提达思，，，聪，且算术，算术。显，该推必件，隐涵推提，确补充，形式证建。
节词逻辑
.词推
词推包含系推。
系思维广泛。例，列题：
北京华共首
珠穆朗玛峰峰
题，项谓项指称，词项系系。
符号“＝“示系，词项系示“＝“。词项具系，且仅指称。显，根据词项延讨论系。
怎词项指称，具系？莱布尼茨著“辩“则较标准。则容述：
＝，且仅具属具，且具属具。
根据则，系推规则，称规则““规则：
除述推规则，，系显称、传递、返。即：
根据系质，运述推规则，包含系推建效形式证。例：
鲁迅。鲁迅周树。周树绍兴。，绍兴
““示““，““示“绍兴“，““““示“鲁迅““周树“。述推形式证：
包含推例：
罪犯百案。参晚舞案。谁参晚舞。舞李某。，李某罪犯
设““““示“罪犯““李某“；““、““、““示““，“案“，“参舞“；““示““，则述推形式证：
.系题符号化
系建推效形式证，且题符号化。题，运系确描述题逻辑涵义。
例，题：
王健班跑
咋题普，涵义似乎：
（）王健，且班跑
设““示“班“，““示“跑“。（）符号化：
（）确描述题逻辑含义。容易证，述达式必推““。证：
仔细析题，涵义：
（）王健，且班跑
达式（）““显指除王健。（）（）照，（）““概念，确描述题逻辑涵义。根据（），题确符号化：
王健李强跑
题：
王健李强跑
则需符号化：
包含““、““题，符号化需运系。例，题：
议额
题““达““涵义，““，即排除。，该题确符号达式：
推举二
则符号化：
““概念则需系描述。例，““符号化：
题：
符号化则需运系：
““““达式合，达含限值题。例：
班
班
、系题？系题质题形式区？
二、析量化推规则释。
、返系、反返系非反系？
、称系、反称系非称系？
五、传递系、反传递系非传递系？
六、析“系“逻辑征。
、符号列语句符号化：
.尊尊敬。（：；：尊）
.某，件。（：；：；：）
.店买香糖。（：；：店；：香糖；：买）
.商店售童玩具。（：商店；：售；：童玩具）
.谎，谁。（：；：谎；：；：。）
.题，哪题。（：：题；：。）
.虎猫怕。（：虎；：猫；：怕。）
.切辩护傻辩护。（：；：傻；：；：辩护。）
二、设：选；：选；，；拥护。运符号列语句符号化。
.选拥护选.
.选拥护选。
.选拥护选。
.选选拥护.
.选拥护。
.选选拥护。
.选拥护选.
、列题符号化。
.必某。
.存完。
.王丹喜欢跳舞，且喜欢跳舞。
.桌。
、建列推效形式证：
五、建列推效形式证：
.。，。（：；：；：：）
.逻辑验论喜欢黑哲。逻辑验论喜欢证义观。确逻辑验论。，证义观属黑哲。（：逻辑验论；：属黑哲；：喜欢；：属证义观）
.李李，李李。，李喜欢，喜欢李。（：李；：李；李；：，：喜欢）
.班跑。，班另超。（：；：班；：跑）