Ducrot hace una clasificación lógica de las presuposiciones o lo implícito en: