Lógica básica con afirmación alterna uri icon