Iniciación práctica a la lógica de primer orden

ISBN: 978-607-561-055-9

Ver Archivo Digital(pdf)

El primer capítulo presenta el punto de partida de esta obra, introduciendo al lector al tema del lenguaje formal en la lógica, y su valor expresivo para la analítica de diversas formas de razonamiento. El segundo capítulo está dedicado al Lenguaje de Orden Cero (L0), esto es, a la lógica proposicional; empleada como puente para la presentación de la representación simbólica de las proposiciones. Lo anterior sin perder de vista que, nuestro punto de inflexión es, precisamente, la silogística aristotélica; pues, en nuestro tercer y último capítulo, nos avocamos al estudio introductorio del Lenguaje de Primer Orden (L1), mediante la formalización de las expresiones enunciativas categóricas y las formas silogísticas, iniciando así nuestra aventura por la lógica cuantificacional.

Comenta este libro