模板讨论: 逻辑学

关于此版块

不可编辑

本站内容使用 CC BY-SA 4.0 授权。

发起新话题

为什么相继式属于命题逻辑而推理规则属于谓词逻辑

1 个评论 • 2023 年 11 月 1 日 (三) 08:27 2023 年 11 月 1 日 (三) 08:27

1

由Ice1000做出的摘要

搞了个基本概念, 看起来也没有人反对

Ice1000 (讨论贡献)

这是因为它们本来就是这么分类的吗? 有没有可能单独弄个相继式盐酸的分类, 里面弄这些, 再写个判断

2023 年 10 月 4 日 (三) 06:38 2023 年 10 月 4 日 (三) 06:38

没有更早的话题

取自 “https://www.bananaspace.org/wiki/模板讨论:逻辑学”