用謂詞演算式刻畫“數(shù)學分析”中的幾個基本概念
2010-12-31 00:00:00韓光輝
數(shù)學學習與研究 2010年17期
【摘要】本文結(jié)合命題聯(lián)結(jié)詞及謂詞和量詞，將“數(shù)學分析”中的基本概念：“極限”“連續(xù)”“一致收斂”，用謂詞演算式來刻畫，進一步將其寫成邏輯等價的斯柯林范式。
【關(guān)鍵詞】謂詞；量詞；斯柯林范式
【摘要】本文結(jié)合命題聯(lián)結(jié)詞及謂詞和量詞，將“數(shù)學分析”中的基本概念：“極限”“連續(xù)”“一致收斂”，用謂詞演算式來刻畫，進一步將其寫成邏輯等價的斯柯林范式。
【關(guān)鍵詞】謂詞；量詞；斯柯林范式
