关于逻辑学证明规则

这位朋友你的问题写得很模糊哈~
但是我大致是这样理解的 即为否定词消去率 就应该是指命题的“否定”这一概念包含的特征
这里的非（非A）蕴涵 A 指的就是 A的否定的否定即A本身 这里就是为否定本身下的定义 理解这个定义与命题本身假定成什么样无关
其次
朋友你还提出一个论证形式的问题 ：非（非A）在论证过程中的作用是什么
我的理解是 这个论证书写的并不标准
这里的“推出”一词在论证中的表意并不明确
在（1）中表达非A和非A等值 （两个一样的表达式中同时出现的否定与其本身等值)
在（2）中表达非（非A）是由非A 推出 即在这一步中 “否定”定义了自身的性质 即非A和非（非A）中前面的“非”是等值的 (在同一表达式中 否定可以延用）
上面这两步是对否定的一次运用 并且其前提是（3）即有非（非A）存在
在（3）中表达非（非A）则等值于A 到了这步 否定的特性才展现出来 即否定词消去率~
整个过程表达的只是否定自身的定义 理解只要从否定符号出发 不用具体联想命题会是什么 文中提到的否定只以此论证为前提 并只作用于这个论证之中
以上是本人的拙见 希望能对你有一点帮助~

兄弟能说说你这个“否定词消去律”是怎么定义的不？
咱当年学离散的时候，只知道有个双否消去，¬¬A=》A。

这个“否定词消去律”是怎么定义的不？
咱当年学离散的时候，只知道有个双否消去，¬¬A=》A。
¬B+B=U
¬B=U-B
¬¬A= ¬(¬A) = ¬(U-A)=U-(U-A)=A

，¬¬A=》A。
¬B+B=U
¬B=U-B
¬¬A= ¬(¬A) = ¬(U-A)=U-(U-A)=A

风格动感风格豆腐干地方噶人为我而好几个哈师大而硬件防火墙沃尔特替换下大气污染让让啊日加拿大的