EC Logique propositionnelle et logique des prédicats