stanford-oval/wikipedia huggingface dataset:
乌云网
漏洞披露 > 中国民生银行

2013年10月，乌云网披露中国民生银行存在漏洞，该漏洞可导致民生银行Android客户端敏感信息泄露，该网站详细描述称，“账户权限控制没做好，漏了几个地方。导致可查询任意账号的余额及进出帐情况”。
漏洞披露 > 中国铁路客户服务中心

2011年1月19日，乌云网第一次披露中国铁路客户服务中心（俗称12306网站）存在技术漏洞，披露者是该网站白帽子“路人甲”，他表示，“火车票难买啊，于是打算看下铁道部的安全”，结果发现给12306提供域名注册、空间服务的第三方公司由于DNS服务器出现问题，导致12306网站的DNS记录被泄露。自2011年以来，乌云共披露了12306网站40多条漏洞。2013年12月6日，新版12306网站上线仅几个小时后，乌云网便发现了漏洞，称漏洞可能导致用户信息泄露。中国铁路总公司立即作出回应表示漏洞已在第一时间修复。不过，时隔20多天后，乌云网再次指出，12306网站某接口CDN问题存在漏洞，会导致用户敏感信息泄漏。次日，12306回复确认该漏洞存在，并表示在第一时间修补了漏洞。
漏洞披露 > 携程

2014年3月22日，乌云网披露携程系统存技术漏洞，编号为54302，发布者是乌云网的核心白帽子黑客“猪猪侠”。该漏洞导致携程网安全支付日志可遍历下载，致使大量用户银行卡信息泄露。此外，携程某分站源代码包可直接下载（涉及数据库配置和支付接口信息）。对此，携程立即展开技术排查，并在两小时内修复该漏洞。漏洞曝光后，原谷歌公司技术总监胡宁在新浪微博上表示，携程此次事件并不是低级技术错误，并建议让携程应立即提醒用户更换信用卡。携程网漏洞被披露后，立即掀热议，成为头条新闻。很多人表示，两个小时足够“黑帽子”从中获取用户的信息。3月24日那一天，携程的股价应声大跌。
漏洞披露 > 搜狗浏览器

2013年11月5日，乌云网指出搜狗浏览器存在漏洞，中国中央电视台《24小时》、《新闻直播间》、《热点扫描》、《交易时间》等栏目详细报道了记者验证该漏洞信息的整个过程。
漏洞披露 > 腾讯

2013年11月18日，乌云网披露腾讯QQ存在漏洞，并将这一危害等级定义为“高”，该漏洞可导致QQ号泄露用户个人关系网和经历。
2015年3月5日，乌云网披露腾讯公司旗下的微信红包存在高危漏洞，黑客可以设计程序自动领取他人发放的红包。不过，腾讯方面回应称，这一问题早在两个月前已发现，并在第一时间完成了修复。
漏洞披露 > 智联招聘

2014年12月2日，乌云网白帽子“天地不仁以万物为刍狗”提交了一个关于“导致智联招聘86万用户简历信息泄露”的漏洞。对此，智联招聘予以否认。次日，乌云网又提交了一个关于“智联招聘信息泄露进入内部邮箱”的漏洞，类型为“重要敏感信息泄露”。
漏洞披露 > UC浏览器

2014年6月28日，乌云网公开披露UC浏览器存在高危漏洞，该浏览器的“神马搜索”可导致大量敏感信息泄露，涉及人人网、QQ空间以及新浪微博等。
漏洞披露 > 百度

2015年10月，乌云网披露包括百度地图、百度浏览器、百度音乐以及百度新闻等在内的多款百度旗下手机应用软件存在安全漏洞，这一漏洞叫WormHole，如果这些软件感染了该漏洞，用户的手机一旦连网，就有被远程控制的风险。
参考资料

