Buscar
Mostrando ítems 1-3 de 3
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
La lógica subyacente en el principio de la inducción matemática
(Universidad Nacional Mayor de San Marcos, 1976)
Expone una disertación sobre la lógica subyacente en el principio de inducción matemática debido a las siguientes razones: 1). - En la construcción de importantes demostraciones contenidas en las presentaciones axiomáticas ...
Acceso abierto