Libro lógica por la universidad metropolitana de mexico

Lógica Elemental

Max Fernández de Castro
Asunción Preisser
Luis Felipe Segura
Yolanda Torres Falcón
DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México). Prohibida la reproducción de esta obra así como la distribución y venta fuera del ámbito de la UAM®. E-libro Bibliomedia Bibliomedia@mail.com

DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México).Prohibida la reproducción de esta obra así como la distribución y venta fuera del ámbito de la UAM®. E-libro Bibliomedia Bibliomedia@mail.com

DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México). Prohibida la reproducción de esta obra así como la distribución y venta fuera del ámbito de la UAM®. E-libro Bibliomedia Bibliomedia@mail.com

LÓGICA
ELEMENTA!
Max Fernández deCastro
Asunción Preisser
Luis Felipe Segura
Yolanda Torres Falcón

México

DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México). Prohibida la reproducción de esta obra así como la distribución y venta fuera del ámbito de la UAM®. E-libro Bibliomedia Bibliomedia@mail.com

Á 3 f c UNIVERSIDAD AUTÓNOMA METROPOLITANA
UNIDAD IZTAPALAPA

Dr. José Luis Gázquez MateosRector

© Universidad Autónoma Metropolitana. Unidad Iztapalapa.
División de Ciencias Sociales y Humanidades. Departamento de Filosofía
Avenida Michoacán y La Purísima s/n
Colonia Vicentina.
093440, México, D.F.
ISBN 970-654-048-2
Impreso y hecho en México
Printed and made in México

DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México). Prohibida la reproducción de estaobra así como la distribución y venta fuera del ámbito de la UAM®. E-libro Bibliomedia Bibliomedia@mail.com

ÍNDICE DE MATERIAS

Prólogo

7

Capítulo I Lenguaje y Lógica
1. Enunciados y Argumentos
2. Niveles del Lenguaje. Uso y Mención
3. No Contradicción
4. La Función Argumentativa del Lenguaje.

11
11
17
22
23

Capítulo II Lenguajes Formales
1. Introducción
2. LenguajeProporsicional
2.1 Simbolización de Enunciados y Condiciones
de Verdad para éstos
2.2 Tautologías. Equivalencia Lógica
3. Lenguaje de Predicados
3.1 Simbolización de Enunciados con
Cuantificadores
3.2 Sintaxis del Lenguaje Formal
3.3 Interpretaciones
3.4 Validez Universal
4. Árboles Semánticos

25
25
29

Capítulo III Validez e Invalidez de Argumentos
1. Introducción
2. Argumentos enun Lenguaje sin Cuantificadores
3. Argumentos con Cuantificadores

67
67
71
86

Capítulo IV Métodos de Prueba
1. Nociones Semánticas para Lenguajes
Proposicionales
2. Métodos de Prueba para la Validez e Invalidez
de Argumentos
3. Nociones Semánticas para Lenguajes de
Predicados
4. Métodos de Prueba para Argumentos en Lenguajes
de Predicados
5. Consistencia
6. Otra Aplicación delos Árboles Semánticos

97

Apéndice. Explicación de algunos Símbolos de la Teoría
Elemental de Conjuntos Empleados en el Libro
Bibliografía

29
38
42
42
48
54
58
60

97
105
115
118
123
128
135
141

DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México). Prohibida la reproducción de esta obra así como la distribución y venta fuera del ámbito de la UAM®.E-libro Bibliomedia Bibliomedia@mail.com

DERECHOS RESERVADOS © 2004, Universidad Autónoma Metropolitana (México). Prohibida la reproducción de esta obra así como la distribución y venta fuera del ámbito de la UAM®. E-libro Bibliomedia Bibliomedia@mail.com

PRÓLOGO

PRÓLOGO

El libro que aquí presentamos tiene como propósito principal familiarizar al estudiante con el material y losprocedimientos más elementales de la lógica. Constituye, en ese sentido, una introducción a ésta, tan
elemental como el rigor y los objetivos mismos de precisión de la materia lo permiten. Ha sido nuestra intención ofrecer con ello un texto que
pueda ser estudiado enteramente por cualquier lector atento con la suficiente paciencia como para hacer algunos de los ejercicios de que cada
sección va...