Archivo de deducción lógica