离散数学中的wff是什么意思
答案:5 悬赏:10 手机版
解决时间 2021-11-20 12:45
- 提问者网友：夢醒日落
- 2021-11-19 13:53
离散数学中的wff是什么意思
最佳答案
- 五星知识达人网友：患得患失的劫
- 2021-11-19 15:24
Well-formed formula，可以翻译成：合法的公式。指的是：谓词逻辑中，符合语法的公式。举个例子：
(p → q) ∧ (r ∨ s) 是个合法的公式。但是以下的就不是合法的公式：
(p → q) ∧ (r ∨ )
( → q) ∧ (r ∨ s)
合法公式的定义：
1. 一个符号本身是合法公式，比如：p
2. 如果 φ 是合法公式，那么 ¬φ 也是。
3. 如果 φ 和 ψ 是合法公式，那么 φ ∧ ψ、φ ∨ ψ、φ → ψ、φ ↔ ψ 也是。
(p → q) ∧ (r ∨ s) 是个合法的公式。但是以下的就不是合法的公式：
(p → q) ∧ (r ∨ )
( → q) ∧ (r ∨ s)
合法公式的定义：
1. 一个符号本身是合法公式，比如：p
2. 如果 φ 是合法公式，那么 ¬φ 也是。
3. 如果 φ 和 ψ 是合法公式，那么 φ ∧ ψ、φ ∨ ψ、φ → ψ、φ ↔ ψ 也是。
全部回答
- 1楼网友：神的生死簿
- 2021-11-19 19:25
合式公式
- 2楼网友：渊鱼
- 2021-11-19 18:45
你好，离散数学中wff是谓词公式的意思。
- 3楼网友：空山清雨
- 2021-11-19 17:14
Well-formed formula,可以翻译成:合法的公式
- 4楼网友：冷風如刀
- 2021-11-19 16:07
Well Formed Formula，简写wff，就是合式公式的意思。
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