↑  . 腾讯科技. 2019年6月30日  [2020年7月27日]. （原始内容存档于2020年7月27日）.
↑  . WHOIS.   [2020年7月26日]. （原始内容存档于2020年7月26日）.
↑  . 中国青年报. 2016-08-02  [2020年7月26日]. （原始内容存档于2020年7月26日）.
↑  Shengzhao Long; Balbir S. Dhillon. . Springer. 21 August 2017: 734–  [2020-07-26]. ISBN 978-981-10-6232-2. （原始内容存档于2020-08-12）.
↑  陈明照. . 碁峰信息股份有限公司. 2019年12月23日: 6–  [2020年7月26日]. ISBN 978-986-502-358-4. （原始内容存档于2020年7月30日）.
↑  Richard Chirgwin.. The Register. 1 Aug 2016  [2020-07-26]. （原始内容存档于2020-12-23）.
↑  Hanqing Wu; Liz Zhao. . CRC Press. 6 April 2015: 237–  [2020-07-26]. ISBN 978-1-4665-9262-9. （原始内容存档于2020-07-30）.
↑  . 乌云网.   [2020年7月26日]. 原始内容存档于2010年10月26日.
1 2 3  . 杭州日报. 2014-04-18  [2020-07-27]. （原始内容存档于2020-07-27）.
↑  . 澎湃新闻. 2016-07-20  [2020-07-26]. （原始内容存档于2020-07-26）.
1 2  Gene Lin. . Hong Kong Free Press. 30 July 2016  [2020-07-26]. （原始内容存档于2021-02-13）.
↑  . Council on Foreign Relations. August 9, 2016  [2020-07-27]. （原始内容存档于2020-11-08）.
↑  India Ashok.. International Business Times. August 1, 2016  [2020-07-27]. （原始内容存档于2020-08-08）.
↑  . 新浪科技. 2011年12月30日  [2020-07-26]. （原始内容存档于2012-01-10）.
↑  . 电脑报. 2013-12-02  [2020-07-26]. （原始内容存档于2020-07-26）.
↑  . 钛媒体. 2016-07-22.
↑  . 检察日报. 2016-11-09  [2020-07-26]. （原始内容存档于2020-07-26）.
↑  . 雷锋网. 2017-06-12  [2020-07-26]. （原始内容存档于2020-08-01）.
↑  . 正义网. 2016-11-09  [2020-07-26]. （原始内容存档于2020-07-26）.
↑  . 端傳媒. 2016-07-29  [2020-07-26]. （原始内容存档于2020-07-26）.
↑  杨鑫倢. . 澎湃新闻. 2016-07-20  [2016-08-21]. （原始内容存档于2020-07-27）.
↑  janus. . T客邦. 2016-07-21  [2016-08-21]. （原始内容存档于2020-09-29）.
↑  李在磊.. 南方周末. 2016-07-28  [2017-08-26]. （原始内容存档于2020-11-08）.
↑  . 钛媒体. 2016-07-20  [2020-07-27]. （原始内容存档于2020-07-27）.
↑  . 乌云网. 2010年7月14日  [2020年7月26日]. 原始内容存档于2010年7月19日.
↑  . 每日经济新闻. 2011年12月28日  [2020-07-27]. （原始内容存档于2012-01-15）.
↑  . 乌云网. 2011年2月13日  [2020年7月26日]. 原始内容存档于2013年1月17日.
↑  李亚蝉.. 每日经济新闻. 2011年12月30日  [2020年7月27日]. （原始内容存档于2020年7月27日）.
1 2  . 搜狐IT. 2011年12月27日  [2020年7月27日]. （原始内容存档于2020年7月27日）.
↑  . 2012  [2020-07-26]. （原始内容存档于2020-08-13）.
↑  郑汉良. . 法广. 2011年12月30日  [2020年7月26日]. （原始内容存档于2020年7月26日）.
↑  余轩. . 多维新闻网. 2016-07-29  [2020-07-27]. （原始内容存档于2020-07-27）.
↑  . 新浪科技. 2011年12月30日  [2020年7月27日]. （原始内容存档于2020年7月27日）.
↑  . 中国新闻网. 2011年12月29日  [2020-07-27]. （原始内容存档于2020-07-27）.
↑  Xueming Si; Hai Jin; Yi Sun; Jianming Zhu, Liehuang Zhu, Xianhua Song, Zeguang Lu. . Springer Nature. 13 February 2020: 2–  [2020-07-26]. ISBN 9789811532788. （原始内容存档于2020-08-12）.  引文使用过时参数coauthors (帮助)
↑  . 路透社. 2014年3月26日  [2020年7月27日]. （原始内容存档于2020年7月27日）.
↑  . 新浪科技. 2014-03-22  [2020-07-27]. （原始内容存档于2020-07-08）.
↑  . 新浪科技. 2013-11-07  [2020-07-27]. （原始内容存档于2020-07-27）.
↑  . 财经网. 2013年11月18日  [2020-07-26]. （原始内容存档于2020-07-26）.
↑  吴琳琳. . 北京青年报. 2015年3月6日  [2020年7月26日]. （原始内容存档于2020年6月24日）.
↑  . 中国经济网. 2019-07-09  [2020年7月27日]. （原始内容存档于2020年7月27日）.
↑  刘夏. . 新京报. 2014-12-04  [2020-07-27]. （原始内容存档于2020-07-27）.
↑  Jin Tian; Jiwu Jing; Mudhakar Srivatsa. . Springer. 1 December 2015: 406–  [2020-07-26]. ISBN 978-3-319-23802-9. （原始内容存档于2020-08-12）.
↑  . 乌云网. 2014年6月28日  [2020年7月26日]. 原始内容存档于2014年7月30日.
↑  . 时代周报. 2015-11-03  [2020-07-27]. （原始内容存档于2020-07-27）.
大沙坝仡佬族侗族乡

| 大沙坝仡佬族侗族乡 |
| --- | --- |
民族乡
坐标：27°37′35″N 108°15′30″E﻿ / ﻿27.62628°N 108.25825°E﻿ / 27.62628; 108.25825
国家:  中华人民共和国
上级行政区: 石阡县
村级区划单位数:  15 0社区 15行政村 
人口
 • 總計: 13,884人
时区: 北京时间（UTC+8）
行政区划代码: 52 06 23 204
电话区号: +86 (0)856
大沙坝仡佬族侗族乡是中华人民共和国贵州省铜仁市石阡县下辖的一个民族乡。
行政区划

大沙坝仡佬族侗族乡下辖以下村级行政区划单位：
大沙坝村、​何家坝村、​鲁家寨村、​龙硐村、​坡脚村、​孙家坪村、​付家坪村、​埃家村、​余家寨村、​邵家寨村、​关刀土村、​任家寨村、​芹菜塘村、​金星村和沙槽村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
大榆树镇 (公主岭市)

| 大榆树镇 |
| --- | --- |
镇
坐标：43°43′49″N 124°39′57″E﻿ / ﻿43.73018°N 124.66596°E﻿ / 43.73018; 124.66596
国家:  中华人民共和国
上级行政区: 公主岭市
村级区划单位数:  15 1社区 14行政村 
时区: 北京时间（UTC+8）
行政区划代码: 22 01 84 113
电话区号: +86 
大榆树镇，是中华人民共和国吉林省长春市公主岭市下辖的一个乡镇级行政单位。
行政区划

大榆树镇下辖以下地区：
大榆树社区、​大榆树村、​孙平房村、​韩家店村、​太平桥村、​老柜村、​福胜广村、​围子村、​兴家村、​涌泉村、​两半屯村、​新合村、​于家窝堡村、​陈家河口村和团结村。
交通

京哈铁路：大榆树站
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
鄭螺生

鄭螺生
鄭螺生（1870年—1939年12月14日）福建同安人，马来亚怡保华侨，中华民国政治人物。
生平

