En este trabajo se presenta por primera vez el sistema de reglas de inferencia graficas, arboles de forzamiento semantico, el cual proporciona de manera natural un metodo efectivo de decision para el calculo proposicional clasico y para el calculo clasico de predicados monadicos de primer orden.
Tópico:
Multidisciplinary Science and Engineering Research
