“ ‘a是什么?’ 这个问题是没有意义的” 写成符号化的逻辑语言“ ‘a是什么?’ 这个问题是没有意义的” 能否写成符号化的逻辑语言?它是否等价于：既非存在b,使得a是b.又非对于所有b,都
来源：学生作业帮助网 编辑：六六作业网 时间：2024/11/15 10:55:02
“ ‘a是什么?’ 这个问题是没有意义的” 写成符号化的逻辑语言“ ‘a是什么?’ 这个问题是没有意义的” 能否写成符号化的逻辑语言?它是否等价于：既非存在b,使得a是b.又非对于所有b,都
“ ‘a是什么?’ 这个问题是没有意义的” 写成符号化的逻辑语言
“ ‘a是什么?’ 这个问题是没有意义的” 能否写成符号化的逻辑语言?
它是否等价于：
既非
存在b,使得a是b.
又非
对于所有b,都有a不是b.
“ ‘a是什么?’ 这个问题是没有意义的” 写成符号化的逻辑语言“ ‘a是什么?’ 这个问题是没有意义的” 能否写成符号化的逻辑语言?它是否等价于：既非存在b,使得a是b.又非对于所有b,都
逻辑语言符号化的结果,依赖于你对问题分析的粒度.比如,如果把“a是什么?”这个问题当作一个整体：q；把“问题x是有意义的”当作一个谓词：S(x)；那么上面的话可以符号化为：┐S(q).不过从你的描述来看,你分析地更细,这时就要考虑更多的词项了：
（1）a：某种事物；
（2）是什么：“是”是描述事物属性的一个系动词,但“什么”是一个疑问代词；因此它不能构成命题,而只能构成疑问句；
（3）这个：代词,无需考虑；
（4）问题：比 a 更复杂的一种事物,由（1）和（2）构成；
（5）是有意义的：这是本题的关键；它也是描述事物的一个谓词,可以简单地用一个符号来表示：S(x)：问题 x 是有意义的；
但你没有这么做,而是根据你对它的理解,用命题的形式给出了它的定义.所以,与其说你在符号化句子,倒不如说你在为“问题‘a是什么?’（没）有意义”下定义.
你是对“没有意义”下的定义,但从你的描述中可以看出,你对“问题‘a是什么?’有意义”的理解是：
存在 b,使得 a 是 b；
所以,“没有意义”的符号化语言是：
不存在 b,使得 a 是 b；
而不是你所说的那样.因为,你的描述中的两个部分是相互矛盾的,即你对“没有意义”的定义是自相矛盾的.你可以自己检验,你所下定义所用的这个逻辑公式,是一个假言式.
我不知道