鄭螺生是福建省同安县仁德里（今厦门市集美区杏林高浦村）人，生于1870年。幼年曾短期入私塾，随即跟随祖父到马来亚怡保（旧称坝罗）。少年时，赶牛车运货。后在怡保开“吉兴隆”（Kiat Seng Liung）号，经营自缅甸仰光及泰国运来的煤油、大米等等杂货，几年内另在槟榔屿、峇株巴辖、兆运、木威等地开设分号。郑螺生热心公益，被推举为当地福建帮的帮长，并被英国殖民政府授予太平绅士（J. P. justice of peace）衔。
1900年，流亡日本的康有为受邱菽园、林文庆之邀到新加坡，曾游历怡保。郑螺生热情接待了康有为。后来。通过读东京《民报》，特别是南洋保皇分会会长邱菽园在《天南新报》上揭发康有为骗取华侨捐款导致唐才常汉口起义失败，鄭螺生乃与康有为断绝关系，此后倾心革命。
郑螺生、李源水倡办“道南俱乐部”，订阅了《民报》、《革命先锋》、《新福建》、《新广东》等报刊，在华侨中鼓吹反清革命。1907年，孙中山在陈楚楠、林义顺等人陪同下抵达马来西亚，成立中国同盟会吡叻分会。郑螺生、李源水等首先加入中国同盟会，并分别被推为该分会的正、副会长。清政府于1907年10月派钦差杨士琦赴南洋慰问华侨。杨士琦抵达怡保时，受到当地保皇会欢迎，郑螺生与李源水等人来到会场，在杨士琦登台发表演说时，郑螺生向其呈递质问书，导致杨士琦不知所措。
1910年11月，孙中山为再度发动广州起义，抵达马来亚槟榔屿，和胡汉民、黄兴等人准备筹措10万元军饷。当时在华侨中为革命筹款已非常困难。郑螺生多方劝募，自己还捐献现款100元，并变卖了自己拥有的福建、江苏铁路股票。事后，黄兴在给郑螺生、李源水的信中称：“列兄筹款苦，状及毁家纾难之义举，尽情宣告，无不奋励激发，勇气百倍。”
辛亥革命成功后，中国同盟会吡叻分会改组为国民党吡叻直属支部，郑螺生当选为常务委员。1913年，当选为国民党新加坡总支部常务委员。郑螺生声援护国战争，并积极筹饷，遭英国殖民政府驱逐回国。1917年，孙中山在广州任大元帅，郑螺生被任命为大元帅府庶务司长。
1931年2月，任国民政府监察院监察委员。他还曾任侨务委员会委员。1931年九一八事变后，郑螺生计划在华侨中募款支援抗战。1937年抗日战争爆发，郑螺生返回马来亚宣传抗战，鼓励华侨捐款救国。
1939年12月14日，郑螺生在马来亚怡保病逝，享年69岁。家属遵其遗嘱，登报声明不接受挽幛、挽联、祭礼等，丧事从简。
直言三段论

直言三段论是所有前提都是直言命题的演绎推理。前兩個命題被分别称为大前提和小前提。如果這個三段論是有效的，這兩個前提邏輯上蕴涵了最後的命題，它叫做結論。結論的真實性建立在前提的真實性和它們之間的聯繫之上：中項在前提中必須周延（distribute）至少一次，形成在結論中的主詞和謂词之間的連接。例如：
這裡的中項“生物”在大前提中周延，大項“會死者”在大前提和結論中都不周延，小項“人”在小前提和結論中周延；這個三段論符合周延規則：中項至少在一個前提中周延。一些直言三段論不是有效的，例如：
即使此例子的兩個前提和結論都是正確的，中項“鳥”在大前提和小前提中周延，大項“有翅膀”在結論中周延，小項“人”在小前提和結論中周延；此三段論卻是一種大項不當謬誤，將結論“沒有人有翅膀”理解為同樣表達的“所有人沒有翅膀”如此一來方便了解其中的谬误；此三段論不有效的原因是它不符合另一個周延規則：在結論中周延的詞項，在前提中也必須周延。在該三段論中大項“有翅膀”在結論被否定了，也就是說表達了人沒有“有翅膀”，大項在此周延，但在大前提中未周延，因為在大前提中“有翅膀”並沒有涉及該項的所有個體。
语气和格式

三段論有如下典型形式：
其中S代表結論的主詞（Subject），P代表結論的謂詞（Predicate），M代表中詞（Middle）。
三段論的命題可分為全称（universal）、特称（particular），及肯定、否定，組合起來有以下四類語氣（Mood）：
| 類型 | 代號 | 形式 | 範例 |
| --- | --- | --- | --- |
| 全稱肯定型 | A（SaP） | 所有S是P | 所有人是會死的 |
| 全稱否定型 | E（SeP） | 沒有S是P | 沒有人是完美的 |
| 特稱肯定型 | I（SiP） | 有些S是P | 有些人是健康的 |
| 特稱否定型 | O（SoP） | 有些S不是P | 有些人不是健康的 |
三段論中，結論中的謂詞稱作大詞（P，或稱大項），包含大詞在內的前提稱作大前提；結論中的主詞稱作小詞（S，或稱小項），包含小詞在內的前提稱作小前提；沒有出現在結論，卻在兩個前提重複出現的稱作中詞（M，或稱中項）。大詞、中詞、小詞依不同排列方式，可分成四種格（Figure）：
|  | 第1格 | 第2格 | 第3格 | 第4格 |
| --- | --- | --- | --- | --- |
| 大前提 | M-P | P-M | M-P | P-M |
| 小前提 | S-M | S-M | M-S | M-S |
結論: S-P

將以上整合在一起，三段論的大前提、小前提、結論分別可為A、E、I、O型命題之一，又可分為4格，故總共有256種三段論（若考慮大前提與小前提對調，便有512種，但邏輯上是相同的）。
三段論依語氣與格的分類縮寫，例如AAA-1（也可以寫成1-AAA）代表「大前提為A型，小前提為A型，結論為A型，第1格」的三段論。
此外，三段論的四種格之间可相互转换：
第1格：对换大前提的主词和谓词的位置就变成第2格，对换小前提的主词和谓词的位置就变成第3格。
第2格：对换大前提的主词和谓词的位置就变成第1格，对换小前提的主词和谓词的位置就变成第4格。
第3格：对换大前提的主词和谓词的位置就变成第4格，对换小前提的主词和谓词的位置就变成第1格。
第4格：对换大前提的主词和谓词的位置就变成第3格，对换小前提的主词和谓词的位置就变成第2格。
E和I命题对换主词和谓词的位置而保持同原命题等价。A命题和O命题不能对换主词和谓词的位置，但是可以采用直接推理中的“对置法”。A命题还可以在确实主词有元素存在的前提下，转换成弱于原命题的I命题后再对换主词和谓词的位置。
有效性

