What logical conclusions will be drawn from “Set A belongs to Set B”
and “Set C belongs to Set D” ?
When this condition inputs to 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.
Twenty-third solution of this equation is
X = ((A < D) / New) / ((B < C) / New)
The explanation of this solution in words is
X = If Set B belong to Set C can be gotten from any category, then Set
A belong to Set D can be gotten from this category 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 from 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 Set
B belong to Set C can be gotten from any category, then Set A also
belong to Set D can be gotten from this category 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 )
