Diagramas semánticos proposicionales

Sesión 7: El método de diagramas semánticos conocido también como "árbol lógico", es un procedimiento decisorio y como tal permite determinar si la fórmula es tautológica, contradictoria o contingente, entre otras decisiones. En esta sesión vemos su funcionamiento. María Luisa Castillo Zárate. Pontificia Universidad Católica del Perú.