2020-07-3020010120-341Xhttp://hdl.handle.net/10784/17288En este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden.application/pdfspaCopyright © 2001 Manuel SierraÁrboles de forzamiento semánticoarticleinfo:eu-repo/semantics/openAccessCálculo de predicadosCálculo proposicionalAcceso abierto2020-07-30Sierra, Manuel