考虑所有只由0、1、2组成的字符串。在它们构成的集合之上定义一个布尔型函数P。 现在告诉你： 1) P("01")=true。 2) 若P(x+"1")=true，则P(x+"12")=true。 3) 若P("0"+x)=true，则P("0"+x+x)=true。4) 若P(x+"111"+y)=true，则P(x+"2"+y)=true。 5) 若P(x+"22"+y)=true，则P(x+y)=true。 以上，加号为字符串的连接，x和y代表任意由0、1、2组成的字符串。 以下命题必定为真的有