**Logic:**

Logic can be defined as a scientific study of the process of reasoning and the system of rules and the proccdures that help in the reasoning process.

The logic process takes in some information (called as premises) and produces some outputs (called conclusion).There exist some basic laws that help in theorem proving.

Consider the following three sentences:

1. All horses have four legs.

2. Misty is a horse.

3 therefore misty has four legs.

The first two sentences are called as premises and the third sentences is a conclusion.

**Logic is basically classified into two categories:**

- Propositional Logic.
- Predicate Logic.