Browsing by Author "Ferro, Juan."

Now showing 1 - 1 of 1
  • Item
    Los procedimientos decisorios para fórmulas monádicas de primer grado ideados por W. V. O. Quine.
    (Universidad Nacional Mayor de San Marcos, 1966) Ferro, Juan.
    La presente tesis examina los procedimientos decisorios desarrollados por W. V. O. Quine para fórmulas monádicas de primer grado, abordando su aplicabilidad en la lógica formal. Juan B. Ferro describe y evalúa en detalle tres métodos de decisión creados por Quine, que buscan determinar la validez de fórmulas en sistemas lógicos. La investigación discute el procedimiento QS, el cual se basa en una evaluación tabular para resolver problemas de decisión en expresiones monádicas, analizando sus ventajas y limitaciones en comparación con otros métodos. Asimismo, se exploran las técnicas de reducción y el impacto de los cuantificadores y operadores lógicos en la efectividad de estos métodos. La tesis concluye que los procedimientos de Quine representan una contribución significativa, aunque imperfecta, a la lógica matemática y la teoría de la decisión.