Applications of logic What are some applications of symbolic logic? I tried using Google and Bing but just got a bunch of book recommendations, and links to articles I did not understand.

It aids mathematicians to explain or describe something i.e. a specific statement in such a way that other mathematicians will understand, also it makes the statement open to manipulation, furthermore it is less time consuming to write an equation than the whole statement. Also it is a universal language which is understood by all and there is no error when translating text, and finally you can focus on the important part of the statement.
