Logica Simbolica

Lógica simbolica
Por su parte, 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 deoraciones declarativas, tal que 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 de razonamiento:
1. Inductivo: comúnmente, por analogía; afirma probabilidad o cierta evidencia de la verdad de la conclusión.
2. Deductivo: sus premisas ofrecen una evidenciacontundente de la verdad de la conclusió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étodosde demostración de validez de razonamientos propios de la lógica simbólica. Para ello, estudiaremos los dos tipos de razonamientos descritos anteriormente:
1. Razonamiento Inductivo: InducciónCompleta y Definiciones Inductivas.
2. Razonamiento Deductivo:
o El Sistema Ss: Lógica de proposiciones o Lógica proposicional.
o El Sistema Sp: Lógica de predicados.
En general, en lógica se desarrollandiferentes SISTEMAS LÓGICOS para caracterizar diferentes clases de argumentos válidos. Cada sistema lógico caracteriza su propia clase de esquemas argumentales válidos: su validez se basa en elsignificado de ciertas expresiones que el sistema usa, las CONSTANTES LÓGICAS cuyo significado es fijo en el sistema .
El sistema de LÓGICA PROPOSICIONAL trata los formas argumentales cuya validez dependedel significado de las expresiones y, o, si… entonces,etc. Todo lo demás que afecta la validez de los argumentos es descartada. Por lo tanto, la Lógica Proposicional no tratará argumentos tales como(2). Los argumentos cuya validez depende de expresiones "cuantificacionales" será tratada por la LOGICA CUANTIFICACIONAL o PREDICATIVA
La Lógica Proposicional es el sistema lógico más simple y...