Logica Simbolica

LOGICA SIMBOLICA
También se llama lógica matemática, logística, lógica moderna o lógica teórica.
La lógica simbólica pretende ser una lógica formal en sentido escrito.
No hace, por tanto, referencia a ningún objeto. Sus formulas están totalmente desprovistas de contenido y nada dice de realidad.
Posee diferentes características como: 1) se sirve del cálculo como las matemáticas ,2) se basaen la demostración exacta, (no como las matemáticas) pues le corresponde investigar los fundamentos y demostraciones de las matemáticas el ideal de la demostración rigurosa.
¿Qué ES LA LOGICA SIMBOLICA?
Es la lógica que por medio de métodos rigurosos pretende profundizar en la lógica formal a través de uso de símbolos.

BREVE HISTORIA DE LA LOGICA
El fundador de la nueva lógica fue Georgeboole (1815-1864) cuyo primera obra evolucionaria es the matematical análisis of logic (1847).

CONCEPTO Y TIPOS
La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad.
La lógica proposicional trabaja con sentencias u oraciones a las cuales se le puedeasociar un valor de verdad (cierto o falso). Se integra por sentencias declarativas o simplemente proposiciones.
Las formas más normales son importantes por el hecho que permite definir esquemas generales para el tratamiento de estas formulas.

PROPOSICIONES
En la escuela hemos escuchado:
El ser humano es un ser vivo.
La tierra es redonda.
Podemos determinar si estas sentencias son ciertas ofalsas; sin embargo al escuchar.
¿Quién PASARA EL EXAMEN DE LOGICA?
No es posible asociar a ella un valor de verdad, porque no se puede saber cuál es el resultado. Sentencias como las dos primeras son los elementos fundamentales con los que trabaja la lógica proposicional.

PROPOSICIONES SIMPLES Y COMPUESTAS
Se han dicho que las proposiciones son pensamientos en los que se afirma o niegaalgo y que se expresan mediante enunciados.
¿Qué ES UN ENUNCIADO?
Según Pedro chaves, el enunciado es la expresión oral o escrita de una proposición. En otras palabras, el enunciado es una oración declarativa (afirmativa o negativa).

CONECTIVIDADES LOGICAS Y TABLAS DE VERDAD
La asociación de proposiciones produce otras conocidas como compuestas.
La construcción de formulas compuestasrequieren del uso de elementos que permiten establecer una relación entre las proposiciones que la conforman; estos elementos se les conoce como:
CONECTIVAS LOGICAS
Si tienes dos preposiciones, unidas por la partícula Y la cual es una conectiva lógica.
Las conectivas lógicas usadas en la lógica proposicional son cinco y son representadas simbólicamente de varias formas.

CONSTRUCCION DE TABLAS DEVERDAD
El valor de verdad en una proposición compuesta suponemos que se asigna de acuerdo con la extensión natural de las hipótesis anteriores.
Dichas hipótesis se resumen y se generalizan por medio de lo que se llama una tabla verdad.
A través de estas tablas se puede conocer el valor de verdad de una proposición que contiene conectivas, determinando el valor de verdad de cada una de lascomponentes.
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos ya actualizados y la interpretación corresponderá al sentido que estas operaciones tienen dentro del razonamiento.
Pude establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática.

VALIDES DE UNARGUMENTO
Mediante una tabla de verdad podemos demostrar sinningún argumento (cuyo conectivo principal es una condicional)
Es válido o no. los argumentos tienen la forma siguiente:
1. PREMISAS: proposiciones de las cuales se obtiene la conclusión.
2. CONCLUSION: resultado de la relación de varias premisas.

DIAGRAMAS
Los diagramas son representaciones que se usan generalmente para facilitar el entendimiento de datos y la relación entre ellos.
Los...