一阶逻辑推理系统F下量词的性质及运算规律
일계라집추리계통F하량사적성질급운산규률
Character and Operation Rule of the Classifier in First Logic Reasoning System F
  • 万方数据
    河北大学学报（自然科学版） 하북대학학보（자연과학판）
    JOURNAL OF HEBEI UNIVERSITY(NATURAL SCIENCE EDITION)
    2008年 1期 18-21 ,共4页

    孟令江

    맹령강

    蕴涵式%解释%逻辑等价%量词 蘊涵式%解釋%邏輯等價%量詞
    온함식%해석%라집등개%량사
    量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.
    량사재일계라집추리중기착중요작용,연이타적성질급운산규률비교번잡,관우타적일사등치식화온함식불능상재명제라집중나양용진치표래험증,본문장급출일계렬적론증.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문