La lógica simbólica by Samuel Avila https://padlet.com/xavivalero10/43hfoj8lltob43by Un pequeño mural interactivo sobre la lógica simbólica en-us 2025-09-25 02:49:28 UTC 2025-10-01 10:37:02 UTC hello@padlet.com EL LENGUAJE LÓGICO xavivalero10 https://padlet.com/xavivalero10/43hfoj8lltob43by/wish/3603049493 El lenguaje lógico es una forma de comunicación que se basa en reglas claras, objetivas y coherentes, para expresar ideas de manera precisa y sin ambigüedades. A diferencia del lenguaje cotidiano (que puede ser figurado, emocional o subjetivo), el lenguaje lógico busca que lo que se dice tenga sentido exacto y pueda ser entendido igual por cualquiera.

Se usa mucho en matemáticas, filosofía y computación, porque ahí importa la exactitud. Está construido sobre principios de la lógica formal, donde cada enunciado debe poder ser verdadero o falso, sin espacio para confusiones.

Ejemplo simple:

  • Lenguaje cotidiano → “El día está bonito”. (Es subjetivo, cada uno lo interpreta distinto).

  • Lenguaje lógico → “Hoy no llueve y hay sol”. (Son condiciones claras que cualquiera puede comprobar).

]]> 2025-09-25 03:08:20 UTC https://padlet.com/xavivalero10/43hfoj8lltob43by/wish/3603049493 lógica función proposicional de cuantificación https://padlet.com/xavivalero10/43hfoj8lltob43by/wish/3606360671 La lógica de cuantificación extiende la lógica proposicional para manejar enunciados con variables, transformando funciones proposicionales abiertas en proposiciones mediante el uso de cuantificadores. Los cuantificadores son el cuantificador universal (∀), que significa "para todo", y el cuantificador existencial (∃), que significa "existe al menos uno". Al anteponer estos símbolos a una función proposicional p(x), como ∀xp(x) o ∃xp(x), se crea una afirmación con un valor de verdad definido. 

]]> 2025-09-26 20:43:58 UTC https://padlet.com/xavivalero10/43hfoj8lltob43by/wish/3606360671 LA LÓGICA SIMBÓLICA Y SU IMPORTANCIA HOY EN DIA. sucryquintero https://padlet.com/xavivalero10/43hfoj8lltob43by/wish/3606468278 paso a la creación de un lenguaje artificial para hacer frente a los complejos argumentos lógicos, con el propósito de ahorrar el tiempo en la argumentación. Sirve para ayudar a prevenir la confusión y la ambigüedad de la palabra. Su importancia es que la lógica simbólica ha contribuido al desarrollo de nuevos marcos axiomáticos, es decir, sistemas formales utilizados para derivar teoremas lógicos en varias ramas de las matemáticas, incluyendo la aritmética, la geometría y el análisis de problemas.

]]> 2025-09-27 01:00:26 UTC https://padlet.com/xavivalero10/43hfoj8lltob43by/wish/3606468278