Symbolic Logic

It is a language that manipulates ideas as algebra manipulates numbers. It has been applied with notable success to practical problems requiring unusually precise and economical reasoning