Métodos de decisión. Tableaux. Video 2

En este video se continúa con la presentación del método de Tableaux, ahora en lo que corresponde a determinar los valores de verdad de las variables proposicionales, en el caso en que un árbol no cierra, y, por tanto, el argumento es inválido.