Logica

La lógica simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos.

Un razonamiento es cualquier grupo de oraciones declarativas, talque una de ellas (conclusión) se afirma que se deriva de otras, llamadas premisas, las cuales se consideran evidencia de la verdad de la primera. Para efectos del curso, estudiaremos dos tipos derazonamiento:
1. Inductivo: comúnmente, por analogía; afirma probabilidad o cierta evidencia de la verdad de la conclusión.
Deductivo: sus premisas ofrecen una evidencia contundente de la verdad de laconclusión. Su correctitud viene dada por la validez o invalidez del razonamiento.
El objetivo de la presente asignatura es introducir al estudiante en los métodos de demostración de validez derazonamientos propios de la lógica simbólica. Para ello, estudiaremos los dos tipos de razonamientos descritos anteriormente:
1. Razonamiento Inductivo: Inducción Completa y Definiciones Inductivas.
2.Razonamiento Deductivo:
• El Sistema Ss: Lógica de proposiciones o Lógica proposicional.
• El Sistema Sp: Lógica de predicados.
La lógica proposicional o lógica de orden cero es un sistema formalcuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayorcomplejidad.1
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables detipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógicaproposicional incluye además de variables.
interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de...