Árboles de Forzamiento Semántico para la Lógica Básica con Afirmación y Negación Alternas