有效推理亦稱“正確(符合推理規則的)推理”。運用有效的推理形式所進行的推理。亦即是前提蘊涵著結論的推理。一個有效的推理,其前提真而結論假是不可能的。如三段論第一格的AAA式,是一個有效的推理形式。運用這一有效的推理形式所進行的推理,就是有效推理。
有效推理亦稱“正確(符合推理規則的)推理”。運用有效的推理形式所進行的推理。亦即是前提蘊涵著結論的推理。一個有效的推理,其前提真而結論假是不可能的。如三段論第一格的AAA式,是一個有效的推理形式。運用這一有效的推理形式所進行的推理,就是有效推理。
有效的推理形式(effective form of inference)亦稱“正確的(符合推理規則的)推理形式”。與“非有效的推理形式”相對。指的是一個推理形式“A1···An,...
有效推理亦稱“正確(符合推理規則的)推理”。運用有效的推理形式所進行的推理。亦即是前提蘊涵著結論的推理。一個有效的推理,其前提真而結論假是不可能的。如...
非有效推理是運用非有效推理形式所進行的推理。亦即前提並不必然蘊涵著結論的推理。一個非有效的推理其前提真而結論假並非是不可能的。...
非有效的推理形式(non-effective form of infer-ence)與“有效的推理形式”相對。一個具體推理的推理形式如果是非有效的.那么該推理就是非有效的推理。非有效的...
三段論推理是演繹推理中的一種簡單推理判斷。他包括:一個包含大項和中項的命題(大前提)、一個包含小項和中項的命題(小前提)以及一個包含小項和大項的命題(...
亦稱“從屬判斷推理”、“差等關係推理”。根據直言判斷邏輯方陣中的差等關係而進行推演的一種直接推理。包括:(1)由全稱判斷的真,推出特稱判斷的真。即“SAP。...
推理,邏輯學指思維的基本形式之一,是由一個或幾個已知的判斷(前提)推出新判斷(結論)的過程,有直接推理、間接推理等。(《現代漢語詞典第6版》第1323頁)...
傳遞關係推理( transitive relation inference)間接關係推理的一種。根據關係命題所反映的諸對象之間的傳遞關係而進行推演的關係推理。如果以“R”表示傳遞關係,則傳遞...
反對關係推理是根據直言命題邏輯方陣中的反對關係而進行推演的直接推理。由邏輯方陣中的對當關係可知:全稱肯定命題( SAP)和全稱否定命題(SEP)是一對具有反對關係的...
下反對關係推理是根據直言命題邏輯方陣中的下反對關係而進行推演的直接推理。由邏輯方陣中的對當關係可知:特稱肯定命題( SIP)和特稱否定命題(SOP)是一對具有下...
矛盾關係推理是根據直言命題邏輯方陣中的矛盾關係而進行推演的直接推理。由邏輯方陣中的對當關係可知:全稱肯定命題( SAP)和特稱否定命題(SOP)、全稱否定命題( SEP)...
實踐推理是一種直接針對某一特定目標的推理。其依據在於對當事者情況的了解以及知道某種行動是達到該目標的途徑。它的結論就是命令特定當事者實現行動進程。這一...
推理是由若干命題得出一個命題的思維過程。①能提供100%證據支持度的推理稱為必然性推理,只能提供某種小於100%證據支持度的推理稱為或然性推理。一般地,演繹推理是...
等值推理是根據命題間的等值關係而由一個命題推出另一個命題的推理。如,根據直言命題(性質命題)的對當關係,A型命題與o型命題之間具有矛盾關係,A真則o假,A假則o...
---由果及因,一葉落而知天下秋 回溯推理法又稱為溯源推因法,有廣義和狹義兩種理解。廣義的是根據事物發展過程所造成的結果。推斷形成結果的一系列原因的...
語義推理(semantic inference)指的是依據詞項之間的語義關係而進行的推理。例如,從“李四是上海人”可推出”有人是上海人”和“李四是中國人”等。這種推理不同於...
《箱庭推理》(箱庭ロジック)是日本遊戲開發商Cabbit於2014年10月31日發行的探索神秘的ADV作品。...
範例推理CBR是由目標範例的提示而得到歷史記憶中的源範例,並由源範例來指導目標範例求解的一種策略。它是一種重要的機器學習方法。它是指借用舊的事例或經驗來解決...
判斷推理是公務員考試中行測的一類題型。判斷思維能力是人的思維能力的核心部分,其涵義是指人們根據一定的先知條件,通過自己擁有的知識、思維進行判定、推斷,對事物...
完全歸納推理,又稱“完全歸納法”,它是以某類中每一對象(或子類)都具有或不具有某一屬性為前提,推出以該類對象全部具有或不具有該屬性為結論的歸納推理。...
對稱關係推理是直接關係推理的一種。根據關係命題所反映的對象之間的對稱關係而進行推演的關係推理。...
充分條件假言推理法指的是以充分條件假言判斷為前提,根據充分條件假言判斷的邏輯性質進行推演的一種邏輯方法。運用這種方法推理時應遵守兩條規則:①肯定前件就必推出...
混合關係推理(mixed relational inference)又稱關係三段論、混合關係三段論,是關係推理的一種,指由關係判斷和性質判斷作前提構成的關係推理。它有兩個前提和一個結論,...