|
|
|
|
| LEADER |
03461nam a2200397 i 4500 |
| 003 |
PA-PaUSB |
| 005 |
20220303191512.0 |
| 006 |
a||||gr|||| 000 m |
| 007 |
ta |
| 008 |
220204s2022 pn ad||grp||| 001 m spa d |
| 020 |
|
|
|a 9789962170839
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Panamá
|
| 082 |
0 |
4 |
|2 21
|a 160
|b D54m
|q SIBIUP
|
| 100 |
1 |
|
|a Díaz Montilla, Francisco Nelson
|e autor
|9 21524
|
| 245 |
1 |
0 |
|a Lógica :
|b conceptos fundamentales y aplicaciones
|c / Francisco Díaz Montilla.
|
| 250 |
|
|
|a Primera edición.
|
| 264 |
|
1 |
|a Panamá :
|b Editora Sibauste,
|c 2022.
|
| 300 |
|
|
|a 187 páginas :
|b cuadros, gráficas ;
|c 23 cm
|
| 336 |
|
|
|2 rdacontent
|a texto
|b txt
|
| 337 |
|
|
|2 rdamedia
|a sin mediación
|b n
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
| 504 |
|
|
|a Bibliografía: páginas 181-187.
|
| 505 |
2 |
|
|a Capítulo I. Lógica y lenguaje. -- Capítulo II. Dos enfoques de la lógica. -- Capítulo III. Lógica proposicional. -- Capítulo IV. Demostración de (in)validez de argumentos mediante el método tabular. -- Capítulo V. (IN)validez de argumentos mediante el método de tablas semánticas. -- Capítulo VI. (IN)validez de argumentos desde el punto de vista sintáctico. -- Capítulo VII. Reducción de fórmulas a forma normal. -- Capítulo VIII. Álgebra booleana. -- Capítulo IX. Lógica de predicados. -- Capítulo X. Aproximación semántica. -- Capítulo XI. Aproximación sintáctica. -- Capítulo XII. Tablas semánticas. -- Capítulo XIII. Forma prenexa y de skolem. -- Capítulo XIV. Lógica de orden superior. -- Capítulo XV. Axiomática de la lógica. -- Capítulo XVI. Lógica modal. -- Capítulo XVII. Temporalidad. -- Capítulo XVIII. Lógica del conocimiento. -- Capítulo XIX. Lógicas no clásicas. -- Capítulo XX. Demostración automática. -- Anexo 1. Sistema de notación de Lukasiewicz. -- Anexo 2. Sistema axiomático de Kleene. -- Anexo 3. Proposiciones categóricas.
|
| 520 |
3 |
|
|a El presente texto constituye una introducción a los conceptos, métodos y aplicaciones básicas de la lógica elemental (lógica proposicional y cuantificacional), enfatizando particularmente en aspectos relacionados con la demostración. Pese a su carácter introductorio, se exploran igualmente aspectos técnicos que, de cierta manera, desbordan los temas tradicionales de la lógica. En este sentido, no hay dudas de que este libro no solo proporcionará a los estudiantes de las licenciaturas en Filosofía e Historia y Filosofía, Etica y Valores, los insumos esenciales para el abordaje de cuestiones lógicas más complejas, sino que proporcionará elementos conceptuales y metodológicos necesarios para una reflexión filosófica rigurosa. --
|2 Tomado de la contraportada.
|
| 650 |
|
7 |
|2 LEMB
|a LOGICA MODERNA
|9 152707
|
| 650 |
|
7 |
|2 LEMB
|a LOGICA SIMBOLICA Y MATEMATICA
|9 156816
|
| 650 |
|
7 |
|2 LEMB
|a TEORIA DEL CONOCIMIENTO
|9 135111
|
| 650 |
|
7 |
|2 LEMB
|a INDUCCION (LOGICA)
|9 151228
|
| 650 |
|
7 |
|2 LEMB
|a LOGICA
|v LIBROS DE TEXTO
|9 150717
|
| 650 |
|
7 |
|a AUTORES PANAMEÑOS
|9 162406
|2 LEMB
|
| 942 |
|
|
|2 ddc
|c BK
|
| 945 |
|
|
|a ZM
|
| 990 |
|
|
|a Zoraida Montes
|
| 999 |
|
|
|c 219391
|d 219374
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 160_000000000000000_D54M
|7 0
|8 CG
|9 404829
|a 27
|b 27
|c 17
|d 2022-02-04
|e obsequio
|l 2
|o 160 D54m
|p 00328946
|r 2023-05-30
|s 2023-05-30
|t e.1
|w 2022-02-04
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 160_000000000000000_D54M
|7 0
|8 CG
|9 404830
|a 27
|b 27
|c 17
|d 2022-02-04
|e obsequio
|l 8
|o 160 D54m
|p 00328947
|r 2023-11-29
|s 2023-10-19
|t e.2
|w 2022-02-04
|y BK
|