LÓGICA MATEMATICA O LOGICA PROPOSICIONAL

1. DEFINICION

La lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su

valor de verdad y determinar si las conclusiones se han deducido correctamente
a partir de proposiciones supuestas, llamadas premisas, además; la lógica es una
ciencia que se interesa por las relaciones existentes entre las proposiciones con
el fin de proporcionar tres características del razonamiento lógico: conciso,
preciso y claro.
La claridad y la concisión, los estudiantes la consiguen en la medida que se
familiariza con los elementos básicos de un argumento lógico, tanto en su
representación lógica como en su significado, lo que permite la simplificación de
argumentos lógicos complicados, de esta manera los símbolos le permite la
concentración en lo esencial de un contexto.

2. PROPOSICIONES
Es una oración declarativa que puede tomar el valor de verdadero o falso pero
no ambos a la vez. La proposición es el elemento esencial de la lógica para la
matemática.
Es importante tener en cuenta que las proposiciones son oraciones declarativas
y tienen una estructura definida así un sujeto bien definido, un predicado y una
conjugación de un verbo. El simple sustantivo o sujeto no configura una
proposición.
Las proposiciones se representan simbólicamente mediante el uso de letras
minúsculas del alfabeto tales como p, q, r, s, t,…x, y, z. las cuales reciben el
nombre de letra o variables proposicionales, de esta manera, el lenguaje
proposicional se hace más simple y exacto que el lenguaje cotidiano.
Ejemplos:
p: La luna es un satélite natural de la tierra.
q: El dos es un número primo.
r: 4+3 = 7
s: 32 + 42 = 52
t: New York es llamada la capital del mundo.
Existen enunciados que no son proposiciones, porque no es posible establecer su
valor de verdad por ejemplo:
¿Qué hora es?
¡Millonarios será el próximo campeón!
Mañana lloverá.
¡Ojalá que pase el examen de matemáticas!

3. CLASES DE PROPOSICIONES
Las proposiciones se pueden clasificar en proposiciones simples y compuestas.
Proposiciones simples
Son aquellas oraciones que carecen de conectivos lógicos. Ejemplos:
p: La lluvia es un fenómeno natural
q: 5 es el inverso aditivo de -5
r : Bolivia tiene costas marítimas
Proposiciones compuestas
Son aquellas proposiciones que se forman al combinar proposiciones simples con
los conectivos lógicos o términos de enlaces.
Ejemplos
p: Si estudio.
q: Apruebo el semestre.
p  q: Si estudio entonces apruebo el semestre

s : un triángulo es equilátero
t : triángulo que tiene sus tres lados iguales.
S  t: un triángulo es equilátero si, solo, si tiene sus tres lados iguales.

p: Gloria canta
q: Luisa es estudiante.
p  q: Gloria canta y Luisa es estudiante.

4.-CONECTIVOS LOGICOS
Son términos que sirven para enlazar proposiciones simples, estos son: la
negación, la conjunción, la disyunción incluyente, el condicional, el
bicondicional, disyunción excluyente.

TABLA DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS

 LA CONJUNCIÓN (  )
Sean p y q dos proposiciones simples. La proposición compuesta p  q se
denomina conjunción.
Ejemplo 1:
La proposición compuesta: 5 es un número impar y entero positivo.
Está formada por:
p: 5 es un número impar
q: entero positivo
 : Conjunción
Para determinar la tabla de verdad, para la conjunción. Analizaremos la siguiente
proposición.
p: 8 es un número par (v)
q: 5 es un número primo (v)
p  q: verdadero
p: 8 no es un número par (f)
q: 5 es un número primo (v)
p  q: falso

p: 8 es un número par (v)

q: 5 no es un número primo (f)
p  q: falso

p: 8 no es un número par (f)

q: 5 no es un número primo (f)
p  q: falso

Conclusión: La conjunción es verdadera, cuando las dos proposiciones son

verdaderas, en los demás casos es falsa.

P Q pq
V V V
V F F
F V F
F F F

 LA DISYUNCION (˅) INCLUSIVA

Sean p y q dos proposiciones simples. La proposición compuesta p o q,
simbolizada por p  q se llama disyunción.

El operador “o” se puede usar como “o incluyente”. En el primer caso hace que
el valor de verdad de una de las proposiciones simple repercuta en el valor
verdadero de la proposición disyuntiva, La tabla de verdad de la “o inclusiva”.
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Álgebra.

La disyunción entre a y b es:

a ∨ b: Tengo un libro de Trigonometría o uno de Álgebra.

Como se podrá notar en este ejemplo, existe la posibilidad de poseer ambos

libros, razón por la cual esta disyunción recibe el nombre de disyunción inclusiva.

p Q pvq
V V V
V F V
F V V
F F F

 LA DISYUNCION EXCLUSIVA
Sean p o q proposiciones. La proposición p  q , es la proposición que solo es
verdadera cuando tanto p como q son falsas. Pero no en ambos casos a la vez.
Este operador lógico relaciona dos proposiciones para formar una nueva, en la
cual la proposición resultante será verdadera cuando solamente una de ellas sea
verdadera.
La disyunción exclusiva a v b puede expresarse como: (a ∨ b) ∧ ¬(a ∧ b)
En español, la disyunción exclusiva se presenta con el término gramatical “o”,
“o sólo”, “o solamente”, “o..., o...”
Ejemplo
Si se tienen las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyunción exclusiva entre a y b es:
a ∨ b: O estoy en Quito o estoy en Guayaquil
 p q pq

V V F
V F V
F V V
F F F

 LA NEGACIÓN
