关于逻辑学证明规则若否定词消去律为¬-那么¬¬-该如何证明 打太多字会被百度吞,就将就点吧

关于逻辑学证明规则
若否定词消去律为¬-
那么¬¬-该如何证明
打太多字会被百度吞,就将就点吧.
图片若看不清晰，以下是我百度空间上传的图片

兄弟能说说你这个“否定词消去律”是怎么定义的不?
咱当年学离散的时候,只知道有个双否消去,¬¬A=》A.
再问： 看不清楚，还有一空间地址 http://hiphotos.baidu.com/godload/pic/item/77d24dfd7e77802cd6887d9e.jpg
再答： 没有看到你的书，只能根据你所提供的图片，加上当年学的一点东西来理解了。 1.¬¬A，¬A推出¬A， 2.¬¬A，¬A推出¬¬A， 这两点注明应用的是肯定前提律。所谓的肯定前提律是这样的，如果你的前提是永真的话，那么就可以推出任何结论，这个式子依旧是真的。换句话说，就是1推出1，1推出0. 写一下真值表就可以很容易的看出这一点。 由于¬¬A是¬A取反，两者的析取式必然是永真的。所以，由肯定前提，1和2都成立。 至于第三步是怎么从第一第二步推出来的，我还在查各种资料…… 现在关于数理逻辑这一块太混乱，各种符号怎么用的都有，读起来太闹心了。
再问： ¬¬A推出A。 所以A推出A。 当n=1时，A1推出A1， A1，…，An推出Ai（i=1，…，n）。 根据上述规则，肯定前提律包括无穷之多推理规则或关系。 A是自明的，所以A推出¬A。 于是¬¬A推出A。 若这样去考虑，是不是陷入了循环定义？若哪里想错了，还请指教出来。
再答： 兄弟，不说逻辑上的问题，你这个证法是绝对不行的。 命题逻辑是绝对形式化的，不能掺杂任何直觉逻辑的东西进去。 所以才会有证明A推出A这种在直觉上显然成立的题目。 所有的证明步骤都必须严格来自公理集和前提，像你上述这种证法肯定是不合规则的。 另外，像“所以A推出¬A。”这种推论是明显的错误。 不知你看的是什么书，你也一直没有说明。但从你写出的推理过程来看， 你读的书在这方面显然很不合格。建议你读 Logic for Mathematicians, Revised Edition, by A. G. Hamilton 我们当年跟应哥学的时候用的是英文版的，讲得很好。 只可惜到现在多年不用，又都忘得差不多了。唉。
再问： 根据“由于¬¬A是¬A取反，两者的析取式必然是永真的”，解决了一些疑惑。由此也重新思考了重言式 这本书是对逻辑学开创方面有着杰出贡献的几位专家年轻时所写的，书名《形式逻辑原理》，读了不止一遍。每一次重新翻阅都有新发现 这本书没有问题，最近再次翻阅发现看不懂了，无论生活亦或是学习上都带来了困扰，烦请给出合理的思路 空间里有这本书的读书笔记，要需要，可以去看看 在此，谢谢了！
再答： 下了一本这个书，明白了。 1.¬¬A，¬A推出¬A， 2.¬¬A，¬A推出¬¬A， 这两步了解了吧，明白了就不说了。 第三步，¬¬A推出A。首先说“否定词消去律”。在这本书里的定义是： ¬A->B,则 ¬B->A 没问题吧。 那么由1，用否定词消去律，得到：¬¬A推出A，¬A 再用肯定前提律，A，¬A推出A 上两式使用传递律，就有¬¬A推出A了。 兄弟，你这本书可是七八十年代写的，作为入门没问题。 但要是真想研究一下数理逻辑，还是换本外文教材比较靠谱。 还是推荐汉米尔顿的书。搜到一个比较老的版本，可以凑活着看看。 http://ishare.iask.sina.com.cn/f/12485822.html