3 ms·
I don't see why it wouldn't be possible. If you could get arguments reduced to individual propositions, you could begin to run the resolution algorithm to find
by jsprogrammer 11y ago
I don't see why it wouldn't be possible. If you could get arguments reduced to individual propositions, you could begin to run the resolution algorithm to find new conclusions.