對命題邏輯的相關(guān)概念進行量化處理,是命題邏輯研究的一種新方法,是一種有別于語構(gòu)與語義的研究方法,是研究命題集結(jié)構(gòu)的一個有力工具。通過運用向量間的Jaccard相似系數(shù),在經(jīng)典邏輯系統(tǒng)L中給出了公式間的Jaccard相似度、Jaccard距離等概念,給出了計量邏輯學(xué)中公式真度的Jaccard相似度表示形式,建立了一種新的量化模型。討論了由Jaccard距離導(dǎo)出的邏輯度量空間(F(S),ρ_J)的一些性質(zhì)。得到結(jié)論:矛盾式是邏輯度量空間(F(S),ρ_J)中唯一的孤立點;邏輯度量空間(F(S),ρ_J)中的非空開球是不相容理論。

【文章頁數(shù)】：6 頁

【文章目錄】：
1 引言
2 公式間的Jaccard距離
3 Jaccard距離在刻畫公式集結(jié)構(gòu)中的應(yīng)用
4 結(jié)束語



本文編號：3864318