逻辑学研究
邏輯學研究
라집학연구
Supplement to the Journal of Sun Yatsen University
2008年
2期
66~79
,共null页
多值逻辑 有限全序 保真性 真的程度 皮尔斯律
多值邏輯 有限全序 保真性 真的程度 皮爾斯律
다치라집 유한전서 보진성 진적정도 피이사률
本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的＂保真性＂给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序。
本文將二值邏輯中刻畫實質蘊涵的保真性推廣至有限全序中,用這推廣的＂保真性＂給齣蘊涵在有限全序中的語義條件,從而給齣瞭完整的有限全序語義;建立瞭刻畫有限全序的邏輯繫統FO,證明FO的可靠性、完全性和可判定性;提齣瞭廣義的皮爾斯律,證明其能區分不同基數的有限全序;給齣瞭FO的擴充繫統FOn,證明瞭FOn刻畫瞭n箇元素的全序。
본문장이치라집중각화실질온함적보진성추엄지유한전서중,용저추엄적＂보진성＂급출온함재유한전서중적어의조건,종이급출료완정적유한전서어의;건립료각화유한전서적라집계통FO,증명FO적가고성、완전성화가판정성;제출료엄의적피이사률,증명기능구분불동기수적유한전서;급출료FO적확충계통FOn,증명료FOn각화료n개원소적전서。
