|
|
|
|
LEADER |
00000cam a2200000M 4500 |
001 |
JSTOR_on1155402610 |
003 |
OCoLC |
005 |
20231005004200.0 |
006 |
m d |
007 |
cr ||||||||||| |
008 |
200527s2020 xx o 000 0 spa d |
040 |
|
|
|a YDX
|b eng
|c YDX
|d JSTOR
|d OCLCF
|d N$T
|d EBLCP
|d LUN
|d OCLCO
|d OCLCQ
|
019 |
|
|
|a 1160024003
|a 1162535889
|
020 |
|
|
|a 9587462599
|q (electronic bk.)
|
020 |
|
|
|a 9789587462593
|q (electronic bk.)
|
020 |
|
|
|a 9789587462586
|q (electronic bk.)
|
020 |
|
|
|a 9587462580
|q (electronic bk.)
|
035 |
|
|
|a (OCoLC)1155402610
|z (OCoLC)1160024003
|z (OCoLC)1162535889
|
037 |
|
|
|a 22573/ctv120z88w
|b JSTOR
|
050 |
|
4 |
|a P98
|
080 |
|
|
|a 510.6
|
082 |
0 |
4 |
|a 410.285
|2 23
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a KEMEL, GEORGE.
|
245 |
1 |
3 |
|a El razonamiento logico en el lenguaje simbolico y en el lenguaje natural
|h [electronic resource].
|
260 |
|
|
|a [S.l.] :
|b EDITORIAL UNIMAGDALENA,
|c 2020.
|
300 |
|
|
|a 1 online resource
|
505 |
0 |
|
|a 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
|
505 |
8 |
|
|a ¿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
|
505 |
8 |
|
|a 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
|
505 |
8 |
|
|a 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
|
505 |
8 |
|
|a 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
|
590 |
|
|
|a JSTOR
|b Books at JSTOR All Purchased
|
590 |
|
|
|a JSTOR
|b Books at JSTOR Demand Driven Acquisitions (DDA)
|
650 |
|
0 |
|a Computational linguistics.
|
650 |
|
0 |
|a Languages, Artificial.
|
650 |
|
0 |
|a Reasoning.
|
650 |
|
6 |
|a Linguistique informatique.
|
650 |
|
6 |
|a Langues artificielles.
|
650 |
|
7 |
|a computational linguistics.
|2 aat
|
650 |
|
7 |
|a Computational linguistics.
|2 fast
|0 (OCoLC)fst00871998
|
650 |
|
7 |
|a Languages, Artificial.
|2 fast
|0 (OCoLC)fst00992438
|
650 |
|
7 |
|a Reasoning.
|2 fast
|0 (OCoLC)fst01091282
|
655 |
|
0 |
|a Electronic books.
|
856 |
4 |
0 |
|u https://jstor.uam.elogim.com/stable/10.2307/j.ctv12100nk
|z Texto completo
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL6775858
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 301288800
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 16821499
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 2482088
|
994 |
|
|
|a 92
|b IZTAP
|