大家好，欢迎来到IT知识分享网。
- Logic [ˈlɒdʒɪk] 逻辑学
- Reasoning [ˈriːzənɪŋ] 推理
- Proposition [ˌprɒpəˈzɪʃən] 命题
- Argument [ˈɑːɡjumənt] 论证
- Inference [ˈɪnfərəns] 推断
- Deductive [dɪˈdʌktɪv] 演绎的
- Inductive [ɪnˈdʌktɪv] 归纳的
- Fallacy [ˈfæləsi] 谬误
- Validity [vəˈlɪdəti] 有效性
- Soundness [ˈsaʊndnəs] 严谨性
- Truth [truːθ] 真理
- Falsehood [ˈfɔːlsˌhʊd] 谬误
- Propositional logic [ˌprɒpəˈzɪʃənəl ˈlɒdʒɪk] 命题逻辑
- Predicate logic [ˈprɛdɪkət ˈlɒdʒɪk] 谓词逻辑
- Formal logic [ˈfɔːrməl ˈlɒdʒɪk] 形式逻辑
- Informal logic [ɪnˈfɔːrməl ˈlɒdʒɪk] 非形式逻辑
- Symbol [ˈsɪmbəl] 符号
- Connective [kəˈnɛktɪv] 连词
- Negation [nɪˈɡeɪʃən] 否定
- Conjunction [kənˈdʒʌŋkʃən] 合取
- Disjunction [dɪsˈdʒʌŋkʃən] 析取
- Implication [ˌɪmplɪˈkeɪʃən] 蕴涵
- Equivalence [ɪˈkwɪvələns] 等价
- Tautology [tɔːˈtɒlədʒi] 重言式
- Contradiction [ˌkɒntrəˈdɪkʃən] 矛盾
- Contingency [kənˈtɪndʒənsi] 可能性
- Syllogism [ˈsɪləˌdʒɪzəm] 三段论
- Premise [ˈprɛmɪs] 前提
- Conclusion [kənˈkluːʒən] 结论
- Valid [ˈvælɪd] 有效的
- Invalid [ɪnˈvælɪd] 无效的
- Sound [saʊnd] 严谨的
- Unsound [ʌnˈsaʊnd] 不严谨的
- Modus ponens [ˈmoʊdəs ˈpoʊnɛnz] 归结法
- Modus tollens [ˈmoʊdəs ˈtɒlɛnz] 反驳法
- Hypothetical syllogism [ˌhaɪpəˈθɛtɪkəl ˈsɪləˌdʒɪzəm] 假设三段论
- Disjunctive syllogism [dɪsˈdʒʌŋktɪv ˈsɪləˌdʒɪzəm] 析取三段论
- Fallacy of affirming the consequent [ˈfæləsi əv əˈfɜrmɪŋ ðə ˈkɒnsɪkwənt] 逆向谬误
- Fallacy of denying the antecedent [ˈfæləsi əv dɪˈnaɪɪŋ ðiː ˌæntɪˈsiːdənt] 否定前件谬误
- Categorical proposition [ˌkætəˈɡɔːrɪkəl ˌprɒpəˈzɪʃən] 范畴命题
- Universal affirmative [ˌjuːnɪˈvɜːrsəl əˈfɜrmətɪv] 全称肯定命题
- Universal negative [ˌjuːnɪˈvɜːrsəl ˈnɛɡətɪv] 全称否定命题
- Square of opposition [skwɛr əv əˈpɒzɪʃən] 对立方
- Contradictory [ˌkɒntrəˈdɪktəri] 矛盾的
- Contrary [ˈkɒntrəri] 对立的
- Subcontrary [sʌbˈkɒntrəri] 互补的
- Subalternation [ˌsʌbɔːlnˈeɪʃən] 从属关系
- Venn diagram [vɛn ˈdaɪəˌɡræm] 文氏图
- Truth table [truːθ ˈteɪbəl] 真值表
- Propositional calculus [ˌprɒpəˈzɪʃənəl ˈkælkjələs] 命题演算
- Predicate calculus [ˈprɛdɪkət ˈkælkjələs] 谓词演算
- First-order logic [fɜːrst ˈɔːrdər ˈlɒdʒɪk] 一阶逻辑
- Second-order logic [ˈsɛkənd ˈɔːrdər ˈlɒdʒɪk] 二阶逻辑
- Higher-order logic [ˈhaɪər ˈɔːrdər ˈlɒdʒɪk] 高阶逻辑
- Metalogic [ˈmɛtəˌlɒdʒɪk] 元逻辑
- Modal logic [ˈmoʊdəl ˈlɒdʒɪk] 情态逻辑
- Temporal logic [ˈtɛmpərəl ˈlɒdʒɪk] 时态逻辑
- Epistemic logic [ˌɛpɪˈstiːmɪk ˈlɒdʒɪk] 认知逻辑
- Deontic logic [diˈɒntɪk ˈlɒdʒɪk] 义务逻辑
- Paraconsistent logic [ˌpærəkənˈsɪstənt ˈlɒdʒɪk] 矛盾逻辑
- Intuitionistic logic [ˌɪntjuːɪˈʃənɪstɪk ˈlɒdʒɪk] 直觉逻辑
- Fuzzy logic [ˈfʌzi ˈlɒdʒɪk] 模糊逻辑
- Boolean algebra [ˈbuːliən ˈælʤɪbrə] 布尔代数
- Axiom [ˈæksiəm] 公理
- Theorem [ˈθiərəm] 定理
- Proof [pruːf] 证明
- Formal system [ˈfɔːrməl ˈsɪstəm] 形式系统
- Law of excluded middle [lɔː əv ɪkˈskluːdɪd ˈmɪdəl] 排中律
- Law of noncontradiction [lɔː əv ˌnɒnkɒntrəˈdɪkʃən] 非矛盾律
- Law of identity [lɔː əv aɪˈdɛntɪti] 同一律
- Law of double negation [lɔː əv ˈdʌbəl nɪˈɡeɪʃən] 双重否定律
- Law of contraposition [lɔː əv ˌkɒntrəpəˈzɪʃən] 对偶律
- Law of simplification [lɔː əv ˌsɪmplɪfɪˈkeɪʃən] 化简律
- Law of conjunction [lɔː əv kənˈdʒʌŋkʃən] 合取律
- Law of disjunction [lɔː əv dɪsˈdʒʌŋkʃən] 析取律
- Law of implication [lɔː əv ˌɪmplɪˈkeɪʃən] 蕴涵律
- Law of equivalence [lɔː əv ɪˈkwɪvələns] 等价律
- Law of distribution [lɔː əv ˌdɪstrɪˈbjuːʃən] 分配律
- Law of De Morgan [lɔː əv diː ˈmɔːrɡən] 德摩根律
- Law of absorption [lɔː əv æbˈsɔːrpʃən] 吸收律
- Law of transposition [lɔː əv ˌtrænspəˈzɪʃən] 转置律
- Law of biconditional [lɔː əv ˌbaɪkənˈdɪʃənəl] 双条件律
- Law of contrapositive [lɔː əv ˌkɒntrəˈpɒzɪtɪv] 反命题律
- Law of contraries [lɔː əv ˈkɒntrəriz] 对立律
- Law of subcontraries [lɔː əv sʌbˈkɒntrəriz] 互补律
- Law of subalternation [lɔː əv sʌbˌɔːlnˈeɪʃən] 从属律
- Law of syllogism [lɔː əv ˈsɪləˌdʒɪzəm] 三段论律
- Law of detachment [lɔː əv dɪˈtæʧmənt] 分离律
- Law of modus ponens [lɔː əv ˈmoʊdəs ˈpoʊnɛnz] 归结律
- Law of modus tollens [lɔː əv ˈmoʊdəs ˈtɒlɛnz] 反驳律
- Law of hypothetical syllogism [lɔː əv ˌhaɪpəˈθɛtɪkəl ˈsɪləˌdʒɪzəm] 假设三段论律
- Law of disjunctive syllogism [lɔː əv dɪsˈdʒʌŋktɪv ˈsɪləˌdʒɪzəm] 析取三段论律
- Law of transitivity [lɔː əv ˌtrænsɪˈtɪvəti] 传递律
- Law of reflexivity [lɔː əv ˌrɛflɛkˈsɪvəti] 自反律
思维导图
免责声明：本站所有文章内容,图片，视频等均是来源于用户投稿和互联网及文摘转载整编而成，不代表本站观点，不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益，请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权，请联系删除，如若转载，请注明出处：https://yundeesoft.com/163481.html
