Cálculo lógico de modelos proposicionales
Cálculo lógico de modelos proposicionales. En él se expone una forma innovadora de representar y resolver gráficamente todos los silogismos posibles, que además permite trabajar con un número ilimitado de predicados (los diagramas de Venn solo pueden trabajar tres). El método ha sido probado con éxito en Bachillerato, alcanzando un 90% de aprobados en un…