TY  - BOOK
AU  - Patrick  Suppes
AU  - Shirley Hill
TI  - Introducción a la Lógica Matematica
SN  - 9789686708011
U1  - QA9 / 
PY  - 2012///
CY  - México
PB  - Reverte Ediciones S.A.
KW  - TERMINOS DE ENLACE
KW  - SIMBOLIZACIÓN DE PROPOSICIONES
KW  - AGRUPAMIENTO  Y PARÉNTESIS
KW  - CONTABILIDAD
KW  - REGLAS DE INFERENCIA Y DEMOSTRACIÓN
KW  - DOBLE NEGACIÓN
KW  - DEDUCCIÓN PROFESIONAL
KW  - CUANTIFICADORES UNIVERSALES
KW  - LÓGICA DE LA IDENTIDAD
N1  - Prefacio. -- Simbolización proposiciones. -- Inferencia lógica. -- Certeza y validez. -- Tablas de certeza. -- Términos, predicados y cuantificadores universales. -- Especificación universal y leyes de identidad. -- Un sistema matemático simple axiomas de la adicción. -- Generalización universal
N2  - La obra presente de matemática moderna de la teoría de la demostración y de la metodología en la deducción de teoremas a partir de acción, el objetivo es proporcionar inferencias con cuantificadores universales y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos o la teoría de la adición que es como se desarrolla en el texto
UR  - www.utcadereyta.edu.mx/descargas/Anexo%201.pdf
ER  -