PROPOSICIONES
La lógica es la ciencia que estudia el razonamiento, donde “razonar” consiste en obtener
afirmaciones (llamadas conclusiones) a partir de otras afirmaciones (llamadas premisas) con los
criterios adecuados para que podamos tener la garantía de qué si las premisas son verdaderas,
entonces las conclusiones obtenidas también tienen que serlo necesariamente.
Llegados a este punto podemos destacar un hecho fundamental: no corresponde a la lógica
“definir” lo que es un razonamiento válido. Las formas válidas de razonamiento son las que son, y
no estamos en posición de decidir cuáles queremos dar por buenas y cuáles no.
El propósito de la lógica es formalizar un razonamiento, es expresarlo de tal modo que se pueda
justificar que es válido, el razonamiento, atendiendo únicamente a la forma de las afirmaciones
involucradas, sin necesidad de considerar para nada, no ya si éstas son verdaderas o falsas, sino
siquiera su posible significado.
En matemáticas, la lógica matemática es la ciencia que estudia los métodos de razonamiento,
proporciona reglas y técnicas para determinar si un argumento es válido o no, indica la forma
correcta de obtener conclusiones y los métodos adecuados para llegar a ellas.
El razonamiento lógico se emplea en matemáticas para demostrar teoremas y para resolver una
multitud de situaciones problémicas.
La lógica matemática estudia las leyes de inferencia en los razonamientos.
Por medio de la formalización del lenguaje y de sus reglas básicas, proporciona las herramientas
necesarias para poder tratar e intentar resolver rigurosamente problemas que tienen sus orígenes y
aplicaciones en diferentes áreas de las ciencias.
PROPOSICIONES
En lógica las proposiciones son sentencias o afirmaciones a las que puede dárseles un valor
verdadero o falso, según sea el caso, y que expresan una relación lógica de algún tipo entre un
sujeto (S) y un predicado (P). Las proposiciones se relacionan entre sí mediante los juicios, y son la
base del sistema deductivo e inductivo de la lógica formal.
Una proposición matemática es un enunciado o expresiones que tienen un significado
determinado y que mediante un criterio definido puede ser clasificada inequívocamente como
verdadera o falsa.
En forma simple una proposición es una enunciación de una verdad demostrada o que se trata de
demostrar.
En lenguajes naturales tales como el español, alemán, inglés, entre otros, las proposiciones no
pueden ser imperativas o interrogativas, únicamente pueden ser declarativas.
De acuerdo con lo anterior los siguientes enunciados son proposiciones:
Los domingos se descansa.
Java es un lenguaje de programación.
5 es un número impar.
Hay algunos enunciados que no son proposiciones:
¿Quién soy?
¡Hola amigo!
¿Qué hora es?
Los siguientes enunciados no son proposiciones, pues no es posible que se evalúen como verdaderas ni falsas:
¡Por favor estudia!
¿Cuál es tu fecha de nacimiento?
Las proposiciones de forma tradicional se representan con letras minúsculas del alfabeto p, q, r, s,
t, ..., cada una de estas letras puede recibir el nombre de átomo. La forma de representación será la
siguiente:
p : enunciado o proposición .
p : 2 × 3 = 6.
q : 3x + 4z = 8.
r : 7 < 3.
t : Egipto está ubicado en Asia.
u : Las leonas no son las campeonas.
v : Java es un lenguaje de programación orientado a objetos.
En la lógica proposicional se puede determinar la validez de las expresiones únicamente desde el
punto de vista de su estructura, sin tener en cuenta el significado semántico de tales expresiones.
Por ejemplo, si se tiene la expresión:
Rasputín habita en Armenia.
En esta expresión no se sabe si Rasputín es una persona, es un animal o cualquier otro concepto.
Analizando la expresión podemos dar el valor de verdad o falsedad a esta, pero el significado de ella
no lo consideraremos relevante.
Otros ejemplos:
Liliana le dio la vuelta a Argelia.
Los liberales son los ganadores del torneo.
Orlando está de fiesta.
Proposiciones Simples y Compuestas
Existen dos tipos de proposiciones, simple y compuesta.
Cuando una proposición se presenta en su forma más sencilla, se llama atómica o simple. La lógica estudia
fórmulas proposicionales simples o compuestas. Las proposiciones simples son aquellas en los que no es
posible encontrar otras proposiciones,
Una proposición es simple si expresa una sola idea sobre algo.
Ejemplos de proposiciones simples:
p : El cuadrado es un paralelogramo.
q : María quiere a Juan.
r : 7 es un número primo.
s : Canadá es una ciudad.
t : 17 no es un número compuesto.
u:5+3<4+7
Proposiciones Simples y Compuestas
Cuando una proposición se presenta con más de un verbo, o varios sujetos, o varios predicados, etc, se llama molecular o
compuesta.
Una proposición es compuesta si relaciona dos o más proposiciones simples por medio de un conector lógico, entre los cuales
se encuentran: y, o, si. . . entonces . . . , si y sólo si . . . . Un conector lógico es por lo tanto un elemento que permite la unión
de proposiciones simples.
Ejemplos de proposiciones moleculares o compuestas:
m : 3 es un número impar y 2 es un número par.
n : 24 es divisible por 4 o por 8.
o : x3 − 8 = 0 si y sólo si x = 3.
p : El cielo es de color azul o el árbol es verde.
q : Daniel y Felipe son altos.
r : Si la demanda crece, entonces las compañías se expanden.
s : Algunos números son impares y primos.
t : La vaca es un animal mamífero y cuadrúpedo.
u : 18 es múltiplo de 9 y divisor de 54, o 18 es divisible por 3.
Negación de una Proposición
Antes de iniciar a describir los conectores lógicos, introduciremos el concepto de negar una
proposición matemática, lo que implica convertirla en falsa si es verdadera o en verdadera, si es
falsa, el símbolo de la negación es ￢ .
Algunos ejemplos de frases en las que aparece la negación son los siguientes:
No p.
Es falso p.
No es cierto p.
El símbolo de la negación ( ￢ ) es un operador unario, inicialmente lo aplicaremos a los elementos,
pero después se mostrará como aplicarlo a una expresión compuesta.
A continuación, se muestran ejemplos en los cuales se aplica la negación de una proposición a los elementos.
Proposición: 7 es múltiplo de 8
Negación de la proposición: ￢ 7 no es múltiplo de 8
Proposición: 37 es un número primo
Negación de la proposición: ￢ 37 no es número primo
Proposición: 3 + 5 = 2
Negación de la proposición: ￢ 3 + 5 6 = 2
Proposición: 5 es mayor que 7
Negación de la proposición: ￢ 5 no es mayor que 7
Proposición: p es verdadero
Negación de la proposición: ￢ p es falso.
