量詞指導變元(operating variables of a quanti-fier)亦稱量詞作用變元一種變元，指受量詞作用的變元。
例如，在量詞歸x)和(h/ x)中二為指導變元.
量詞指導變元(operating variables of a quanti-fier)亦稱量詞作用變元一種變元，指受量詞作用的變元。
量詞指導變元(operating variables of a quanti-fier)亦稱量詞作用變元一種變元,指受量詞作用的變元。...
在謂詞公式∀x(A)或∃x(A)中,稱A為相應量詞的作用域或轄域,量詞中的x稱為指導變元或作用變元,轄域中的x稱為約束變元(簡稱約束元),其餘的變元稱為自由...
h變元與轄域,在謂詞公式"xA和$xA中,x是指導變元,A是相應量詞的轄域. 在"x和$x的轄域A中,x的所有出現都是約束出現,即x是約束變元,不是約束出現的變元,...
之後的x稱為量詞的指導變元或作用變元,α(x)稱為相應量詞的作用域,在作用域中x的一切出現均稱為約束出現,在α中除了約束出現外的一切出現均稱為自由出現。 [...
亦稱一階謂詞邏輯或一階邏輯一種基本的謂詞邏輯.,該邏輯的特點是在其中除命題聯結詞外,所討論的函詞和謂詞都只以個體為變元,而量詞的指導變元也只是個體一階...
廣義謂詞邏輯(generalized predicate calculus ) 亦稱高階邏輯.謂詞邏輯的推廣.指量詞的指導變元不僅可以是個體變元,而且也可以為命題變元、謂詞變元或函詞變元的...