Hola.
Las únicas reglas de construcción de tableau válidas en el curso son las que están en las ppt 42 y 43 del documento de teórico relativo a semántica de prop.
Allí no hay ninguna regla que genere un árbol con tres hijos...
Saludos
FDO.
Las únicas reglas de construcción de tableau válidas en el curso son las que están en las ppt 42 y 43 del documento de teórico relativo a semántica de prop.
Allí no hay ninguna regla que genere un árbol con tres hijos...
Saludos
FDO.