5 examples of deductive logic