| Description |
1 online resource |
| Contents |
EL RAZONAMIENTO LÓGICO EN EL LENGUAJE (...) -- PÁGINA LEGAL -- CONTENIDO -- PRESENTACIÓN -- CAPÍTULO 1 EL LENGUAJE NATURAL -- EL LENGUAJE NATURAL -- LAS PALABRAS Y LAS COSAS6 -- SIGNIFICADO DE LA PALABRA -- LENGUAJE Y PENSAMIENTO -- LA PALABRA DEL AÑO -- NACIMIENTO Y EXTINCIÓN DE LAS PALABRAS -- CONCEPTO Y OBJETO -- CONCEPTO Y CONOCIMIENTO -- FORMACIÓN DEL CONCEPTO -- EXTENSIÓN Y COMPRENSIÓN DEL CONCEPTO -- DESCUBRIMIENTO O INVENCIÓN -- CONCEPTO Y SÍMBOLOS -- NÚMERO, NOMBRE, POSICIÓN Y ORDEN -- VERDAD, CORRESPONDENCIA Y HECHO -- EL MUNDO DE LAS FORMAS MATEMÁTICAS |
|
¿LO FALSO Y LO VERDADERO TIENEN EL MISMO (...) -- LOS FUTUROS CONTINGENTES -- ENUNCIADO Y PROPOSICIÓN -- EJERCICIOS -- CAPÍTULO 2 EL SILOGISMO CATEGÓRICO -- EL RAZONAMIENTO LÓGICO, SEGÚN ARISTÓTELES -- EL JUICIO CATEGÓRICO -- DEDUCCIÓN Y PRUEBA -- MODELACIÓN DEL CONCEPTO -- MODELACIÓN DEL JUICIO CATEGÓRICO -- EL SILOGISMO -- FIGURAS DEL SILOGISMO -- CÁLCULO DE LOS SILOGISMOS VÁLIDOS -- CONVERSIÓN Y REDUCCIÓN DE LAS FIGURAS -- LOS VERSOS EUFÓNICOS DE PEDRO HISPANO -- REMONTAR EL SILOGISMO -- EJERCICIOS -- CAPÍTULO 3 LOS SÍMBOLOS LÓGICOS -- EL UNIVERSO DEL DISCURSO -- SIGNO Y SÍMBOLO |
|
LENGUAJES ARTIFICIALES -- SÍMBOLOS PARA UN CONTEXTO -- ORIGEN DE LOS CONECTIVOS LÓGICOS -- LAS FORMAS LÓGICAS -- EL VALOR DE VERDAD -- LA FORMA CONJUNTIVA -- LA FORMA DISYUNTIVA -- LA NEGACIÓN -- LA DOBLE NEGACIÓN -- LA FORMA CONDICIONAL -- LA TABLA DE VERDAD -- EJERCICIOS -- CAPÍTULO 4 EL SISTEMA DE DEDUCCIÓN NATURAL -- EL SISTEMA DE DEDUCCIÓN NATURAL -- LETRAS PROPOSICIONALES -- REGLAS DE INFERENCIA -- INTRODUCCIÓN Y ELIMINACIÓN DE CONECTIVOS -- INTRODUCCIÓN DE LA CONJUNCIÓN -- INTRODUCCIÓN DE LA DISYUNCIÓN -- INTRODUCCIÓN DEL CONDICIONAL -- INTRODUCCIÓN DE LA NEGACIÓN |
|
ELIMINACIÓN DE LA CONJUNCIÓN -- ELIMINACIÓN DE LA DISYUNCIÓN -- ELIMINACIÓN DEL CONDICIONAL MODUS PONENS -- ELIMINACIÓN DE LA NEGACIÓN -- DILEMA CONSTRUCTIVO -- REGLA PSEUDO SCOTO -- EJERCICIOS -- CAPÍTULO 5 EL PROCEDIMIENTO DEDUCTIVO -- DEDUCCIÓN Y PRUEBA -- EL SENTIDO DE LA DOBLE NEGACIÓN -- EL SILOGISMO DISYUNTIVO -- NECESIDAD Y SUFICIENCIA -- EL SILOGISMO HIPOTÉTICO -- LA LEY DISTRIBUTIVA -- EL TEOREMA -- GENERACIÓN DE TEOREMAS -- EQUIVALENCIA LÓGICA -- LA ECONOMÍA DEL TEOREMA -- EQUIVALENCIA ENTRE CONECTIVOS -- TERTIUM NON DATUR -- LEYES DE MORGAN -- EJERCICIOS |
|
CAPÍTULO 6 LA INTERPRETACIÓN EN CONTEXTO -- ASIGNACIÓN DEL VALOR LÓGICO -- LA CONSERVACIÓN DE LA VERDAD -- LAS TABLAS DE VALORES -- TAUTOLOGÍAS -- CONTRADICCIÓN -- EQUIVALENCIA DE FORMAS LÓGICAS -- SOLIDEZ DEL TEOREMA -- COMBINATORIA DE VALORES -- LÓGICA DE TRES VALORES -- LOS CONECTIVOS DE PEIRCE -- CONECTIVOS EN EXCESO -- EL CONECTIVO DE SHEFFER -- LA FUNCIÓN PROPOSICIONAL -- LA CONSECUENCIA LÓGICA -- EJERCICIOS -- CAPÍTULO 7 EL SISTEMA AXIOMÁTICO -- AXIOMAS DE FREGE -- AXIOMAS DE RUSSELL Y POST -- AXIOMAS DE NOVIKOV -- TEOREMA DE LA DEDUCCIÓN -- EJERCICIOS |
| Subject |
Computational linguistics.
|
|
Languages, Artificial.
|
|
Reasoning.
|
|
computational linguistics.
|
|
Computational linguistics
|
|
Languages, Artificial
|
|
Reasoning
|
| Genre/Form |
Electronic books
|
| Form |
Electronic book
|
| ISBN |
9587462599 |
|
9789587462593 |
|
9789587462586 |
|
9587462580 |
|
