At web
http://groups.google.com/group/sci.logic/browse_thread/thread/0aaadc9... 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
