Introducción a la lógica / Diógenes Rosales Papa / Lima : Amaru Editores (1979)

Hacer una sugerencia de compra 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 VALORES Clasificació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

Introducción a la lógica / Oscar Trelles Montero / Lima : Fondo Editorial 2000 (2000)

Hacer una sugerencia de compra Título : Introducción a la lógica Tipo de documento: texto impreso Autores: Oscar Trelles Montero ; Diógenes Rosales Papa Editorial: Lima : Fondo Editorial 2000 Fecha de publicación: 2000 Número de páginas: 388 páginas Dimensiones: 24 centímetros ISBN/ISSN/DL: 978-9972-1-0192-2 Clasificación: LOGICA Clasificación: 160 T79 Nota de contenido: Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS). Link: https://pmb.unjbg.edu.pe/opac_css/index.php?lvl=notice_display&id=35753

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado	Area
FECH5487	160 T79	Libro	Biblioteca FECH	AL - Filosofia y Psicologia	Disponible	Area_de_Letras

---

1 (1 - 2 / 2) Par page : 25 50 100 200