Describir: Logique déductive et inductive