谓词逻辑的“多余的”量词问题

paoge · 发表于 2009-9-10 21:51

因为打不出倒A符号，所以用√来代替倒A也就是“任意的所有的”符号。
（√x）（（√y）P（x）），这个谓词公式里面的√y能不能去掉？有没有这样的定理或者说推论？我这本教材上暂时没找到提到这个东西的，应该叫多余的量词吧。

ygq的马甲 · 发表于 2009-9-10 22:05

[这个贴子最后由ygq的马甲在 2009/09/10 10:08pm 第 3 次编辑]

应该可以去掉 "y 的
"
楼主会用 UBB 代码吗？？？ "[/]

paoge · 发表于 2009-9-10 22:38

应该？这么说不严谨哦。。。
关于本贴的符号，因为之前在其他论坛先发，直接拷过来的，没注意到本论坛的UBB，下次会注意，谢谢提醒。

ygq的马甲 · 发表于 2009-9-11 06:46

下面引用由paoge在 2009/09/10 10:38pm 发表的内容：
应该？这么说不严谨哦。。。
关于本贴的符号，因为之前在其他论坛先发，直接拷过来的，没注意到本论坛的UBB，下次会注意，谢谢提醒。

所谓的 ("y) ，也就是一个“变量声明”而已。既然后面没用到，也就是后面的“真值表”与这个变量无关，写上与不写上，其结果是一样的
反过来说，“不能去掉”会是不可想象的。from A to Z ，是不是都要写上？？？你写着不累，别人看着却会非常非常累的。嘎嘎嘎……

paoge · 发表于 2009-9-11 09:41

搜了一下没有用UBB打这些符号的方法，在数学论坛上这个技巧很重要，暂时不想搜了，楼上可不可以在这个贴教一下，非常感谢

ygq的马甲 · 发表于 2009-9-11 09:48

[这个贴子最后由ygq的马甲在 2009/09/11 09:49am 第 1 次编辑]

下面引用由paoge在 2009/09/11 09:41am 发表的内容：
搜了一下没有用UBB打这些符号的方法，在数学论坛上这个技巧很重要，暂时不想搜了，楼上可不可以在这个贴教一下，非常感谢

唉，上面早就已经给了呀。晕倒中……
楼主会用 UBB 代码吗？？？ "[/]
[B]按 UBB 用法，后面要改成结束符的，否则你就看不出了。其它字符也是同样用法的，从 symbol 字符集中找到后，按“复制”……[/B]
例如阿列夫符号 À

ygq的马甲 · 发表于 2009-9-11 09:52

[这个贴子最后由ygq的马甲在 2009/09/11 09:52am 第 1 次编辑]

UBB 开始：
UBB结束：[/font.]

paoge · 发表于 2009-9-11 09:54

[/font.][br][br]-=-=-=-=- 以下内容由 paoge 在时添加 -=-=-=-=-

paoge · 发表于 2009-9-11 10:00

04x[/font.]

paoge · 发表于 2009-9-11 10:02

下面引用由ygq的马甲在 2009/09/11 06:46am 发表的内容：
所谓的 ("y) ，也就是一个“变量声明”而已。既然后面没用到，也就是后面的“真值表”与这个变量无关，写上与不写上，其结果是一样的
反过来说，“不能去掉”会是不可想象的。from A to Z ，是不是都要写上 ...

("y)

		自动登录	找回密码
密码			注册