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

Se presenta el método de decisión denominado Tableaux, tablas analíticas, árboles semánticos, etc., en su versión semántica. Se presenta el procedimiento a seguir y las reglas a aplicar.