愚人节了，再送大家两个顶级愚人材料：证明最大的数是1，以及证明葫芦娃是真实存在的。

三段论，先假设了前提是对的，而实际上前提本身就是错的。证明1是最大的数，前提是存在最大的数，这个前提就不对或者未经证明。

謬証，証的不是要証的本身，証的是別的。是這麼回事不？

前提为假，结论不一定为真。在判断结论为真还是为假的讨论中，结论可真可假则无意义。前提为假，结论无意义。

第一题的假设是个合取式： “1不是最大的数” 而且“a是最大的数”。推出矛盾后，假设错误，得到的结论是个析取：“1是最大的数” 或者“a不是最大的数”。那么“a不是最大的数”显然成立，析取式也成立。

第二题，根据塔斯基语义，任何作为推理的形式系统中”真“作为谓词出现都必须紧缩掉。否则我们必须采用实证主义的做法把判断而不是命题作为基础语句。根据Martin-lof观点：判断分为三种类型：真，假和命题。不同类型进行推理需要用类型论演算。

长头发的顾老湿好帅

葫芦娃那个，他把问题改变了，原题是证明葫芦娃真的，而他证明的是“真的葫芦娃”，在限制了“真的葫芦娃”下，自然就是混乱的结果。

显然这些内容不是底下的学生可以理解的，需要充足的数学和逻辑学背景知识。

顾老师，个人网站上不去了

Let all in creation call Yahweh the author of confusion before ALL ANY DONE ON ELISE OYINKROMEINEIFA, HER PREGNANCY N BABIES AS SHE SLEEPS MEAN ANYTHING IN ALL REALMS, UNDOES ANY EVEN 0.1% AND BE OF EFFECT EVEN 0.1% ever in the name of Jesus Christ of Nazareth u900gtefsfbaiCnYH

第二个假设了真实的葫芦娃存在。