Describir: Système de logique deductive et inductive.