考虑各种直言三段论的有效性將是非常冗长耗時的。前人想出了三个可供选择的方法来找出有效性。方法之一是记住下一章节中列出的所有論式。
還可以通过构造文氏图的方法得到有效形式。因为有三种项，文氏图需要三个交叠的圓圈来表示每一个类。首先，为小项构造一个圓圈。临近小项的圓圈的是同小項有着交叠的大项的圓圈。在这两个圓圈之上是中项的圓圈。它应当在三个位置有着交叠：大项，小项和大项与小项交叠的地方。一個三段论是有效的，其必然条件是通过图解两个前提得出结论的真实性。永不图解结论，因为结论必须从前提推导出来。总是首先图解全称命题。这是通过对一个类在另一个类中没有成员的区域加黑影来实现的。所以在前面例子的AAA-1形式中大前提“所有M是P”中，对M不与P交叠的所有区域加黑影，包括M与S交叠的部分。接着对小前提重复同样的过程。从这两个前提中可推导出在类S中所有成员也是类P的成员。但是，不能推出类P的所有成员都是类S的成员。
作为文氏圖方法的另一个例子，考虑形式EIO-1的三段论。它的大前提是“没有M是P”，它的小前提是“有些S是M”，它的结论是“有些S不是P”。这个三段论的大项是P，它的小项是S，它的中项是M。大前提在图中通过对交集M ∩ P加阴影表示。小前提不能通过对任何区域加黑影表示。转而，我们可以在交集S ∩ M的非黑影部分使用x符号来表示“有些S是M”。（注意：黑影区域和存在量化区域是互斥的）。接着因为存在符号位于S内但在P外，所以结论“存在一些S不是P”是正确的。
本文最後一節列出了所有24個有效論式的文氏圖。
最后一种方法是记住下面非形式表述的幾條规则以避免謬論。尽管文氏图对于诠释目的是好工具，有人更喜欢用這些规则来检验有效性。
基本規則：
結論中周延的詞必須在前提中周延（謬誤：大詞不當、小詞不當）。
中詞必須周延至少一次（謬誤：中詞不周延）。
結論中否定命題的數目必須和前提中否定命題的數目相等：
二前提皆肯定，則結論必須為肯定（謬誤：肯定前提推得否定結論）。
一前提是否定，則結論必須為否定（謬誤：否定前提推得肯定結論）。
二前提皆否定，則三段論必無效（謬誤：排它前提謬誤）。
結論中特稱命題的數目必須和前提中特稱命題的數目相等：
二前提皆全稱，則結論必須為全稱。
一前提是特稱，則結論必須為特稱。
二前提皆特稱，則三段論必無效。
若一個三段論式滿足以上的所有規則，就必定有效。
其他檢查：
如果語境上不能假設所有提及的集合非空，部分推論將會無效（謬誤：存在謬誤）。
必須包含嚴格的三個詞，不多不少。且須注意所有關鍵詞和結構的語義是否一致（謬誤：四詞謬誤、歧義謬誤）。
有效性 > 有效三段論式

唯有第一格的所有有效三段論式的結論涵蓋了A、E、I、O全部四種命題，第二格的所有有效三段論式皆為否定結論（E或O），第三格的所有有效三段論式皆為特稱結論（I或O），第四格的所有有效三段論式皆為否定結論或特稱結論（E、I或O）。下面表格中加下劃線者必須假設所有提及的集合非空才有效。
| 第1格 | 第2格 | 第3格 | 第4格 |
| --- | --- | --- | --- |
| AAA | AEE | AAI | AAI |
| EAE | EAE | EAO | EAO |
| AII | AOO | AII | AEE |
EIO
| AAI | AEO | IAI | IAI |
| EAO | EAO | OAO | AEO |
在全部256種三段論式中，有24種有效，但是如果不能確定所有提及的集合為非空，則只有15種有效。
有效性 > 常犯的無效三段論式

1-AEE, 1-AEO, 1-EEA, 1-EEE, 1-EEI, 1-AIA, 1-IAA, 1-IAI, 1-III, 1-AOO, 1-OAO, 1-IEO
2-AAA, 2-AAI, 2-AII, 2-IAI, 2-OAO, 2-IEO, 2-EOI, 2-OEI, 2-IOO, 2-OIO
3-AAA, 3-AEE, 3-EAE, 3-AEO, 3-AOO, 3-AIA, 3-IAA, 3-III, 3-EOI, 3-OEI, 3-IEO
4-AAA, 4-EAE, 4-AII, 4-IEO
三段论式列表

总共有19个有效的论式，算结论弱化（全称弱化为特称）的5个论式則為24個有效论式，其中每一格刚好各有6個有效论式。為便於記憶，中世纪的学者將這些有效論式分別取了對應的拉丁語名字，每個名字的加了下劃線的元音即是對應的語氣：
| 第1格 | 第2格 | 第3格 | 第4格 |
| --- | --- | --- | --- |
| Barbara | Camestres | Darapti | Bamalip |
| Celarent | Cesare | Felapton | Fesapo |
| Darii | Baroco | Datisi | Calemes |
| Ferio | Festino | Ferison | Fresison |
| Barbari | Camestros | Disamis   | Dimaris |
| Celaront | Cesaro | Bocardo | Calemos |
三段论式列表 > 经典三段论式

下面列出的是亚里士多德的《前分析篇》中关于前3个格的14个三段论式。
三段论式列表 > 经典三段论式 > 第1格

AAA（Barbara）
所有M是P。

 所有S是M。

