
Información de la indexación
Documentos en la biblioteca con la clasificación 160 R84 (1)



Título : Introducción a la lógica Tipo de documento: texto impreso Autores: Diógenes Rosales Papa, Autor Editorial: Lima : Amaru Editores Fecha de publicación: 1979 Número de páginas: 216 páginas Il.: gráficos Dimensiones: 21 centímetros Clasificación: LOGICA
LOGICA MATEMATICA
VALORESClasificación: 160 R84 Nota de contenido: Noción de lógica. Noción de inferencia. Proposiciones simples y compuestas. Lenguaje lógico. Variables y constantes lógicas. Lógica proposicional. Sistema de la tabla de valores. Pruebas formales en la lógica proposicional. Sistema de tabla de valores. Pruebas formales en la lógica proposicional. Equivalencias notables. La derivación. La prueba por reducción al absurdo. Lógica predicativa. Lógica de clases. Noción de álgebra booleana y representación de las clases en los diagramas. Las inferencias inmediatas de la lógica tradicional. Fórmulas fooleanas y diagramas de Venn. Prueba de validez o invalidez de las inferencias inmediatas por los diagramas de Venn. Lógica cuantificacional. La derivación.Prueba de validez por derivación según Quine-Ferro. Link: https://pmb.unjbg.edu.pe/opac_css/index.php?lvl=notice_display&id=34360 Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado Area FECH137 160 R84 Libro Biblioteca FECH AL - Filosofia y Psicologia Disponible Area_de_Letras