1.概念模糊 - 【名不达类】 “名不达类”从墨学角度理解，“名”是概念，“达类”可表示准确地达到对类别的清晰界定和反映。概念模糊意味着概念无法准确地归类和反映事物的本质特征，符合逻辑误区中概念不清晰的特点。 2.不懂集合概念 - 【体兼混名】 在墨学中，“体”可表示个体，“兼”表示整体或集合。“体兼混名”能够体现出对集合概念和个体概念的混淆，与不懂集合概念的逻辑错误相契合。 3.类比推理生拉硬拽 - 【辟类不当】 “辟”

这是什么意思呀

看图

全称命题和特称命题有否命题吗（注意是否命题，不是命题的否定），如果有该怎么把全称命题和特称命题改为对应的否命题呢？

个体域：整个键盘上的按键 A：按下按键 B：开机 公式1：彐x（A（x）→B） 翻译成自然语言：存在至少一个按键，按下它就会导致开机 公式2：∀xA(x)→B 翻译成自然语言：按下所有按键，会开机。 两个公式是等价的没问题吧？两句话怎么看都不是一个意思！到底是哪里出问题了？

推荐一本谓词逻辑得书谢谢

人类历史上，逻辑学的第一本教材。

【二元量化八式】： 1.∀x∀yR(x,y) ：对于任意一组x和y，它们满足关系R； 2.∀y∀xR(x, y)：对于任意一组y和x，它们满足关系R； 3.∀x∃yR(x,y)：对于任意x，存在y满足关系R； 4.∃y∀xR(x,y)：存在y ，对于所有 x 满足关系R； 5.∃x∀yR(x,y)：存在x ，对于所有y 满足关系R； 6.∀y∃xR(x,y)：对于任意y，存在x满足关系R； 7.∃x∃yR(x,y)：存在一组x和y，它们满足关系R； 8.∃y∃xR(x, y)：存在一组y和x，它们满足关系R。 量词顺序变换等值式： (1). ∀x∀yR(x, y) ⇔ ∀y∀xR(x,

请问概念间的外延关系中的传递性是什么意思，同一道题有很多个不同答案。。。

一。四个命题的形式： 原命题：若甲、则乙。 逆命题：若乙、则甲。 否命题：若非甲、则非乙。 逆否命题：若非乙、则非甲。 二。在真值上，四个命题间的关系。 原命题与逆否命题等值。逆命题与否命题等值。 原命题与逆命题之间，逆否命题与否命题之间，没有关系。 三。原子命题与复合命题： 甲，乙，它们是原子命题，或者真或者甲。 而上述四个命题，都是复合命题。依据原子命题的真值，可以求出复合命题的真值。 四。否定的辨析： 【否

①如果x是哺乳动物 ，那么x有尾巴。 ②如果英国队赢了这场比赛，那么英国队会进入决赛。

书上的太绕了，有没有简单一点的方法、可以一下子就判断出来的

四个直言命题，共有四个文恩图，。 第一格的六个直言三段论，其中四个有效式，二个无效式；共六个文恩图。

全中国最大的论坛，竟然没有一篇能让小白看得懂的文恩图帖子，我要补这个空缺。 学会了文恩图，就可以跳过五规则法，对直言三段论的有效性进行判定。

2013年1月--2014年9月，许多网友跟进，约有200跟帖。 附性推理、重叠量词、形式证明、一阶逻辑、摹状词 http://tieba.baidu.com/p/2090485980?pid=28213926023&cid=5785

哥德尔完备性定理，形象比喻，通俗解释，严格证明。 哥德尔不完备性定理，等等。

量词运算规则，（及类似的名称：量词演算，量词增减，量化规则，量词逻辑，数理逻辑）。 量词的定义、翻译，参见量词帖。http://tieba.baidu.com/p/2032711973

希望大家能从谓词、集he与事jian三者定义，以及各自范围内的关系和运算进行比较。。。 现在忙，以后我再整理

证明：∀x（Ax→Bx）→(∀xAx→∀xBx)。 ----------- *1.∀x（Ax→Bx）, *2.Ay→By, **3.∀xAx, **4.Ay, **5.By, **6.∀xBx, *7.∀xAx→∀xBx, 8.∀x（Ax→Bx）→(∀xAx→∀xBx). _________ 条件证明规则[CP]里， 引入假说时右侧退一格， 消除假说时左侧进一格。 此法极其简洁优美， 不知是谁的发明？ 间接证明规则[IP]类似，也使用进退格。

RT

汇总各类幽默主题。

汇总因果联系与因果五法相关主题。

汇总数理逻辑各类形式推导、证明题。

汇总联言命题的逻辑性质、真值分析、语言表达等相关主题。

汇总高等教育与大学发展理念等相关主题！

包括省略三段论，复合三段论（亚里士多德式连琐三段论，哥克兰尼式连琐三段论、带证式三段论等等）相关主题汇总。

汇总直接推理的相关主题，包括换质法、换位法、换质位法、戾换法、附性法等相关推理的规则与实例。

汇总同一律要求、内容与违规表现等相关主题。

汇总有关真与真理的理论分析，真的符合论、语义论、融贯论、实用论、冗余论等理论的相关讨论。

除汉语以外的相关语言主题汇总，各国语言的特点与分析比较等。

汇总限制与概括相关内容与实例分析。

汇总概念相关的逻辑理论，“概念”定义、内涵外延、概念类型、概念外延间的关系、定义与划分、限制与概括等主题。

汇总金岳霖的生平、轶事、学术思想及其相关研究。

汇总国外逻辑学人的生平、主要观点、论著介绍等等。

性质命题/判断的结构、类型、基本特征，对当方阵，性质命题中项的周延性，准确使用性质命题等相关主题。

汇总三段论相关主题，标准形式三段论的构成、三段论的基本术语、三段论的基本规则/导出规则，三段论的格与式分析、非标准形式的三段论（省略三段论、

见证逻辑学吧成长经历。

中国逻辑思想研究，中国传统思维与西方思维比较，传统思维方式等等相关主题。

逻辑哲学研究，逻辑与哲学的关系，逻辑研究过程中存在的哲学问题、真与真理、悖论研究、语词与对象，命题与事态，推理与人类知识、逻辑一元论与多元论

逻辑名著目录、名著介绍、相关参考书目，新书评介，书评讨论等相关主题

现代逻辑、数理逻辑、符号逻辑相关主题汇总

辩证逻辑发展的历史，辩证逻辑基本原理，关于辩证逻辑的相关主题等等。

各类形式谬误与非形式谬误的具体表现、理论探讨，辩谬实例等等相关主题。

现代逻辑是符号逻辑， 符号化、形式化反映了逻辑向现代化发展的历史轨迹。

印度逻辑思想史，正理逻辑、佛教因明、耆那教逻辑等思想发展，三支论式、五支论式、七支论式等相关主题讨论。

各类逻辑测试题，包括逻辑选择题、逻辑分析题、逻辑思考题，益智题等等及相关答案。

逻辑悖论、语义悖论， 悖论分类、形成、构成及其解决等相关主题

逻辑题有汇总，那么，逻辑学相关的理论文写做个汇总吧。 积少成多，便于资料查索。