Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica Simbólica, INTEGRANTES:, Al simbolizar un lenguaje lo que se…
Lógica Simbólica
La lógica simbólica tiene un parecido con las matemáticas, no sólo en el uso de símbolos cuasi matemáticos sino también en la presentación de la lógica a la manera de un cálculo y la formulación de reglas a la manera de operaciones; estas reglas rigen el uso de las conectivas, los cuantificadores y demás operadores.
Es en el ámbito filosófico donde más se lo aprecia.
Presentación de la lógica a la manera de un cálculo y la formulación de reglas a la manera de operaciones.
Estas reglas rigen el uso de las conectivas, los cuantificadores y demás operadores
La lógica simbólica utiliza lenguaje formal, que a su vez utiliza símbolos para reemplazar al lenguaje natural.
Utiliza variables que son símbolos que sustituyen enunciados que van cambiando según las diferentes expresiones o argumentaciones
"p","r",s,"t,"y"z"
Las constantes o conectores proposicionales, no son variables y ayudan a crear a alterar o conectar enunciados, lo que facilita a crear enunciados complejos, los mas comunes son:negación, conjunción, disyunción, condicional y bincondicional.
Proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal.
La lógica simbólica se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad.
. La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática.
La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica matemática.
La teoría de la computabilidad captura la idea de la computación en términos lógicos y aritméticos.
En un nivel elemental, la lógica simbólica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal.
En un nivel avanzado, la lógica simbólica se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por completo.
La lógica proposicional es parte de la lógica simbólica y es la que estudia a la lógica que de las varias formas en que se relacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen un razonamiento.
INTEGRANTES:
Christian Cueva
Milena Rodriguez
Mario Salazar
Ana Alcocer Varela
Sara Abril
Ignacio Campaña
Al simbolizar un lenguaje lo que se persigue es, básicamente, sencillez, claridad y exactitud. Es más sencillo y también resulta más claro y exacto representar las cosas por medio de símbolos.
LA SIMBOLIZACIÓN DEL LENGUAJE LÓGICO
Bibliografía
Campos, J. (11 de 12 de 2019). LOGICA SIMBÓLICA. Obtenido de LOGICA SIMBÓLICA PARA TODOS:
http://www.ldiogenes.buap.mx/revistas/3/a2la3ar3.htm
http://kali.azc.uam.mx/clc/03_docencia/Iniciacion%20a%20la%20Logica%20Simbolica.pdf
UNIVERSIDAD REGIONAL AUTÓNOMA DE LOS ANDES "UNIANDES"
GRUPO: 1
CURSO: Cero "C"
