000 -CABECERA |
Campo de control de longitud fija |
04020nam a2200313 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
Campo de control |
OSt |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
Campo de control |
20230803091805.0 |
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
Campo de control de longitud fija |
230802b1988 xxu||||| |||| 00| 0 spa d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS (ISBN) |
Número Internacional Normalizado para Libros (ISBN) |
8429151508 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro que cataloga |
Bogotá (Dr. David Ordóñez Rueda) - Campus Norte |
Centro catalogador de origen |
Unicoc |
Lengua de catalogación |
spa |
Centro modificador |
Bogotá (Dr. David Ordóñez Rueda) - Campus Norte |
100 ## - PUNTO DE ACCESO PRINCIPAL - NOMBRE DE PERSONA |
9 (RLIN) |
10726 |
Nombre de persona |
Suppes, Patrick |
245 ## - MENCIÓN DE TÍTULO |
Título |
Introducción a la lógica Matemática |
Mención de responsabilidad etc. |
/ Patrick Suppes, Shirley Hill |
250 ## - MENCIÓN DE EDICIÓN |
Mención de edición |
1 ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Lugar de publicación distribución etc. |
Bogotá : |
Nombre del editor distribuidor etc. |
Reverté , |
Fecha de publicación distribución etc. |
1988 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
283 páginas |
500 ## - NOTA GENERAL |
Nota general |
Incluye índice, titulo original: Elementos de lógica para el derecho |
505 ## - NOTA DE CONTENIDO CON FORMATO |
Título |
Capítulo 1. Simbolización de proposiciones : |
-- |
Capítulo 2. inferencia lógica. -- |
-- |
Capítulo 3. Certeza y validez |
-- |
Capítulo 4. Tablas de certeza. -- |
-- |
Capítulo 5. Términos, predicados y cuantificadores. -- |
-- |
Capítulo 6. Especificación universal y leyes de identidad. -- |
-- |
Capítulo 7. un sistema matemático simple: axiomas de la adición. -- |
-- |
Capítulo 8. Generalización universal. |
520 ## - NOTA DE SUMARIO; ETC. |
Sumario etc. |
INDICE ANALÍTICO Prefacio 1. SIMBOLIZACIÓN DE PROPOSICIONES 1 1.1 Proposiciones I 1.2 Términos de enlace 2 1.3 La forma de las proposiciones moleculares 5 1.4 Simbolización de proposiciones* 10 1.5 Los términos de enlace y sus símbolos 12 O 14 No 16 Sí... entonces... * 20 1.6 Agrupamiento y paréntesis 22 La negación de una proposición molecular 30 1.7 Eliminación de algunos paréntesis 34 1.8 Resumen 37 2. INFERENCIA LÓGICA 44 2.1 Introducción 44 2.2 Reglas de inferencia y demostración 45 Modus ponendo ponens 45 Demostraciones . 48 Demostraciones en dos pasos 50 Doble negación 53 Modus tollendo tollens 55 Más sobre la negación 58 Adjunción y simplificación 61 Disjunciones como premisas 64 Modus tollendo ponens 66 2.3 Deducción proposicional 70 2.4 Más sobre paréntesis 78 2.5 Otras reglas de inferencia 81 Ley de adición 81 Ley del silogismo hipotético 85 Ley del silogismo disyuntivo 89 Ley de simplificación disyuntiva 93 Leyes conmutativas 97 Las leyes de Morgan 100 VII VIII ÍNDICE ANALITICO 2.6 Proposiciones bicondicionales 105 2.7 Resumen de reglas de inferencia 109 Tabla de reglas de inferencia 110 3. CERTEZA Y VALIDEZ 112 3.1 Introducción 112 3.2 Valores de certeza y términos de enlace de certeza funcional 113 Conjunción 113 Negación 114 Dis junción 115 Proposiciones condicionales 116 Equivalencia: proposiciones bicondicionales 119 3.3 Diagrama de valores de certeza 120 3.4 Conclusiones no válidas 124 3.5 Demostración condicional 131 3.6 Consistencia 140 3.7 Demostración indirecta 149 3.8 Resumen 155 4. TABLAS DE CERTEZA 164 4.1 Tablas de certeza 164 4.2 Tautologías 172 4.3 Implicación tautológica y equivalencia tautológica 174 4.4 Resumen 179 5. TÉRMINOS, PREDICADOS Y CUANTIFICADORES UNIVERSALES 184 5.1 Introducción 184 5.2 Términos 187 5.3 Predicados 189 5.4 Nombres comunes como predicados 191 5.5 Fórmulas atómicas y variables 194 5.6 Cuantificadores universales 201 5.7 Dos formas típicas 209 6. ESPECIFICACIÓN UNIVERSAL Y LEYES DE IDENTIDAD 216 6.1 Un cuantificador 216 6.2 Dos o más cuantificadores 228 6.3 Lógica de la identidad 236 6.4 Certezas lógicas 242 ÍNDICE ANALITICO IX 7. UN SISTEMA MATEMÁTICO SIMPLE: AXIOMAS DE LA ADICIÓN 247 7.1 Axioma de la propiedad conmutativa 247 7.2 Axioma de la propiedad asociativa 251 7.3 Axioma del cero 261 7.4 Axioma de los números negativos 264 8. GENERALIZACIÓN UNIVERSAL 270 8.1 Teoremas con variables 270 8.2 Teoremas con cuantificadores universales 274 Indice alfabético 279 |
526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO |
Institución que aplica el campo |
Unicoc |
546 ## - NOTA DE LENGUA |
Nota de lengua |
Español |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
9 (RLIN) |
6717 |
Término de materia o nombre geográfico como elemento inicial |
Lóg̤ica simbólica y matemática. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
9 (RLIN) |
6829 |
Término de materia o nombre geográfico como elemento inicial |
Tablas matemáticas. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
9 (RLIN) |
10498 |
Término de materia o nombre geográfico como elemento inicial |
Enseñanza de las matemáticas |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
9 (RLIN) |
351 |
Término de materia o nombre geográfico como elemento inicial |
Matemáticas |
658 #0 - TÉRMINO DE INDIZACIÓN - OBJETIVO CURRICULAR |
9 (RLIN) |
8008 |
Programa Académico |
Programa de Derecho |
700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
9 (RLIN) |
10727 |
Nombre de persona |
Hill, Shirley |
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
Identificador Uniforme del Recurso (URI) |
https://unicoceduco-my.sharepoint.com/:b:/g/personal/direccionbiblioteca_unicoc_edu_co/EZZb5PqS55hBjWlamXZ2YnIB16950nm86Hc6bAZhlJI3nA?e=IPLtCT |
Texto del enlace |
Acceso online exclusivo para comunidad Unicoc. |
942 ## - ENTRADA PARA ELEMENTOS AGREGADOS (KOHA) |
Fuente de clasificación o esquema de ordenación en estanterías |
|
Koha [por defecto] tipo de item |
Libro electrónico |