Logic. Inductive and Deductive