void ConseguirValores()
        {
            Temporal enviarArg = Temporal.ConseguirInstancia();

            conclusion = enviarArg.ConclusionTemporal;
            premisas   = enviarArg.premisasTemporal;

            foreach (var prem in premisas)
            {
                listBox.Items.Add("V  " + prem);
            }
            listBox.Items.Add("F  " + conclusion);
            premisas.Add(conclusion);
        }
        private void btn_Validar_Click(object sender, RoutedEventArgs e)
        {
            if (conclusion != null && premisas != null)
            {
                Temporal enviarArg = Temporal.ConseguirInstancia();
                enviarArg.premisasTemporal   = premisas;
                enviarArg.ConclusionTemporal = conclusion;
                textBox.Text = "";
                btn_AgregarConclusion.IsEnabled = true;
                listBox.Items.Clear();
                listBox2.Items.Clear();

                Validacion Navegar = new Validacion();


                this.NavigationService.Navigate(Navegar);
            }
        }