Introduction to deductive and inductive logic