Uso legítimo de IA en FOL