您所在位置：主题：大家好啊 我有一个地方不懂 请帮帮俺啊
maoming627
[专家分：0] 发布于 2005-09-04 23:08:00
{t|(存在量词u)(S(t)交Ｒ（u)交t[3]<u[2])} ＝Ｒ３
Ｒ Ａ Ｂ Ｃ Ｓ Ａ Ｂ Ｃ
１ ２ ３ １ ２ ３
４ ５ ６ ３ ４ ６
７ ８ ９ ５ ６ ９
Ｒ３ Ａ Ｂ Ｃ
１ ２ ３
４ ５ ６
？？？？？？？？？？？？？？？？？？？？？？
Ｒ Ａ Ｂ Ｃ Ｓ Ａ Ｂ Ｃ
１ ２ ３ １ ２ ３
４ ５ ６ ３ ４ ６
７ ８ ９ ５ ６ ９
Ｒ３ Ａ Ｂ Ｃ
１ ２ ３
４ ５ ６
？？？？？？？？？？？？？？？？？？？？？？
