implication connective 中文意思是什麼
implication connective
解釋
蘊涵連接- implication : n. 1. 牽連，牽涉，糾纏。2. 含蓄，含意，言外之意。3. 【數學】蘊涵，蘊含。4. 本質，實質。5. 〈常 pl. 〉推斷，結論。
- connective : adj. 連接的。n. 1. 連接物。2. 【語法】連接語，連詞。3. 【植物；植物學】藥隔；【動物；動物學】連索。adv. -ly
-
Difference from other algebraic structures which are introduced for some logic system, implication algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator. the main results of this paper is given as the following : 1
特別值得提出的是，與其它為研究邏輯系統而引入的代數結構不同，蘊涵代數是對一個邏輯聯結詞，即蘊涵運算元（蘊涵邏輯聯結詞）抽象而得到的，其它運算元均是由蘊涵運算元誘導而得到。
分享友人