∴所有S是P。
{\cfrac {\forall x(M(x)\rightarrow P(x))\qquad \forall x(S(x)\rightarrow M(x))}{\forall x(S(x)\rightarrow P(x))}}
EAE（Celarent）
没有M是P。

 所有S是M。

∴没有S是P。
{\cfrac {\forall x(M(x)\rightarrow \lnot P(x))\quad \forall x(S(x)\rightarrow M(x))}{\forall x(S(x)\rightarrow \lnot P(x))}}
AII（Darii）
所有M是P。

 有些S是M。

∴有些S是P。
{\cfrac {\forall x(M(x)\rightarrow P(x))\qquad \exists x(S(x)\land M(x))}{\exists x(S(x)\land P(x))}}
EIO（Ferio）
没有M是P。

 有些S是M。

∴有些S不是P。
{\cfrac {\forall x(M(x)\rightarrow \lnot P(x))\quad \exists x(S(x)\land M(x))}{\exists x(S(x)\land \lnot P(x))}}
三段论式列表 > 经典三段论式 > 第2格

AEE（Camestres）
所有P是M。

 没有S是M。

∴没有S是P。
{\cfrac {\cfrac {{\begin{matrix}\quad \\\forall x(P(x)\rightarrow M(x))\end{matrix}}\qquad {\cfrac {\forall x(S(x)\rightarrow \lnot M(x))}{\forall x(M(x)\rightarrow \lnot S(x))}}}{\forall x(M(x)\rightarrow \lnot S(x))\qquad \forall x(P(x)\rightarrow M(x))}}{\cfrac {\forall x(P(x)\rightarrow \lnot S(x))}{\forall x(S(x)\rightarrow \lnot P(x))}}}
（AEE-2是AEE-4的等价形式。这种形式还有其他推导方法。）
EAE（Cesare）
没有P是M。

 所有S是M。

∴没有S是P。
{\cfrac {{\cfrac {\forall x(P(x)\rightarrow \lnot M(x))}{\forall x(M(x)\rightarrow \lnot P(x))}}\qquad {\begin{matrix}\quad \\\forall x(S(x)\rightarrow M(x))\end{matrix}}}{\forall x(S(x)\rightarrow \lnot P(x))}}
（EAE-2是EAE-1的等价形式。）
AOO（Baroco）
所有P是M。

 有些S不是M。

∴有些S不是P。
{\cfrac {{\cfrac {\cfrac {\forall x(P(x)\rightarrow M(x))}{\forall x(P(x)\rightarrow \lnot (\lnot M(x)))}}{\forall x((\lnot M(x))\rightarrow \lnot P(x))}}\quad {\cfrac {\exists x(S(x)\land \lnot M(x))}{\exists x(S(x)\land (\lnot M(x)))}}}{\exists x(S(x)\land \lnot P(x))}}
（这种形式还有其他推导方法。）
EIO（Festino）
没有P是M。

 有些S是M。

∴有些S不是P。
{\cfrac {{\cfrac {\forall x(P(x)\rightarrow \lnot M(x))}{\forall x(M(x)\rightarrow \lnot P(x))}}\qquad {\begin{matrix}\quad \\\exists x(S(x)\land M(x))\end{matrix}}}{\exists x(S(x)\land \lnot P(x))}}
（EIO-2是EIO-1的等价形式。）
三段论式列表 > 经典三段论式 > 第3格

AAI（Darapti）
所有M是P。

 所有M是S。

∴有些S是P。

（这种形式需要假定有些M确实存在。）
{\cfrac {{\begin{matrix}\quad \\\quad \\\quad \\\forall x(M(x)\rightarrow P(x))\end{matrix}}\ {\cfrac {{\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}\quad {\cfrac {\exists xM(x)}{\exists x(M(x)\land M(x))}}}{\cfrac {\exists x(M(x)\land S(x))}{\exists x(S(x)\land M(x))}}}}{\exists x(S(x)\land P(x))}}
EAO（Felapton）
没有M是P。

 所有M是S。

∴有些S不是P。

（这种形式需要假定有些M确实存在。）
{\cfrac {{\begin{matrix}\quad \\\quad \\\quad \\\forall x(M(x)\rightarrow \lnot P(x))\end{matrix}}\,{\cfrac {{\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}\quad {\cfrac {\exists xM(x)}{\exists x(M(x)\land M(x))}}}{\cfrac {\exists x(M(x)\land S(x))}{\exists x(S(x)\land M(x))}}}}{\exists x(S(x)\land \lnot P(x))}}
AII（Datisi）
所有M是P。

 有些M是S。

∴有些S是P。
{\cfrac {{\begin{matrix}\quad \\\forall x(M(x)\rightarrow P(x))\end{matrix}}\qquad {\cfrac {\exists x(M(x)\land S(x))}{\exists x(S(x)\land M(x))}}}{\exists x(S(x)\land P(x))}}
（AII-3是AII-1的等价形式。）
EIO（Ferison）
没有M是P。

 有些M是S。

∴有些S不是P。
{\cfrac {{\begin{matrix}\quad \\\forall x(M(x)\rightarrow \lnot P(x))\end{matrix}}\quad {\cfrac {\exists x(M(x)\land S(x))}{\exists x(S(x)\land M(x))}}}{\exists x(S(x)\land \lnot P(x))}}
（EIO-3是EIO-1的等价形式。）
IAI（Disamis）
有些M是P。

 所有M是S。

∴有些S是P。
{\cfrac {\cfrac {{\cfrac {\exists x(M(x)\land P(x))}{\exists x(P(x)\land M(x))}}\qquad {\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}}{\forall x(M(x)\rightarrow S(x))\qquad \exists x(P(x)\land M(x))}}{\cfrac {\exists x(P(x)\land S(x))}{\exists x(S(x)\land P(x))}}}
（IAI-3是IAI-4的等价形式。）
OAO（Bocardo）
有些M不是P。

 所有M是S。

