本质上是一样的，数学上直接用的是我说的形式。一般的命题的形式是满足x，y，z性质的有性质s。那么如果我们定义A为所有满足x，y，z性质的，那么证明B满足x，y，z性质就等于证明B是A，那么B就有性质s。


【 在 Soloman 的大作中提到: 】
: 这个不是三段论，你数数有几段？
: 三段论的范式是：
: A有什么什么性质
: ...................
--
FROM 123.114.55.*