在数学研究中，我们经常需要寻找一个命题的充分条件。有时候，我们在解题过程中会不自觉地思考结论的充分条件。例如，等底等高便是两个三角形面积相等的充分条件，这就为我们证明三角形面积相等指明了一条道路，接下来我们只需要说明那两个三角形的确是等底等高的就行了。又如，“任意顶点的度数大于等于n/2”是“无向图存在Hamilton回路”的充分条件，它经常被用来说明一个图有Hamilton回路。不过，与寻找必要条件不同的是，寻找一个命题“可以由什么推出来”是一个逆向思维，构造一个充分条件并不容易。有没有一种寻找充分条件的系统方法呢？我最近几天加班加点地研究，终于完成了一个充分条件分析器。你可以在输入框中属于一个与变量x相关的命题，系统将自动给出一个命题的充分条件。这个系统虽然是测试版，但它已经十分强大了。它不仅支持三角函数、对数函数、指数函数、阶乘等各类函数，还支持极限、微分、积分运算，甚至能够处理包括中文在内的自然语言。如果你不知道该输入什么，你可以先点击下面的几个样例试一试。
大牛！原理？
目前不论输入啥都显示 |x|<0
哦，我忘了考虑时间因素了么。。
我承认，时间是个重要的因素…… ^_^ ，看到 |x| < 0 就应该想到……
js 文件的标题……
http://www.matrix67.com/data/scripts/fool.js
哈哈 时间 很强大啊
– –
刚看到以为是April Fools
现在这个程序是真的…
…被忽悠了…Matrix大人愚人节快乐
|x|<0果然是万能充分条件。。。谁让推出是not … or …呢……
M大人愚人节快乐！
http://www.azuis.cn/blog/article/Internet/101.htm
一个好玩的Flash解谜游戏
Example 4.= =..
被骗到了 愚人节快乐
|x|<0 呃。。。
愚人节？
好吧，我承认，我被愚了
(
26757406659821805140785264680010372274498430542512150820986648726614825442628080
91409263288326737142002148749934726109139254900116220406265850072136111512929830
65198618746106622253544881885933434709673389867009228596678085502285308023374893
02467012686745009109518058010479088391269648165236867504012711060969236304159220
71430558979067304851331649552552467178281406985568026629647622220237594738159148
00043191525971232658406595766680914087737164113947666256743185572811766528273340
62674869564505398843317850004262057083707748113800290144472528953749231157766083
95401756248064445708944314033786607241345125837072843335201510179715179534760872
93128456693004621117531158137808348506442099496907211820280291824213378453221921
87763943541340276023617482914643980442283423755891918053237014787270701049209222
35075019215005156242424587588786599596477679714166845958342737936156469253351183
75093257232442272644125485043803053470811646595876045708111150554646694314437317
13347415735904949662684655124330034465272628173401723704326212964152602007685240
12178436851567696760403249281106823787338807719381042519556157268766917912043271
34895113831354288868858048316351171656992495726941884432586669961554383173727113
37747500144985002838787294776710705120216755777942955788797078395886026540711795
4162686093144623,
26761730098282716803947593724260480255296034114187936403361247608951058184769844
60420976780905654792098662517637350299686500668308633704296523790793770843468344
20599038793437354280614428269764521820856869592028199317487734329415322057391948
49848606740400086083242607437880096786781347948737402572364911534937526957718260
30923982416821271366747779961821976063472798970713731648885890849905286876921929
76216599291230543157159901441920715195645671598342007979769036670028375467322902
31140789945467286971777977741826583850863700015059770083184119798302136430032350
00106306154961428942292398561494099317556431148398780181448921052476051415642488
71108619084861816219619176179712787196080135857392743061351805539054944065099162
37625184190100394708740095790423456493572281774573812955348444075379236208868477
61498994659548002628172403011686078081883295161114666757195730464535315824733031
84636364271726528464982352061238813706702831738765327394196974529586011943780616
44472101748670599333668387455579091574038012339752343697462915067355856631141857
07781168215431652936089940154093316976341655197768193613282526291356914854067698
14995717041606308592709248905451534737560186226678687871137639010679123992586406
61809452218895617192485271227366919107611356527661932203497851014861529835200408
1683209185728255,
26784777783315257955569644447676409747215608969744276840107858657123815776249338
43686946157865123055266174513730298261198246882551030216647013919677418859378636
08329535747542129312286593424140038189055792635256013059196877415895651031975729
29109464228448287734340370821208692638033867373210677115808231521091420386248501
30220424586379921508186305868632421589829901476305649417244389963551163693372648
20937886061801469477823760810485575487668158022125290329209872105147770033623623
82505113501091838109263667231APRIL.FOOL!0479905083037813070526884513291104499500
96457982569706735378040161385942949385065869492641856190152837721401091093923455
58669712627971546688194013886085678610396700539278434453320045174082158548613661
11587496580214554520403476566807032038430089287258781339813590240511874399148567
46444071338703609505017025243109413770825805271369738718371414879405345006534898
18253915297691249763821775693158297518260620049867590096585369171568726812598119
90133751945268337613143003129593014812524495909490835034044823851300118037035889
14526990039773990863235526120105895868749988107895047450007297249939007063598914
51604253602524109179174240201396699819278177375598746896239386135879516490344339
17468727128717841400047373319344925109958154680265165309222845689371671299515993
26240065141385210961890495070585915837982265498697910594053796674661962946943778
45689080502901556509272617407136165053510739697236930805745912184085270273178866
7709596078031262
)
好吧，我也承认我被愚了。。。
果然是过节。。。*_*。。。
|x|<0 ⇒ x大于你今天点击“Compute!”按钮的次数
April Fools day!
又是一年…april fool!
我得到了结果是:”|x| Fuck U”
….
|x|0
这好像不对啊
果然是节日礼物~~
栽了！
没骗到！
这个 joke 比我今年设计的要好玩.
相当有创意，赞！:D
真狠啊
同乐同乐~
囧…
被骗了。。。。
– -愚人节快乐
好吧，我承认没想到时间因素……
哈！盼了一天了晚上能来上会网，就为了来看这个！
今天第二次被愚到。。。。
好吧……我上当了……
april fool
Compute==>>
|x|<0 ⇒ april fool
……………..
|x|0
这个好像不对了吧？
如果填的是绝对值x大于0，就好像不对了吧
fooled
幸好 我学过数理逻辑啊~~
@TZ the Killer
很可惜，既便如此它也对。这就是集合的“蕴含”概念的理解。
|x|<0 ⇒ 此分析器是有意义的
|x|<0 ⇒ matrix…
我不懂,为什么|x|<0就可以 呢?
牛人解释下
|x|0
晕，加班加点想出愚人节的礼物了…
|X|<0 真够强的 愣是过了一天后才明白过来 数理逻辑原来这么强大 -_-|
一个错误的前提可以推出一切结论…
我囧，被忽悠到了……
好
|x| Matri(x)67
我看了example1后直接输入April Fool，输出竟然是|x|<0，当场明白了，看来有意整一整规则还是很能帮我们发现问题的
|x|<0 ⇒ Matrix67不是***的所有可能条件
竟然隐约猜到了…
|x|0
嗯……
相当有创意，赞
被耍了……………………
“一个错误的前提可以推出任何结论”==是这样的吧？
有意思。我看到第一句就猜到你要用永假式来推出一切命题了。。。不过你可以多弄点不要只是|x|<0啊太明显了。。
似乎有一个单引号和一个双引号变成了html转义字符，导致Example 2不见了……