ABSTRACT
Logic concerns all types of reasonings such as legal arguments, mathematical proofs, conclusions in a scientific theory based upon a set of given hypothesis. The study of logic will provide the reader certain techniques for testing the validity of a given arguments. Logic provides the theoretical basis for many areas of computer science such as digital logic design, automata theory and computability, and artificial intelligence. The symbols are easy to write and easy to manipulate. One of the important aims of logic is to provide rules through which one can determine the validity of any particular argument. Logic was discussed by its ancient founder Aristotle from two quite different points of view. On one hand he regarded logic as an instrument or organ for appraising the correctness or strength of the reasoning.
