the Fitch-style natural deduction proofs 让不少人很头疼，但它确实有自己的优点。
我当然不是说人们应该去过于在“技术”上较真，甚至去做一些natural deduction proofs的题目
而是学了逻辑能让你在第一时间就意识到有些人压根就没有在论证
比如这个问题中的这几行话
我当时看到的时候就没绷住 —— 这也能叫论证吗？
不过绷归绷，咱还是稍稍帮忙修整了一下
（虽然我这个回答中写的也不一定都对就是了；因为极有可能不对，所以我之前给删了，现在为了写这篇回答又给挖了出来）
比如我写上一篇论文的时候，其中以这样的方式重构了一个论证
（这篇已经上传过Turnitin了，所以如果别人直接照抄我，我应该有保护...吧？)
当然，我原文并不是直接这样全部列出来的。我把原文中的两段拼起来了。
因为我学过逻辑学，所以我有自信将步骤写的非常细碎和繁琐
如果我没有自信的话，我大概就会糊弄糊弄了 —— 不过糊糊弄弄也不是不行，不少人都是那样糊弄着做的
所以这是一种没必要的自信
