An application of the laws of reason that is evaluated by its validity, or logical necessity.

Formal Logic has two branches:  Inductive and Deductive.

Deductive Logic has two branches: Categorical and Hypothetical (or Propositional)