∴有些S不是P。
{\cfrac {\cfrac {{\cfrac {\exists x(M(x)\land \lnot P(x))}{\exists x((\lnot P(x))\land M(x))}}\quad {\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}}{\forall x(M(x)\rightarrow S(x))\quad \exists x((\lnot P(x))\land M(x))}}{\cfrac {\exists x((\lnot P(x))\land S(x))}{\exists x(S(x)\land \lnot P(x))}}}
（这种形式还有其他推导方法。）
三段论式列表 > 增补的论式

第4格由亞里士多德的學生泰奧弗拉斯托斯補充。
三段论式列表 > 增补的论式 > 第4格

AAI（Bamalip）
所有P是M。

 所有M是S。

∴有些S是P。

（这种形式需要假定有些P确实存在。）
{\cfrac {{\cfrac {\cfrac {\forall x(P(x)\rightarrow M(x))\qquad \forall x(M(x)\rightarrow S(x))}{\forall x(M(x)\rightarrow S(x))\qquad \forall x(P(x)\rightarrow M(x))}}{\forall x(P(x)\rightarrow S(x))}}\quad {\cfrac {\exists xP(x)}{\exists x(P(x)\land P(x))}}}{\cfrac {\exists x(P(x)\land S(x))}{\exists x(S(x)\land P(x))}}}
EAO（Fesapo）
没有P是M。

 所有M是S。

∴有些S不是P。
（这种形式需要假定有些M确实存在。）
{\cfrac {{\begin{matrix}\quad \\\quad \\{\cfrac {\forall x(P(x)\rightarrow \lnot M(x))}{\forall x(M(x)\rightarrow \lnot P(x))}}\end{matrix}}\,{\cfrac {{\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}\quad {\cfrac {\exists xM(x)}{\exists x(M(x)\land M(x))}}}{\cfrac {\exists x(M(x)\land S(x))}{\exists x(S(x)\land M(x))}}}}{\exists x(S(x)\land \lnot P(x))}}
（EAO-4是EAO-3的等价形式。）
AEE（Calemes）
所有P是M。

 没有M是S。

∴没有S是P。
{\cfrac {\cfrac {\forall x(P(x)\rightarrow M(x))\qquad \forall x(M(x)\rightarrow \lnot S(x))}{\forall x(M(x)\rightarrow \lnot S(x))\qquad \forall x(P(x)\rightarrow M(x))}}{\cfrac {\forall x(P(x)\rightarrow \lnot S(x))}{\forall x(S(x)\rightarrow \lnot P(x))}}}
EIO（Fresison）
没有P是M。

 有些M是S。

∴有些S不是P。
{\cfrac {{\cfrac {\forall x(P(x)\rightarrow \lnot M(x))}{\forall x(M(x)\rightarrow \lnot P(x))}}\qquad {\cfrac {\exists x(M(x)\land S(x))}{\exists x(S(x)\land M(x))}}}{\exists x(S(x)\land \lnot P(x))}}
（EIO-4是EIO-1的等价形式。）
IAI（Dimaris）
有些P是M。

 所有M是S。

∴有些S是P。
{\cfrac {\cfrac {\exists x(P(x)\land M(x))\qquad \forall x(M(x)\rightarrow \ S(x))}{\forall x(M(x)\rightarrow \ S(x))\qquad \exists x(P(x)\land M(x))}}{\cfrac {\exists x(P(x)\land S(x))}{\exists x(S(x)\land P(x))}}}
三段论式列表 > 增补的论式 > 结论弱化的论式

歷史上，AAI-3、EAO-3、AAI-4、EAO-4的拉丁語名字中有字母“p”，用来指示出这些论式通過引入了某个词项确实有元素存在的前提，将一个A命题弱化成了I命题。后人认为它們不是直言的即不是无条件的，这个问题被称为存在性引入问题。
在假定结论的主词确定有成员存在的前提下，可将论式中的结论A弱化为结论I，结论E弱化为结论O，它们也可以被增补为有效论式，从而得到所有可能的24有效论式。结论弱化论式有5个：AAI-1（Barbari），即弱化的AAA-1；EAO-1（Celaront），即弱化的EAE-1；AEO-2（Camestros），即弱化的AEE-2；EAO-2（Cesaro），即弱化的EAE-2；AEO-4（Calemos），即弱化的AEE-4。AAI-1的结论同于AII-1的结论，EAO-1、EAO-2的结论同于EIO-1的结论，AEO-2、AEO-4的结论同于AOO-2的结论，需要注意结论弱化论式原来的结论依然成立。
三段论式列表 > 谓词演算公式的注解

