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