Is there any algorithm or procedure for an *automatic* translation of English sentences to symbolic logic? I see that there are methods for processing a sentence manually, I mean looking for "if", "then", "and", "or", etc. and then generating the equivalent logical expression. However, I was looking for something where I can give many sentences and the algorithm would generate the equivalent logical expressions automatically.
Thanks and regards.
Masud

No, because you will have to deal with the ambiguity of "or" in English, which can have an inclusive or an exclusive meaning.