按照布尔逻辑和集合代数的观点，三段论可以解释为：集合（类） \,S\,和集合 \,M\,有某种二元关系，并且集合 \,M\,和集合 \,P\,有某种二元关系，从而推论出集合 \,S\,和集合 \,P\,是否存在进而为何种可确定的二元关系。两个集合之间的二元关系用直言命题可确定的有四种：
A（全称肯定）命题：所有 \,M\,的元素是 \,N\,的元素，确定了 \,M\,“包含于” \,N\,的关系， \,M\,是 \,N\,的子集， \,N\,是 \,M\,的超集，这是一种偏序关系， \,L\,包含于 \,M\,，並且 \,M\,包含于 \,N\,，則 \,L\,包含于 \,N\,。A命题允许两个推理方向，从元素属于 \,M\,推出它属于 \,N\,，从元素不属于 \,N\,推出它不属于 \,M\,。A命题确定了 \,M\,减 \,N\,的差集是空集。
E（全称否定）命题：所有 \,M\,的元素不是 \,N\,的元素，确定了 \,M\,和 \,N\,是“无交集”的关系，这是一种对称关系， \,M\,无交集于 \,N\,，同于 \,N\,无交集于 \,M\,。E命题允许两个推理方向，从元素属于 \,M\,推出它不属于 \,N\,，从元素属于 \,N\,推出它不属于 \,M\,。E命题确定了 \,M\,与 \,N\,的交集是空集。
I（特称肯定）命题：有些 \,M\,的元素是 \,N\,的元素，确定了 \,M\,和 \,N\,是“有交集”的关系，这是一种对称关系， \,M\,有交集于 \,N\,，同于 \,N\,有交集于 \,M\,。I命题确定了 \,M\,与 \,N\,的交集不是空集。
O（特称否定）命题：有些 \,M\,的元素不是 \,N\,的元素，确定了 \,M\,“不包含于” \,N\,的关系。O命题确定了 \,M\,减 \,N\,的差集不是空集。
两个全称命题可以推出一个新的全称命题，一个全称命题和一个特称命题可以推出一个新的特称命题，两个特称命题无法推理。A命题可以和所有四种命题組合。E命题还可以和I命题組合，两个否定命题和IE组合，不能得出屬於四種命題之一的結論。故而有效的論式，要在AA、AE、EA、AI、IA、AO、OA、EI這8種組合乘以4種格，共32種情況中找出。
AA组合中AAA-1是直接推出的；第4格AA組合推论出谓词包含於主词的关系，这不是四种命题之一，只能在谓词确实有元素存在的前提下弱化为AAI-4。AE组合中AEE-4是直接推出的，EA组合中EAE-1是直接推出的。第3格AA組合和EA組合，在中項確定有元素存在的前提下，形成AAI-3和EAO-3。AAA-1、AAI-4、AAI-3没有等价者。通過對換其前提E命題中主詞和謂詞的位置，從AEE-4得出其等價者AEE-2，從EAE-1的得出其等價者EAE-2，從EAO-3得出其等價者EAO-4。
AII-1、IAI-4是直接推出的，通過對換其前提I命題中主詞和謂詞的位置，從AII-1得出其等價者AII-3，從IAI-4得出其等價者IAI-3。AOO-2和OAO-3在歷史上採用了反證法，这里采用了直接推理中的“对置法”，AOO-2、OAO-3沒有等價者。EIO-1是直接推出的，通過對換其前提E命题及/或（英语：）I命題中主詞和謂詞的位置，從EIO-1得出其等價者EIO-2、EIO-3、EIO-4。
24論式圖示

下表以文氏圖展示24個有效直言三段論，不同欄表示不同的前提，不同外框顏色表示不同的結論，需要存在性預設的推理以虛線與斜體字標示。
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 格 | A ∧ A |  | A ∧ E |  |  |  | A ∧ I |  | A ∧ O |  | E ∧ I |
| 格 | AAA | AAI | AEE | AEO | EAE | EAO | AII | IAI | AOO | OAO | EIO |
| 1 |  Barbara |  Barbari |  |  |  Celarent |  Celaront |  Darii |  |  |  |  Ferio |
| 2 |  |  |  Camestres |  Camestros |  Cesare |  Cesaro |  |  |  Baroco |  |  Festino |
| 3 |  |  Darapti |  |  |  |  Felapton |  Datisi |  Disamis |  |  Bocardo |  Ferison |
| 4 |  |  Bamalip |  Calemes |  Calemos |  |  Fesapo |  |  Dimatis |  |  |  Fresison |
註解

↑  中国社会科学院语言研究所词典编辑室.  2016年9月第七版. 商务印书馆. 2016: 1121-1122  [2020-07-05]. ISBN 978-7-100-12450-8 （中文（大陆简体））. .......【三段论】.......由大前提和小前提推出结论。如“凡金属都能导电”（大前提），“铜是金属”（小前提），“所以铜能导电”（结论）。.......  引文格式1维护：未识别语文类型 (link)
↑  这个论式还可以推导为：

 {\cfrac {{\cfrac {\cfrac {\forall x(P(x)\rightarrow M(x))}{\forall x(P(x)\rightarrow \lnot (\lnot M(x)))}}{\forall x((\lnot M(x))\rightarrow \lnot P(x))}}\quad {\cfrac {\forall x(S(x)\rightarrow \lnot M(x))}{\forall x(S(x)\rightarrow (\lnot M(x)))}}}{\forall x(S(x)\rightarrow \lnot P(x))}}
↑  这个论式还可以采用反证法来推导：

 {\begin{aligned}&{\cfrac {{\cfrac {{\begin{matrix}\quad \\\forall x(P(x)\rightarrow M(x))\end{matrix}}\quad {\cfrac {\lnot (\exists x(S(x)\land \lnot P(x)))}{\forall x(S(x)\rightarrow P(x))}}}{\forall x(S(x)\rightarrow M(x))}}\quad {\cfrac {\exists x(S(x)\land \lnot M(x))}{\exists x((\lnot M(x))\land S(x))}}}{\cfrac {\exists x((\lnot M(x))\land M(x))}{\bot }}}\\\implies &{\cfrac {\forall x(P(x)\rightarrow M(x))\qquad \exists x(S(x)\land \lnot M(x))}{\exists x(S(x)\land \lnot P(x))}}\end{aligned}}
↑  直接結論是：所有M是P且S。

 {\cfrac {{\cfrac {\cfrac {\forall x(M(x)\rightarrow P(x))\qquad \forall x(M(x)\rightarrow S(x))}{\forall x(M(x)\rightarrow (P(x)\land S(x)))}}{\forall x(M(x)\rightarrow (S(x)\land P(x)))}}\qquad {\begin{matrix}\quad \\\exists xM(x)\end{matrix}}}{\exists x(S(x)\land P(x))}}
↑  直接結論是：所有M是S且非P。

 {\cfrac {{\cfrac {\cfrac {\forall x(M(x)\rightarrow \lnot P(x))\qquad \forall x(M(x)\rightarrow S(x))}{\forall x(M(x)\rightarrow ((\lnot P(x))\land S(x)))}}{\forall x(M(x)\rightarrow (S(x)\land \lnot P(x)))}}\quad {\begin{matrix}\quad \\\exists xM(x)\end{matrix}}}{\exists x(S(x)\land \lnot P(x))}}
