Title: Logique déductive et inductive