Título :	Manual de lógica elemental
Tipo de documento:	texto impreso
Autores:	Mario Alberto Lozano Gonzalez ; Adriana Pérez Armendáriz
Editorial:	[s.l.] : Editorial Trillas
Fecha de publicación:	2016
Número de páginas:	349 p.
Il.:	il.
Dimensiones:	24 cm.
Clasificación:	LOGICA
Clasificación:	160
Nota de contenido:	PRIMERA PARTE PRELIMINARES; Teoría de conjuntos; Nociones básicas; Operaciones conjuntistas; Relaciones; Funciones; Ejercicios; Primeras nociones de lógica; ¿Qué es lógica formal?; ¿Qué es un sistema lógico-formal?; Ejercicios; SEGUNDA PARTE LOGICA PROPOSIONAL; Lenguaje formal proposicional; El lenguaje formal promocional; Formalización; Ejercicios; Semántica formal: la consecuencia proposicional; Interpretación; Tablas de verdad; Satisfacilidad; Consecuencia y equivalencia; Formas normales; Ejercicios; Cálculos deductivos: la deducibilidad proposicional; Calculo de deducción natural; Calculo de tablas analíticas; Ejercicios.
ISBN_nuevo :	978-607-17-2685-8
Link:	./index.php?lvl=notice_display&id=15038

Manual de lógica elemental [texto impreso] / Mario Alberto Lozano Gonzalez ; Adriana Pérez Armendáriz . - [s.l.] : Editorial Trillas, 2016 . - 349 p. : il. ; 24 cm.

Clasificación:	LOGICA
Clasificación:	160
Nota de contenido:	PRIMERA PARTE PRELIMINARES; Teoría de conjuntos; Nociones básicas; Operaciones conjuntistas; Relaciones; Funciones; Ejercicios; Primeras nociones de lógica; ¿Qué es lógica formal?; ¿Qué es un sistema lógico-formal?; Ejercicios; SEGUNDA PARTE LOGICA PROPOSIONAL; Lenguaje formal proposicional; El lenguaje formal promocional; Formalización; Ejercicios; Semántica formal: la consecuencia proposicional; Interpretación; Tablas de verdad; Satisfacilidad; Consecuencia y equivalencia; Formas normales; Ejercicios; Cálculos deductivos: la deducibilidad proposicional; Calculo de deducción natural; Calculo de tablas analíticas; Ejercicios.
ISBN_nuevo :	978-607-17-2685-8
Link:	./index.php?lvl=notice_display&id=15038