我们令S表达上例问题中的太阳系的,y表示问阈中的任意个体有卫星的行星,然后y加括号,则有S(y)表示题设命题;Ci表示互不相同的个体常元,i =1、2、3,那么我们用个体常元代入S(y),则有解答S(ci);我们再用|
我们令S表达上例问题中的“太阳系的”,y表示问阈中的任意个体“有卫星的行星”,然后y加括号,则有S(y)表示题设命题;Ci表示互不相同的个体常元,i =1、2、3……,那么我们用个体常元代入S(y),则有解答S(ci);我们再用“|”下标表示选择,“|”前的数目表示择取的数目,如(m |y)表示从中y择取m例。问(g)要在范畴条件下给出一例,记作λ(1|y),那么:λ(1|y)S(y)=(y)λS(y) (i=n)=λS(c1)∨λS(c2)∨λS(c3)∨…∨λS (Cn?1)∨λS(Cn) 或=(y)λS(y) (i=∞)=λS(c1)∨λS(c2)∨λS(c3)∨…… 可
不妨把它化为抑或型问题表达式: λ[S(c1),S(c2),
S(c3),…,S(Cn?1),S(Cn)]而问(h)要在范畴条件下给出两例,记作λ(2|y),我们又设题设所供选项组合数C=h,那么:λ(2|y)S(y)=(y1)(y2)λ[S(y1)∧S(y2)∧
y1≠y2]由此我们可以推及一般的指例孰问,例如问:太阳系至少有哪些有卫星的行星?意即,在太阳系中有卫星的行星的m例是什么?那么有λ(m|y)S(y)= (y1)(y2)…(ym)λ[S(y1)∧S(y2)∧…∧S(ym)∧y1≠y2∧y1≠y3∧…y2≠y3∧…ym-1≠ym]
对于问(i),我们用最简明的符号“-”附在某数字后,表示排他性地择取,那么它是唯真的,意即“恰好有……”,并且问(i)要求在题设范畴条件下排他性地择取并确立一颗,把它表示为λ(1-|y),则此确选孰问:λ(1-|y)S(y)=(y1)λ[S(y1)∧(y2)][S(y2)y1=y2]=λ[S(c1),S(c2),S(c3),…,S(Cn-1),S(Cn)]
设选项组合数C=h,同理,问(j)解析为:λ(2-|y)S(y)=(y1)(y2)λ[S(y1)∧S(y2)∧(y1≠y2)∧(y3)][S(y3)y3=y1y3=y2]它的一般形式λ(m-|y)S(y)= (y1)(y2)…(ym)λ[S(y1)∧S(y2)∧…∧S(ym)∧y1≠y2∧y1≠y3∧…y2≠y3∧…ym-1≠ym∧(ym+1)][S(y3)ym+1=y1 ym+1=y2…… ym+1= ym]
我们看问(k):太阳系总共有哪些有卫星的行星?问(l):太阳系总共有哪些行星?全举孰问要求无保留的全举出符合题设的真项来。我们仍用“E”表示全举,那么问(k):λ(E|y)S(y)=λ(1-|y)S(y)∨λ(2-|y)S(y)∨λ(3-|y) S(y)∨……(i=∞)或=λ(1-|y)S(y)∨λ(2-|y)S(y)∨λ(3-|y) S(y)∨……∨λ((n-1)-|y)S(y)∨λ(n-|y)S(y)(i = n)问(l): S(Ci)λ(E|ci)=λ [S(c1),S(c2),S(c3),…,S(Cn-1),S(Cn)]
=C1∧C2∧C3∧……Cn实际上n=9,即C1,C2,C3,C4,C5,C6,C7,C8,C9。
在以上的分析中,我们就三种基本类型作了扼要讨论:根据题设条件范畴y举m例的孰问题,恰好有m例的排他性择取的孰问题,以及全部列出的孰问题。这种分析类似于上一节的抑或问题,它们是以问题所要求的、直接解答的完备性为标准的。当然,问题的复杂性远不止这些,还有更多的问题有待进一步分析和研究。
注释:
① 即转换?生成语法,美国语言学家乔姆斯基(N·Chomsky)吸收了现代符号逻辑的一些研究方法创建的语法系统和语言结构解释方法,其1957年的《句法结构》一书为诞生标志,主要包括短语结构理论和转换理论。 ② 施问者与受问者可为同一人;选项即问题题设所包含的可选命题。
③ n!、k!、(n?k)!分别表示n的阶乘、k的阶乘、n?k的阶乘。
④ 此问题是预设为假的问题,这一点忽略不管。
参考文献: aarty School of Guangdong Provincial Committee of CPC, Guangzhou 510050, China)
Abstract: “Interrogative logic” is also called “interrogative sentence logic”, of which the study includes the form, structure and logicality of the interrogative sentence. The practical questions or interrogations in daily living can be made into a variety of classification, whereas the logical ones ought to apply scientific logic dichotomy, i.e. the interrogative sentences are logically divided into two main types of whether question and which question. After that, the questions can be going on into in-depth study by further assortment on the basis of the logic dichotomy.
Key Words: interrogative logic; interrogative sentence; whether question; which question (责任编辑:南粤论文中心)转贴于南粤论文中心: http://www.nylw.net(南粤论文中心__代写代发论文_毕业论文带写_广州职称论文代发_广州论文网)
顶一下
(0)
0%
踩一下
(0)
0%
版权声明:因本文均来自于网络,如果有版权方面侵犯,请及时联系本站删除.