形式逻辑心得

反对关系：
我理解的反对关系就是“两个所有”与“两个有的”。
所有的 A 都是 B 与 所有的 A 都不是 B 称之为
有的 A 是 B
与 有的 A 不是 B
称之为
上反对 上反对
包容关系： 我理解的包容关系就是大的范围包含小的范围，知道大的范围的真假了，小的范围肯定是和 大的相同。
所有的 A 都是 B 包容了 所有的 A 都不是 B 包容了
矛盾关系： 我理解的矛盾关系就是这个是真那么另一个必定是假，这个假另一个必定真。这个关系真假 话常用，一会而详谈。 所有的 A 都是 B 与 有的 A 不是 B 矛盾 所有的 A 都是 B 与 这个 A 不是 B 矛盾 所有的 A 都不是 B 与 有的 A 是 B 矛盾 所有的 A 都不是 B 与 这个 A 是 B 矛盾
第二种。六句话真假对应的推理关系。 例子： 培光街道所有的保姆都未办暂住证。 如果上述断定为真，则以下哪项能确定为真？ 1、培光街道有保姆未办暂住证。 2、培光街道所有保姆都办了暂住证。 3、培光街道有保姆办了暂住证。 4、培光街道的保姆小沈阳办了暂住证。
这样的题型就是给出你一句话，告诉你这句话是真的或是假的，然后开始让你推，推哪些为 真，哪些为假，哪些真假不定。这个只要熟记六句话的真假关系就行了，马上会谈到。
当然还有下面两句： 这个日本人是亚洲人 这个日本人不是亚洲人
我认为上面四句话是根本，下面两句考察相对较少。学习之初不理解为什么就这六句话就能 涵盖两个集合的所有关系，后来想明白了，我从两个方面来解释下：
学术方面： 所有、有的、这个被称之为量项，顾名思义，就是用来诠释集合数量的词。“所有”就是全 部，叫全称；“有的”就是其中特别的一部分，就叫特称；“这个”就是单独的一个，叫做单 称（我是这么理解记忆的，可能当初做定义时不是这个意思，所以大神和已经死去的逻辑大 师们不要怪我）。这三种量项就包括了数量界的所有可能。 是、不是被称之为联项，用来联合两个集合的，无非就是是或着不是，称之为肯定、否定。 所以这三个不同的量项与两个不同的联项任意组合后就形成了：
本人自学逻辑判断，华图、中公、MPA、MBA 等多种图书都细细咀嚼过，蔡金龙、饶思中、 胡海滨等名师的视频也不计其数的观看过，无奈确实智商有限，两个多月只能说是初窥门径。 不过对于形式逻辑确实总结出了一些东西，这里和大家共同探讨，劣徒一枚，如有错误，还 望轻喷。
首先想和大家讨论一下最初学习形式逻辑存在的问题和疑惑。我最开始学习逻辑时曾经一度 怀疑了自己是不是智力有问题。原因主要有以下几点： 1、根本不知道逻辑的分类，就算知道了也因为其名称太过学术化而不理解，啥是模态命题？ 不理解。学的时候根本不明白学的是哪一部分，难以形成体系。 2、听老师、看视频当时会，觉得讲的真好，但是发现好像他所讲的知识点只适合他所举的 例题，拿到新题后还是不会做，无从下手，并且对于听过的试题过段时间再看又不会了。 3、本来个别题凭借自身的思考能理解，但是在学习过逻辑后反而不懂了、不会了，甚至更 糊涂。好比“邯郸学步”。
第三种。否定式。 向国家纳税是所有公民的义务，但是，有的公民偷税漏税。不过，并非所有的公民都偷税漏 税。据此，可以推出（ ） A、公民的义务是向国家纳税 B、有的公民不偷税漏税 C、偷税漏税的公民不是好公民 D、向国家纳税的公民都是好公民
这个题是比较简单的，后面如果加上什么可能必然之类的难度会提高一些，不过我们只要深 刻的理解“并非”或者“不”这个表示否定意味的词的意思就行了，我在做了很多题之后也 总结出来了一种方法，刚开始觉得自己挺厉害，有方法了，后来有次看视频，那个老师也用 了这种方法，心中失落了一下，看来天外有天，而且我看到咱们有的论坛友人也在用。不过 视频中的那个老师说所有用这个方法的人都是抄袭他的，这个我就有点别扭了，难道就你能 想出来别人都没脑子么…… 所以这个故事告诉我们：1、总有人比你厉害，要低调。2、别人也会一种技能时不一定就是 抄袭你的，一种规律总会不断被人发现。
那么这六种形式就被一些大神弄成了一副图，叫做逻辑方阵什么的，感觉很酷，没办法，人 家有知识就是这么任性，图如下：
所有的 A 都是 B
上反对
所有的 A 都不是 B
包 这个 A 是 B
容
矛盾
包 这个 A 不是 B
容
有的 A 是 B
下反对
有的 A 不是 B
上图是较为基础的，还有更复杂的画法，当初这个高大尚的方阵确实能解决不少问题，不过 其中的一些知识点还是很不容易表现出来的，我先大概解释一下这个方阵中的所有关系。
直言命题我认为就是一句话，它用来解决的是集合之间的关系，说白了就是：用来说明两个 群体之间的关系的一句话。比如说这里有一群小日本，我们就可以说，这群小日本都是亚洲 人，小日本是一个集合，亚洲人是一个集合，“这群小日本都是亚洲人”就是解决了这两个
集合的关系的一句话，就称作直言命题。
现实生活中两个集合的关系无非就是那么几种： 所有的日本人都是亚洲人 所有的日本人都不是亚洲人 有的日本人是亚洲人 有的日本人不是亚洲人
非学术方面 “所有、有的、这个”与“是、不是”任意组合无非就是以下情况：
量项
主项（subject） 联项
谓项（project）
全称 特称 单称
ቤተ መጻሕፍቲ ባይዱ
集合 A
肯定 否定
集合 B
所以就这么六种形成啦。其中的主项和谓项也是比较学术的叫法，英文上面也标注了，所以 出现了我们看到的 S 和 P。我始终认为是 A 和 B 比较好用。
第一种。真假话。 例子： 教师让四名学生每人去拿一只桌球，不论什么颜色。学生拿了球以后，教师发现唯一的一只 白球被拿走了，问谁拿了白球。 甲说：我没有拿白球。 乙说：是丁拿了白球。 丙说：是乙拿了白球。 丁说：白球不是我拿的。 如果四人中只有一个人说的是真话，那么拿了白球的是（ ）
这样的题型就是真假话题型，明确告诉我们其中有一人说了真话或假话，比较好做，方法后 面谈，不过这种题型后来开始发生演变，变成了多真多假或者是半真半假，那时它们所考察 的就不是直言命题的关系了，所以这里不多说。
全称肯定 全称否定 特称肯定 特称否定 单称肯定 单称否定
所有的 A 都是 B 所有的 A 都不是 B 有的 A 是 B 有的 A 不是 B 这一个 A 是 B 这一个 A 不是 B
这六种。以上六种我看有的书上写的是什么 SAP、SEP、SIP 什么的，还专门说了一下 SAP 是什么拉丁文“我肯定”的意思，刚开始觉得好帅、好高深，一定要记下来，后来发现没个 球用，徒增大脑负担，捎带鄙视一下。
以上的这三个问题也是困扰了我好久，无奈不学更加恐慌，只好硬着头皮继续尝试着付出与 收获不平等的耕耘（感觉学的挺多，会的贼少）。后来终于也算是顿悟了，目前可以保证形 式逻辑不出问题，而日常逻辑，客观来说，还是处在新手边缘，所以如有日常逻辑大神，还 望多多指点。
下面先来说形式逻辑。
我认为学习形式逻辑，必须注意以下几个问题，当然是对于像我这种智商正常的人来说的， 大神可以自行忽略： 1、必须背诵公式定理，前期不能靠理解，就得会背，不背诵就想不起来，想不起来就不会 用。 2、最开始学习逻辑，肯定会有一段时间的退步现象，实属正常，熬出来就好了。 3、必须多做题，反复巩固知识点。 4、不要盲目的崇尚秒杀方法。首先因为秒杀的数量毕竟是有限的，其次因为在初学逻辑很 多知识点不牢固、不明白，所谓的秒杀技巧，不但不能秒杀，反而拉长了做题时间，当传统 方法熟练后，速度也是极快的，所以不要崇尚它。
总结一下，我们得到了几种关系。 矛盾 反对 包容 这三种关系经常被用在真假话当中，因为他们都有其特殊的性质。
这好这里提到了真假话，真假话是直言命题的考点之一，我觉得有必要说一下直言命题的考 试形式，也就是说怎么出题，因为我刚开始学的时候根本不知道这道题考察的是啥，所以根 本没思路，其实总结起来，直言命题无非就是考三种形式：
今天就先到这里。
下面我来说一下形式逻辑我的一些拙见。
我现在将形式逻辑理解为：专门考试用的逻辑，这种问题在平常生活中极少有人这么说话， 否则会被认为是疯子，所以我都把它们叫做：“精神病思维”。
形式逻辑可以分成几部分：直言命题（性质命题）、模态命题、假言命题、联言命题、选言 命题、三段论、综合分析。
下面用我自己的话解释一下它们都是啥。
有的 A 是 B 有的 A 不是 B
这其中还有一个关系，就是当我们知道 所有的 A 都是 B 的时候，能推出 这个 A 是 B，
进而能推出 有的 A 是 B，举个例子，比如说我们知道所有的女演员都很漂亮，那么我们 就能知道高圆圆很漂亮，也就进而能知道有的女演员很漂亮。 也就是说 所有 可以推出 某人 可以推出 有的 这里面需要大家注意的就是当我们只知道有的的时候不能断定某人。 再举一个例子，现在我们只知道，有的男演员很帅，我们能推出刘能的扮演者很帅么？ 不能，因为“有的”有其特殊的性质，这个“有的”需要大家关注起来，后面我单独来谈一 下“有的”。这里如果大家不理解没关系，一会儿详谈。
它们的关系常被用在真假话中。刚开始学习时，我只是记住了这几句话并没有多想，后来学 多了开始思考，矛盾关系必一真一假可以理解，但是反对为什么两个所有必有一假，两个有 的必有一真呢等等一些问题。看视频中老师也解释了，是用例子解释的：这个班所有的人都 是男生，这个班所有的人都不是男生，这两句话不可能同时为真。这个班有的人是男生，这 个班有的人不是男生，如果都为假的话，刚才的两句话就变成：所有人不是男生，所有人是 男生，说不通，所以两个有的不能全假，必有一真。这种解释倒是也能理解，不过还是觉得 不太有说服力，后来我看了一个 MPA 老师的视频，他讲到了这个事，列出了一个图表，感 觉豁然开朗，下次和大家分享。
扯远了，继续。
上面三种考法就是直言命题的考试类型，接下来我想谈一下对于那六句话彼此之间关系的看 法。 通 过那个逻辑方阵我们知道了矛盾关系，反对关系和包容关系，对逻辑有所了解的考友们应该 也知道每种关系的特性，即： 矛盾关系，必有一真一假。 反对关系，两个所有，必有一假。两个有的，必有一真。 包容关系，A→B，前面为真后面必定为真，后面为假前面必定为假，用华图的话就是：肯 前必肯后，否后必否前。