-logique    -deduction