考虑OIP-GT计划，不用数字变量，即OP.
此时猜想程序的输入是一张表T:(O,P)→{0,1}, 其中T(O,P)=1当且仅当事物O具有属性P.
猜想程序可以得到这种类型的猜想：∀O T(O,p1)→T(O,p2)
考虑到O和P的地位“看上去”是对等的，把这张表转置一下，再送入猜想程序，它可以得到这种类型的猜想：
∀P T(o1,P)→T(o2,P)
这“显然”是荒谬的，因为O和P的地位实际上并不对等。但它们哪里不对等？
“物”是什么？“命题”是什么？
不深入到这些概念本身，而只是通过表格T——使用概念的方式——理解概念，是无法回答这个问题的，因为表格行和列的意义在画表格时丢掉了。
此时猜想程序的输入是一张表T:(O,P)→{0,1}, 其中T(O,P)=1当且仅当事物O具有属性P.
猜想程序可以得到这种类型的猜想：∀O T(O,p1)→T(O,p2)
考虑到O和P的地位“看上去”是对等的，把这张表转置一下，再送入猜想程序，它可以得到这种类型的猜想：
∀P T(o1,P)→T(o2,P)
这“显然”是荒谬的，因为O和P的地位实际上并不对等。但它们哪里不对等？
“物”是什么？“命题”是什么？
不深入到这些概念本身，而只是通过表格T——使用概念的方式——理解概念，是无法回答这个问题的，因为表格行和列的意义在画表格时丢掉了。
