填空题
“所有S不是P。”这个命题形式的逻辑常项是（）。逻辑变项是（）。
发布日期：2021-03-29
试题解析
逻辑常项
逻辑常项是在命题逻辑中的逻辑形式的联结词。逻辑常项是逻辑形式中不变的部分,表示思维的形式。简单命题，例如“所有金属都是导电的”、“有些顾客不是会员”等，这类命题可以写成“所有S都是P”、“有些S不是P”的表达形式，其中，“S”和“P”是逻辑变项，“所有……都是……”、“有些……不是……”是逻辑常项。复合命题，例如“如果天下雨，那么地湿”、“或者你去参加比赛，或者我去参加比赛”等，这类命题可以写成“如果P，那么Q”、“或者P或者Q”，其中，“P”、“Q”是逻辑变项，“如果……那么……”、“或者……或者……”是逻辑常项。
- 中文名
- 逻辑常项
- 外文名
- Logical Constants
命题形式
命题形式(propositional forms)数理逻辑术语.是由命题变元p,9,r,…和命题联词二(非)，八(与),V(或)，~(若……则……)，~(当且仅当)按下列规则形成的公式:
- 中文名
- 命题形式
- 外文名
- propositional forms
题王网让考试变得更简单
扫码关注题王，更多免费功能准备上线！
