设一阶逻辑公式
举一反三
- 设A为任意一阶逻辑公式，若A中[input=type:blank,size:8][/input]，则称A为封闭的公式
- 设【图片】、【图片】是一阶逻辑公式，【图片】是一个谓词，【图片】,【图片】,则一阶逻辑公式【图片】是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 中国大学MOOC: 对一阶逻辑公式
- 任何一阶逻辑公式经过解释都是命题。
- 设G、H是一阶逻辑公式，P是一个谓词，[img=85x25]180398112049463.png[/img], [img=86x25]1803981128ab7a4.png[/img],则一阶逻辑公式[img=58x19]1803981131cb041.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确