|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000064964 |
| 003 |
CO-BoSNA |
| 005 |
20260107163733.0 |
| 008 |
131230s2005^^^^mx^a^^^fr^^^^^001^0^spa^d |
| 020 |
|
|
|a 9681867572
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 082 |
0 |
4 |
|a 511.3
|b C172l
|2 23
|
| 100 |
0 |
|
|a Camacho, Luis A.
|
| 245 |
1 |
0 |
|a Lógica simbólica básica /
|c Luis A. Camacho.
|
| 260 |
|
|
|a México, D.F. :
|b Limusa,
|c 2005.
|
| 300 |
|
|
|a xxi, 256 páginas :
|b ilustraciones ;
|c 21 cm.
|
| 504 |
|
|
|a Incluye referencias bibliográficas
|
| 505 |
0 |
|
|a 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
|
| 650 |
1 |
7 |
|a Lógica simbólica y matemática
|2 Armarc
|
| 952 |
|
|
|0 0
|1 0
|4 4
|6 511_300000000000000_C172L
|7 0
|8 GENER
|9 339529
|a 13218
|b 13218
|d 2013-12-30
|i 110519
|l 0
|o 511.3 C172l
|p 139218000962
|r 2026-01-07 16:37:33
|w 2026-01-07
|y BOOK
|z Av. Pedro de Heredia, sector Tesca. Cartagena-Colombia
|
| 999 |
|
|
|c 68961
|d 68961
|
| 942 |
|
|
|6 511_300000000000000__C172L
|
