Documentos de Académico
Documentos de Profesional
Documentos de Cultura
La lógica proposicional es importante porque nos proporciona una herramienta esencial para
el análisis y la evaluación crítica de argumentos, lo que nos permite tomar decisiones más informadas,
fundamentadas y precisas en cualquier campo del conocimiento.
Por ejemplo, si tenemos la proposición "El cielo es azul" y la combinamos con la proposición
"La hierba es verde" utilizando el conector lógico "y", obtenemos la proposición "El cielo es azul y la
hierba es verde". Esta nueva proposición se considera verdadera solo si ambas proposiciones son
verdaderas.
1.1.1. Proposiciones:
Una proposición es una declaración que puede ser verdadera o falsa, Las proposiciones son un
componente clave de los razonamientos y las argumentaciones, ya que forman la base de los juicios
que se hacen sobre el mundo. A continuación, unos ejemplos:
1.1.2. Enunciados:
Un enunciado es una oración o frase que comunica una idea o información. Un enunciado
también se refiere a una declaración o afirmación, pero su enfoque es más amplio. Un enunciado
puede ser una expresión hablada, escrita o cualquier otra forma de comunicación que intente
transmitir un mensaje. Los enunciados pueden incluir no solo proposiciones, sino también preguntas,
órdenes o incluso frases incompletas. A continuación, unos ejemplos:
1.2.1. Proposiciones: Son declaraciones que pueden ser valoradas como verdaderas o falsas.
Ejemplos pueden ser: "El cielo es azul" o "2+2=4".
1.2.2. Conectivas: Son palabras que nos permiten combinar proposiciones, como "y", "o" o
"no". Por ejemplo, "El cielo es azul Y el sol está brillando".
1.2.3. Tablas de verdad: Son herramientas que nos permiten visualizar todas las posibilidades
de valorar proposiciones o combinaciones de estas. Nos permiten determinar si una declaración es
verdadera o falsa en distintas circunstancias.
1.2.5. Falacias: Son argumentos que parecen racionales, pero que, en realidad, tienen una
estructura lógica incorrecta. Por ejemplo, "Todos los perros tienen cuatro patas. Mi gato tiene cuatro
patas. Mi gato es un perro".
Las proposiciones simples son declaraciones o enunciados que no pueden ser divididos en
proposiciones más pequeñas. Por ejemplo, "El cielo es azul" es una proposición simple porque no
puede ser dividida en otras proposiciones.
Las proposiciones simples pueden ser verdaderas o falsas. La verdad de una proposición
simple depende de su correspondencia con los hechos en el mundo. Por ejemplo, si el cielo es de un
color diferente al azul, entonces la proposición "El cielo es azul" sería falsa.
Las proposiciones simples se pueden utilizar como base para construir proposiciones más
complejas. Por ejemplo, la proposición "El cielo es azul Y el sol está brillando" es una proposición
compuesta que se construye a partir de dos proposiciones simples.
Las proposiciones compuestas pueden ser valoradas como verdaderas o falsas. La verdad de
una proposición compuesta depende de la verdad de las proposiciones simples que la componen, así
como de las conectivas lógicas y el modo en que se combinan.
Las proposiciones compuestas se pueden analizar utilizando Tablas de Verdad, que permiten
determinar el valor de verdad de la proposición en distintas condiciones.
Los conectores lógicos de la lógica proposicional son símbolos que permiten hacer
operaciones lógicas entre proposiciones. A continuación, se presentan 8 puntos importantes sobre
estos conectores:
1.5.1. Los conectores lógicos se utilizan en la lógica proposicional para establecer relaciones
lógicas entre proposiciones.
1.5.3 La negación se utiliza para negar una proposición y se representa por el símbolo "~".
1.5.4. La conjunción se utiliza para unir dos proposiciones y ambas deben ser verdaderas para
que la nueva proposición sea verdadera. Se representa por el símbolo "^".
1.5.5. La disyunción se utiliza para unir dos proposiciones, y al menos una de ellas debe ser
verdadera para que la nueva proposición sea verdadera. Se representa con el símbolo "v".
1.5.6. La implicación se utiliza para establecer una relación entre dos proposiciones, de modo
que, si se da la primera proposición, entonces también se da la segunda. Se utiliza el símbolo "->".
1.5.7. La equivalencia se utiliza para establecer que dos proposiciones son iguales en valor
lógico. Se utiliza el símbolo "<->".
1.5.8. Los conectores lógicos son de gran importancia en la construcción de sistemas lógicos y
en la resolución de problemas de lógica, matemáticas y ciencias de la computación.