Sea p, una proposición simple, se define la negación mediante la proposición
compuesta no p, simbolizada por ¬p.
Su tabla de verdad se puede resumir así:
P p
V F
F V
Una proposición simple, se puede negar de varias maneras.
Ejemplos
Negar las siguientes proposiciones:
1. Sea p: el 8 es un número primo
Solución
¬p: no es cierto que el 8 sea un número primo.
2. Sea q: 72=49
Solución
¬q: No es cierto que 72 = 49
¬q: 72 ≠49
3. Sea r: todos los peces viven bajo el agua
Solución
¬r: algunos peces no viven bajo el agua
4. Sea s: Algunas plantas son medicinales
Solución
¬s: ninguna planta es medicinal
 EJERCICIO
Negar las siguientes proposiciones.
1. Diana es modista
2. 12 es un número par
3. estas dos rectas son paralelas
4. todos los hombres son mortales
5. algunos deportistas son ciclistas
6. ningún loro vive en el polo norte

Solución

1. Diana no es modista
2. No es cierto que 12 sea un número par… 12 es un número impar
3. Estas rectas no son paralelas; estas rectas son concurrentes.
4. Algunos hombres son inmortales
5. ningún deportista es ciclista
6. algunos loros no viven en el polo norte.
 EL CONDICIONAL O IMPLICACION
Se dice que una proposición es compuesta por el condicional, si está formada
por dos proposiciones simples entrelazadas por la expresión: si…., entonces,…
La mayoría de las proposiciones matemáticas o teoremas tienen esta estructura
P q
 
Antecedente consecuente
 
Hipótesis conclusión
Se puede enunciar de varias formas
 p entonces q
 p solo si q
 p si q
 p es suficiente para q
 q es necesaria para p

Analicemos el valor de verdad para el condicional

1. Sean p y q verdaderas
p  q Es verdadera

Si se parte de una hipótesis verdadera y nuestro razonamiento ha sido correcto

nos conduce a una conclusión verdadera, por lo tanto, la implicación es
verdadera.
2. Si p es verdadera y q es falsa:
p  q es falsa

Si la hipótesis es verdadera, nos conduce a una conclusión falsa, es porque hemos

cometido un error en el razonamiento y finalmente el condicional es falso.
3. Si p es falsa y q es verdadera

p  q es verdadera

Si se parte de una hipótesis falsa y razonando correctamente, podemos llegar a

una conclusión verdadera. En este caso, el condicional es verdadero.
4. si p y q son falsas
p  q es verdadero

Si partimos de una hipótesis falsa y razonando correctamente podemos llegar a

una conclusión falsa. Por tanto, el condicional es verdadero.

P q
pq
V V V
V F F
F V V
 F F V

CONDICIONES NECESARIAS O SUFICIENTES

Analice las siguientes implicaciones:
1. P: Existe fuego
Q: Hay presencia de oxígeno.
P Q: Si existe fuego entonces hay presencia de oxígeno.
En este caso, es suficiente que haya fuego para comprobar la presencia de
oxigeno: P es suficiente para q. En cambio, es necesario que exista la presencia
de oxígeno para que se produzca el fuego: q no es necesaria para p.

 EL BICONDICIONAL
Se denomina BICONDICIONAL a la proposición formada por dos proposiciones
simples p y q conectadas con la expresión: “si y solo si”, simbólicamente lo
podemos expresar, así p  q .

Esta proposición está formada por las implicaciones p  q y q  p , las cuales

deben de tener el mismo valor de verdad, para formar la equivalencia entre p y

q; en consecuencia se dice que p es equivalente a q y se acostumbra a escribir
p  q.

Esta equivalencia entre p y q, tiene más de una traducción que significa lo mismo:
p si y solo q si p entonces q recíprocamente
q si y solo p si q entonces p recíprocamente

TABLAS DE VERDAD PARA EQUIVALENCIA

(DOBLE IMPLICACION)
p q pq
V V V

V F F
 F V F

F F V

CONSTRUCCION DE TABLAS DE VERDAD

En la construcción de tablas de verdad debemos tener los siguientes hechos:
1. Determinar el número posibles de combinaciones. Si hay n proposiciones, el
n
número de combinaciones será 2

2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla

así por ejemplo:
Si hay tres proposiciones, el número de combinaciones serán 2  8 ; por lo
3
tanto:
-Para primera proposición serán 4 verdaderas y 4 falsas.
-Para la segunda proposición serán 2 verdaderas, 2 falsas, 2 verdaderas y 2
falsas.
-Para la tercera proposición serán una verdadera, falsa, verdadera, falsa,
verdadera, falsa, verdadera, falsa.

3. Si la última casilla o columna son todas verdaderas, se dice que la proposición es

una tautología.

Ejemplos:
1. Construir la tabla de verdad para:
p  q   q   p

p q p q pq ∼𝒒→
∼𝒑
p  q   p   q 
V V F F V V V

V F F V F F V

F V V F V V V

F F V V V V V

2. Construir la tabla de verdad

r  s  q  s   q    r 
 q r  s r  s   q s   q
q r s r (s˄∼q)→ ∼r A B

V V V F F V V F V V

V V F F F F V F V V

V F V F V F V F V V

V F F F V F V F V V

F V V V F V F V F V

F V F V F F V F V V

F F V V V F V V V V

F F F V V F V F V V

OBSERVACIONES:

En la última columna de una tabla de verdad pueden suceder 3 casos:

1. Si todos los valores son VERDADEROS, se dice que la proposición es

TAUTOLOGÍA.

2. Si todos los valores son FALSOS, se dice que la proposición es una

CONTRADICCION.
3. Si aparecen valores de VERDADEROS Y FALSOS, se dice que la proposición es
una INDETERMINACION.