I'm confusing with this question. How can we tranlate a sorting algorithm for a list of N numbers to predicate logic, especially for insertion sort? Thank you very much!
Asked
Active
Viewed 66 times
0
-
Have you attempted to figure this out on your own? – Robin Goodfellow May 04 '15 at 16:56
-
you may have to use many rules of inference like modus ponens. – Proton Boss May 04 '15 at 17:56