定義蘊涵（definitional implication）根據定義用條件句表達前後件聯繫的一種蘊涵。在“如果p，那么q”中，後件是根據定義而從前件中得出的。如：“如果張三是單身漢，那么他是沒有妻子的。”“如果4能被2整除，那么4是偶數。”
定義蘊涵(definitional implication)根據定義用條件句表達前後件聯繫的一種蘊涵。在“如果p,那么q”中,後件是根據定義而從前件中得出的。如:“如果張三是單身漢,...
蘊涵,漢語辭彙。① 裡邊含有,包含。②判斷中前後兩個命題間存在的某一種條件關係叫蘊涵,表現形式是“如果...則...”。例如“如果溫度增高則寒暑表的水銀柱上升...
第奧多魯蘊涵是古希臘第奧多魯關於條件命題邏輯值的定義。意為:條件命題是真的,若且唯若在任何時刻都沒有出現前件真而後件假的情況。與費羅蘊涵不同的是,第奧多魯...
語境蘊涵亦稱“聯結蘊涵”。古希臘克里西普斯條件命題邏輯值的定義。認為,完整的條件句須是邏輯地真的,即後件的否定與前件不相容。意為:命題p和命題q有某種必然...
數學邏輯中一種命題連線詞。用符號“→”或者“⊃”表示。如A→B(或A⊃B)即A和B的蘊涵式,讀作“A蘊涵B”(或“如果A則B”),其真假關係是:A真和B假...
嚴格蘊涵(strict implication)是蘊涵的一種,用於模態邏輯。它最初由英國邏輯學家麥柯爾(H.MacColl)提出,美國哲學家、邏輯學家劉易斯劉易斯(C.I.Lewis)在創立現代...
數理邏輯謂詞演算中帶有量調的命題函項之間的一種蘊涵關係,即,若對所有互而言,如果X是P,就稱Px形式蘊涵QX。用公式表示為:VX(PX一>QX)。 ...
費羅蘊涵是古希臘費羅關於條件命題邏輯值的定義。意為:一個條件命題是真的,只要不是前件真、後件假;亦即“如果p那么q”真,若且唯若不是p真q假。...
因果蘊涵是用條件句表達因果聯繫的一種蘊涵。在“如果p,那么q”中,其前件和後件之間所表達的僅僅是一種原因和結果之間聯繫的蘊涵。...
《辭彙的文化蘊涵》是2005年8月由 上海三聯書店出版的圖書,作者是周一農。本書用幽默輕鬆的話語來說解一些深刻的道理,而在夾敘夾議中透露出哲理的思考。...
檢驗蘊涵是從理論命題演繹出的可供經驗檢驗的單稱命題。 經驗命題多是單稱命題和全稱命題兩類。單稱命題是涉及特定的對象、事物或事件的命題。單稱命題可以直接與...
決心蘊涵是用條件句表達在某種情況下的某種確信或決心的一種蘊涵。在“如果p,那么q”中,前件表達假設出現的某種情況,後件表示某種確信或將按某種方式行動的決心。...
反事實蘊涵是在反事實條件句邏輯的研究中,用於刻畫反事實條件句前、後件之間的邏輯關係的二元聯結詞。...
在數理邏輯中,蘊涵命題演算是只使用叫做蘊涵或條件的一個連結詞的經典(二值)命題演算。用公式表達,這個二元運算被指示為“implies” “如果 ..., 則 ...”, ...
蘊涵怪論亦稱“蘊涵悖論”。現代形式邏輯用語。指一類與人們的直觀不相符合的含有蘊涵符號的邏輯定理。對於這些用形式語言表示的邏輯定理,當人們對其作出解釋,並把...
在邏輯中,蘊涵(imply)是用在更弱的定義下。說複合命題 A=>B 為真可簡單地斷言:若A為真,那么B也為真。換句話說,A→B 只是說不會同時有A真與B假,而不...
蘊涵規則(implication或entailment)在命題邏輯和謂詞邏輯中用來描述在兩個句子或句子的集合之間的聯繫。...