Inferencia visual para las lógicas normales uri icon