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);
}
}