转瞬壹刻
指形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入原则。
熊猫虾仁@三侠
你说的“就近指代”并不是一成不变的规则.在很多情况下,用关系代词引导的定语从句可能无法紧跟在先行词之后,这时就形成了所谓“分裂式定语从句”.在这种情况下,关系代词指代哪个名词,就只能从句意来判别,不能只看远近了.例如：There is a big cream cake on the table which her mother bought specially for her as a birthday gift.显然,which 指代 cake,不可能指代 table.至于你的自编例句,如果谁看了都无法判断关系代词指代谁,那么这个句子就是一个病句,因为语言是用来沟通的,如果别人无法理解一个句子,也就无法沟通,那么这个句子肯定有问题.当关系代词之前出现一个以上的名词时,关系代词指代哪一个名词,必须是显而易见的,如果有歧义,作者就应该修改他的句子,而不能让读者绞尽脑汁去猜测.其他代词的使用,也是同样道理.
优质英语培训问答知识库
