数理逻辑问题:如何理解"原子公式"的概念?若F(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是n个项,则F(t1,t2,…,tn)是合式公式,此类合式公式称为原子公式就是还没有赋值的公式吗?
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/15 07:48:13
![数理逻辑问题:如何理解](/uploads/image/z/3517176-48-6.jpg?t=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E9%97%AE%E9%A2%98%3A%E5%A6%82%E4%BD%95%E7%90%86%E8%A7%A3%22%E5%8E%9F%E5%AD%90%E5%85%AC%E5%BC%8F%22%E7%9A%84%E6%A6%82%E5%BF%B5%3F%E8%8B%A5F%28x1%2Cx2%2C%E2%80%A6%2Cxn%29%E6%98%AFn%E5%85%83%E8%B0%93%E8%AF%8D%2Ct1%2Ct2%2C%E2%80%A6%2Ctn%E6%98%AFn%E4%B8%AA%E9%A1%B9%2C%E5%88%99F%28t1%2Ct2%2C%E2%80%A6%2Ctn%29%E6%98%AF%E5%90%88%E5%BC%8F%E5%85%AC%E5%BC%8F%2C%E6%AD%A4%E7%B1%BB%E5%90%88%E5%BC%8F%E5%85%AC%E5%BC%8F%E7%A7%B0%E4%B8%BA%E5%8E%9F%E5%AD%90%E5%85%AC%E5%BC%8F%E5%B0%B1%E6%98%AF%E8%BF%98%E6%B2%A1%E6%9C%89%E8%B5%8B%E5%80%BC%E7%9A%84%E5%85%AC%E5%BC%8F%E5%90%97%3F)
数理逻辑问题:如何理解"原子公式"的概念?若F(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是n个项,则F(t1,t2,…,tn)是合式公式,此类合式公式称为原子公式就是还没有赋值的公式吗?
数理逻辑问题:如何理解"原子公式"的概念?
若F(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是n个项,则F(t1,t2,…,tn)是合式公式,此类合式公式称为原子公式
就是还没有赋值的公式吗?
数理逻辑问题:如何理解"原子公式"的概念?若F(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是n个项,则F(t1,t2,…,tn)是合式公式,此类合式公式称为原子公式就是还没有赋值的公式吗?
在数理逻辑中,原子公式或原子是没有子公式的公式.把什么公式当作原子依赖于所使用的逻辑.例如在命题逻辑中,唯一的原子公式是命题变量.原子是在逻辑系统中"最小"的公式.在逻辑系统中的合式公式通常通过识别所有有效的原子公式,和给出从两个原子公式建立公式的规则而递归的定义.从原子公式制作的公式是复合公式.例如,在命题逻辑中你有如下的公式构造规则:任何命题变量 p 是合式原子公式.给定任何公式 A,否定 ¬A ("非 A") 是合式公式.给定任何两个公式 A 和 B,合取 A ∧ B ("A 与 B") 是合式公式.给定任何两个公式 A 和 B,析取 A ∨ B ("A 或 B") 是合式公式.给定任何两个公式 A 和 B,蕴涵 A ⇒ B ("A 蕴涵 B ") 是合式公式.所以,我们可以建造任意的复杂的复合公式,比如,从简单的原子公式p、q 和 r 和我们的构造规则构造出 ((p ∧ ¬(q ⇒ r)) ∨ ¬p).