Documentos de Académico
Documentos de Profesional
Documentos de Cultura
lógica
Lenguajes naturales y artificiales
Por ejemplo:
• “La temperatura ambiente es mayor de 20 grados”
Ejemplos:
• Hoy es sábado
• Soy estudiante de psicología
• New York es llamada la capital del mundo
• Las proposiciones se representan simbólicamente mediante el uso de letras
minúsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el
nombre de letras o variables proposicionales; de esta forma, el lenguaje
proposicional se hace más simple y exacto que el lenguaje natural.
Ejemplos:
• p : Hoy es sábado
• q : Estudio filosofía
• r : Colombia es el país con el mayor número de especies de aves del
• mundo
• x : 4 + 3 = 10
En el lenguaje cotidiano se encuentran
expresiones como las siguientes:
Ejemplos:
• Las rosas son rojas y tienen espinas.
• ¿La selección Colombia ganó o perdió?
• En el país no hay violencia.
• Si estudio lógica matemática entonces podré determinar la validez de un
razonamiento lógico.
• 4 es un número par si y sólo si se puede dividir por 2.
Conectivos lógicos
Partiendo del ejemplo anterior, podemos hallar la notación
simbólica de las expresiones planteadas:
Ejemplo 1:
Expresión: “Las rosas son rojas y tienen espinas”.
Proposiciones:
• p : Las rosas son rojas
• q : Las rosas tienen espinas
Ejemplo 2:
Expresión: “La selección Colombia ganó o perdió”
Ejemplo 3:
Expresión: En el país no hay violencia.
Ejemplo 4:
Expresión: Si estudio lógica matemática entonces puedo
determinar la validez de un razonamiento lógico
Ejemplo 5:
Expresión: 4 es un número par si y sólo si se puede
dividir por 2.
Clasificación de las Proposiciones
• No utilizan conectivos lógicos
Simples o •
s : -3 es el inverso aditivo de 3
atómicas
• t : La tierra es plana
Ejemplos:
1. El triángulo es menor que el círculo
• Esta oración no es proposición, puesto que no especifica el criterio de
comparación, es decir, el área, perímetro, …, entre las figuras geométricas.
2. x + 5 = 8
• Aquí, x es una variable independiente, por lo tanto puede tomar cualquier
valor y por consiguiente no se puede afirmar nada.