欢迎来到就算过了一载春秋的博客

不管过了几载春秋,我还是会偶尔想起。

2020年12月8日

有些狮子不喝咖啡:条件式与合取式的翻译

摘要: 一、引例 考虑下面这些语句。其中前面两句称为前提,第三句称为结论。合在一起作为一个整体称为是一个论证(argument)。 “所有狮子都是凶猛的。” “有些狮子不喝咖啡。” “有些凶猛的动物不喝咖啡。” 令$P(x)$、$Q(x)$和$R(x)$分别为语句“x是狮子”、“x是凶猛的”和“x喝咖啡”。 阅读全文

posted @ 2020-12-08 13:23 就算过了一载春秋 阅读(1095) 评论(0) 推荐(0)

导航