Lógica simbólica básica /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
México, D.F. :
Limusa,
2005.
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Sobre la noción de lógica
- Sobre la naturaleza de la lógica
- Relación entre lenguaje formalizado y lenguaje ordinario
- Elementos del lenguaje ordinario y su relación con la lógica
- Proposiciones y razonamientos
- Ejercicios
- Recomendaciones bibliográficas
- Temas complementarios
- Cálculo proposicional
- En qué consiste un cálculo lógico
- Uso del cálculo
- Elementos del cálculo proposicional
- Leyes y reglas de transformación
- Aplicación de reglas de inferencias y leyes de equivalencia en prueba de argumentos
- Temas complementarios
- Otros sistemas de símbolos
- Cuantificación
- Pruebas indirectas en argumentos cuantificados con una sola variable
- Prueba condicional en cálculo cuantificado
- Negociación de preposiciones cuantificadas
- Proposiciones con varios cuantificadores
- Reglas de cuantificación revisadas
- Paradoja de un argumento sencillo
- Relaciones, descripciones definidas e identidad
- Descripciones definidas
- Identidad