↑  这个论式还可以采用反证法来推导：

 {\begin{aligned}&{\cfrac {{\cfrac {{\cfrac {\lnot (\exists x(S(x)\land \lnot P(x)))}{\forall x(S(x)\rightarrow P(x))}}\quad {\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}}{\forall x(M(x)\rightarrow P(x))}}\quad {\cfrac {\exists x(M(x)\land \lnot P(x))}{\exists x((\lnot P(x))\land M(x))}}}{\cfrac {\exists x((\lnot P(x))\land P(x))}{\bot }}}\\\implies &{\cfrac {\exists x(M(x)\land \lnot P(x))\qquad \forall x(M(x)\rightarrow S(x))}{\exists x(S(x)\land \lnot P(x))}}\end{aligned}}
↑  在亞里士多德《前分析篇》裡關於AEE-2的論證中，對小前提進行對換主詞與謂詞位置之後，得出第4格的AEE-4，亞里士多德稱之為再次得到了第1格，沒有因為大項和小項位置顛倒而專門稱之為第4格。在亞里士多德的定義中第1格為中項既是一個前提的主詞又是另一個前提的謂詞。第4格中有4個論式是其他格的等價形式、1個論式是結論弱化形式，因此亞里士多德三段論體系並無缺失。
↑  直接結論是：所有M是S且非P。

 {\cfrac {{\cfrac {\cfrac {{\cfrac {\forall x(P(x)\rightarrow \lnot M(x))}{\forall x(M(x)\rightarrow \lnot P(x))}}\qquad {\begin{matrix}\quad \\\forall x(M(x)\rightarrow S(x))\end{matrix}}}{\forall x(M(x)\rightarrow ((\lnot P(x))\land S(x)))}}{\forall x(M(x)\rightarrow (S(x)\land \lnot P(x)))}}\quad {\begin{matrix}\quad \\\exists xM(x)\end{matrix}}}{\exists x(S(x)\land \lnot P(x))}}
引用

Aristotle, Prior Analytics. transl. Robin Smith（Hackett, 1989）ISBN 0-87220-064-7.
Blackburn, Simon, 1996. "Syllogism" in the Oxford Dictionary of Philosophy. Oxford University Press. ISBN 0-19-283134-8.
Broadie, Alexander, 1993. Introduction to Medieval Logic. Oxford University Press. ISBN 0-19-824026-0.
Irving Copi, 1969. Introduction to Logic, 3rd ed. Macmillan Company.
Hamblin, Charles L., 1970. Fallacies, Methuen : London, ISBN 0-416-70070-5. Cf. on validity of syllogisms: "A simple set of rules of validity was finally produced in the later Middle Ages, based on the concept of Distribution.“
Jan Łukasiewicz, 1987 (1957). Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. New York: Garland Publishers. ISBN 0824069242. OCLC 15015545.
外部連結

Robin Smith. . 扎尔塔, 爱德华·N  (编). .
Terence Parsons. . 扎尔塔, 爱德华·N  (编). .
Henrik Lagerlund. . 扎尔塔, 爱德华·N  (编). .
Aristotle's Prior Analytics: the Theory of Categorical Syllogism （页面存档备份，存于） an annotated bibliography on Aristotle's syllogistic
Abbreviatio Montana （页面存档备份，存于） article by Prof. R. J. Kilcullen of Macquarie University on the medieval classification of syllogisms.
The Figures of the Syllogism （页面存档备份，存于） is a brief table listing the forms of the syllogism.
www.fibonicci.co.uk/syllogisms some fun syllogism tests/quizzes
Syllogistic Reasoning in Buddhism - Example & Worksheet
對立四邊形圖，揭示傳統邏輯四種命題語氣的關係，紅色表示非空，黑色表示空。
陈国强 (1931年)

与「」標題相近或相同的条目页，請見「」。
陈国强（1931年5月18日—2004年7月31日），福建厦门人，中华人民共和国考古学家、人类学家、民族学家。
生平

1947年毕业于厦门英华中学，同年考入厦门大学，师从林惠祥。1951年，陈国强毕业于厦门大学历史系，之后留校任教，开始从事人类学、民族学的教学研究工作。1958年，任福建省少数民族社会历史调查组副组长、高山族社会历史调查组组长，在福建调查少数民族及散居各地的高山族。历任厦门大学历史系主任、人类学系主任、人类学研究所所长、人类博物馆馆长。著有《台湾高山族研究》、《百越民族史》、《简明文化人类学词典》、《闽台考古》、《中国人类学》等。2004年7月31日去世。
参考

↑  庄毅主编；中华人民共和国人事部专家司. . 北京：中国国际广播出版社. 1996.08: 202. ISBN 7-5078-1300-2.  请检查|date=中的日期值 (帮助)
↑  揣振宇，华祖根主编. . 北京：民族出版社. 2005.12: 420–423. ISBN 7-105-07804-9.  请检查|date=中的日期值 (帮助)
↑  王巍著. . 上海：上海辞书出版社. 2014.03: 86. ISBN 978-7-5326-4027-0.  请检查|date=中的日期值 (帮助)
↑  施琳主编. . 北京：中央民族大学出版社. 2006.01: 226. ISBN 7-81056-979-1.  请检查|date=中的日期值 (帮助)
Swing (SJM迷你專輯)

《Swing》是韓國演唱組合Super Junior-M第三張迷你專輯，2014年3月21日發行中文版，同月31日發行韓文版。
簡介

Super Junior-M第三張迷你專輯《Swing》由晟敏、银赫、東海、始源、厲旭、圭賢、周覓和Henry8名成员共同錄制，一共收錄了6首歌曲。3月18日通過中國SMTOWN新浪微博、YouTube SMTOWN頻道公开《Swing》的首個預告片，20日通過《Swing》第2支預告視頻。21日通過中國的各種音樂網站公開《Swing》專輯的全曲音源。在22日直播的中國首个現場投票性的音樂排行節目CCTV“全球中文音乐榜上榜”，展現主打歌《Swing》的首次舞台，也参與在4月初播放的中國音好節目“音好風雲榜”的錄制。