a mi post
La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. 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 de oraciones 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:
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 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étodos de demostración de validez de razonamientos propios de la lógica simbólica. Para ello, estudiaremos los dos tipos de razonamientos descritos anteriormente:
Razonamiento Inductivo: Inducción Completa y Definiciones Inductivas.
Razonamiento Deductivo:
El Sistema Ss: Lógica de proposiciones o Lógica proposicional.
El Sistema Sp: Lógica de predicados.
Por logica y simple inspeccion este post sirve para subir de rango