wxflogic / logic_vsi Goto Github PK

如果琼斯赢得选举，史密斯就会退休领然后领取退休金。

多打了个 领 吧:smile::smile:

感谢您的重译，但是您目前的MD版本下载下来是这样的：

我们就可以把上面那个串连起来的推断写成如下形式：
$$ \dfrac{q\qquad\quad}{\dfrac{q\lor p\qquad \neg q}{p}} $$

或者：

若 $$a$$ 是任一语句，逻辑学家通常将论断“$$a$$ 一定为真” 记作 $$\Box a$$，将论断“$$a$$ 可能为真”记作 $$\Diamond a$$。

（用 Typora 和 Mark text 阅读都是如此。）
这实在是没法阅读啊。在线版本是可读的，但复制下来保存又有问题。
请问能不能给一个WORD或者PDF版本下载呢？

第一章在有效性（validity）定义之前，有一句话“It is interested simply in whether the conclusion
follows from the premisses” （逻辑学只关心结论是否由前提推出。），好像漏译了。。。

一直在生啃英文版，对照阅读你翻译的中文版，收获良多。
发现你翻译的中文版修改了我在美亚上购买的英文版的一些错误，甚是惊喜。

关于14章的翻译中的一个细节，我有个疑问。

https://wxflogic.gitbook.io/logic/chapter14

关于这里面翻译的“最左列”，我联系上下文发现，这里应该说的是“对角线”。
因为我理解对于这里的论证过程，作者想要描述的是：
针对每一个x，T(x)和Px(x)的输出一定是不一样的，所以，T(x)一定不在这条对角线上，但是所有的程序都应该在这个对角线上有一个位置。
这样就出现了矛盾。

不知道我理解的是否有误，并且第一次使用github，关于用法和习俗也不太了解。
有冒犯之处和理解偏差之处，欢迎批评指正，多多交流。

我想读一下英文版，有个链接也行 多谢

PDF 頁碼
p. 19 universal quantif[i]er
p. 95 第一句「不是[演繹]有效」