Lógica básica con aceptación fuerte