Title: Système de Logique déductive et Inductive