Logique deductive et inductive