以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 人工智能 :: 机器学习|数据挖掘|进化计算 』  (http://bbs.xml.org.cn/list.asp?boardid=62)
----  ～ (ANY)x (ANY)y (P(x,z)) 逻辑～符号如何提到谓词附近去?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=62&rootid=&id=86413)

--  作者：njkzkj
--  发布时间：8/24/2010 8:51:00 AM

--  ～ (ANY)x (ANY)y (P(x,z)) 逻辑～符号如何提到谓词附近去?
～ (ANY)x (ANY)y (P(x,z)) 逻辑～符号如何提到谓词附近去?
～ (ANY)x (ANY)y (P(x,z)) <=> ～ (ANY)x( (ANY)y (P(x,z))) <=> (EXIST)x[～(ANY)y (P(x,z))] <=> (EXIST)x (EXIST)y (～P(x,z)))
这样的推理正确吗?
另外对于这样的
(ANY)x (P(x) -> (ANY)y Q(y))
是不是可以化简为
(ANY)x (P(x) -> Q(y))
还是化简为
上面的逻辑式相当于
(ANY)x ((ANY)y  P(x) ->(ANY)y  Q(y))
<=> (ANY)x (ANY)y  (P(x) -> Q(y))
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 31.250ms