一阶逻辑使用多少个量词？

0肚疼疼0 2023-03-17 05:54

• 

  __yin为有你

  2023-03-17 06:27

  大写字母 P,Q,R,... 是谓词变量。小写字母 a,b,c,... 是(个别的)常量。小写字母 x,y,z,... 是(个别的)变量。小写字母 f,g,h,... 是函数变量。表示逻辑算子的符号: ┐ (逻辑非)，∧ (逻辑与)，∨(逻辑或)，→ (逻辑条件) 和↔(逻辑双条件)。表示量词的符号:∀(集杀如弦即许松另全称量词)，∃(存在量词)。
  0 讨论(0)
  发布评论:

  提交评论

  ---

  •  加载中...