Buscar
Mostrando ítems 1-2 de 2
Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden
(Universidad Nacional Mayor de San Marcos, 1974)
Trata sobre los problemas en la lógica y en las matemáticas y sus posibles soluciones. Presenta el método de "Procedimiento desisorio", "Método afectivo" o "Algoritmo"; los cuales sirven para cierto tipo de problemas, ...
Acceso abierto
Implicación estricta informativa
(Universidad Nacional Mayor de San Marcos, 1975)
Señala que la lógica contemporánea, en cuanto se refiere a las relaciones del "condicional" e "implicación", se funda esencialmente en los logros de las discusiones sobre el problema de los condicionales entre los filósofos ...
Acceso abierto