Definition of Logic
Is the science and art of reasoning well.
Law of Excluded Middle
Any statement is either true or false.
Law of Identity
If a statement is true, then it is true. If a statement is false, then it is false.
Law of Noncontradiction
A statement cannot be both true and false.
Definition of Formal Logic
Deals with the proper modes of reasoning.
Definition of Informal Logic
Deals with operations of thinking that are indirectly related to reasoning.
Definition of Induction
Is reasoning with probability from examples or experiences to general.
Definition of Deduction
Is reasoning with certainty from premises to conclusions.