Could the logic reasoning get new concept accept the premises appeared?

[Conbra]

At web http://groups.google.com/group/sci.logic/browse_thread/thread/0aaadc9682655236#
I introduce an example to explain the new logic thought could be
produced after reasoning.
When the propositions “Set A belongs to Set B” and “Set C belongs to
Set D” were inputted into the concept calculator, the following
concept equation was established.

X / (Set A < Set B) * (Set C < Set D) = Dao
This concept equation was solved on the concept calculator and got a
lot of solutions.

Seventeenth solution of this equation is
X = (New / (D < A)) / (New / (C < B))
The explanation of this solution in words is
X = If any category can be gotten from Set C belong to Set B, then
this category can be gotten from Set D also belong to Set A too

New at this solution does not appear at the input condition. The new
category was introduced in the conclusion. Does it extend the logic
thinking? That is to say logic thinking can get new thought according
to the premises. Is it true?

That is to say, this one conclusion could be explained as:

If “Set A belongs to Set B” and “Set C belongs to Set D”; then “if any
category can be gotten from Set C belong to Set B, then this category
can be gotten from Set D also belong to Set A too”.

Above law is logical. All words in the result were produced by concept
calculator automatically.

This example is proved that the logic thinking of mankind can be
automated by machine. Any questions touch me freely.

(All sign at this post are the operations on concept algebra:, see
following web:
http://blog.tom.com/concept_algebra/article/3360.html )

Welcome to discuss

[Frederick Williams]

Conbra wrote:

>
> This example is proved that the logic thinking of mankind can be
> automated by machine.

How can an example--any example--prove such a thing?

--
He is not here; but far away
The noise of life begins again
And ghastly thro' the drizzling rain
On the bald street breaks the blank day.

[Conbra]

On 8月7日, 下午7时43分, Frederick Williams <frederick.willia...@tesco.net>
wrote:

The concept relation must be able to have the comparable property, the
concept algebra could draw the logical conclusions from these
relations.

Conbra