LOGICA MATEMÁTICA

Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica

proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El
razonamiento lógico se emplea en matemática para demostrar teoremas; en ciencias
de la computación para verificar si son o no correctos los programas; en las ciencias
física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y
en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en
forma constante el razonamiento lógico para realizar cualquier actividad.

DEFINICIÓN 1: Una proposición es una expresión de la cual se puede decir siempre si es verdadera
o es falsa (V o F). Por tanto, se dice que las proposiciones son bivalentes, conviene observar que no
compete a la lógica establecer el valor de verdad de las proposiciones, es decir, se considerarán las
proposiciones simples con su valor ya asignado.

RESUMEN DE TABLAS DE VERDAD

p q pq pvq pvq pq pq p

V V V V F V V F

V F F V V F F F

F V F V V V F V

F F F F F V V V

EVALUACIÓN DE PROPOSICIONES COMPUESTAS MEDIANTE TABLAS DE VERDAD

Para evaluar proposiciones compuestas se puede hacer uso de tablas de verdad.
Recordemos que este método consiste en obtener los valores del conectivo principal a partir
de los valores de cada una de las proposiciones.

❖ Recuerde que el número de valores de cada proposición está dado por la fórmula 2n donde n es el
número de proposiciones.
❖ En la elaboración de una tabla de verdad se empieza a operar por el conectivo de menor dominio hasta
llegar al de mayor jerarquía.
Ejemplos
p q ( p  q)
1. Evaluar (p  q) V V F V V V
V F V V F F
2n = 22 = 4 valores F V F F V V
F F F F V F
 es el operador principal
Valor
principal
2. Evaluar [(p v q)  p] v (p  q)

p q[  (p v q)  p] v (p  q)
V V F V V V V V V V V V
V F F V V F V V V V F F
F V F F V V V F V F F V
F F V F F F F F V F V F
v es el operador principal
Valor
principal

3. Evaluar [(p  q)  (p v r)]  (p v r)

p q r [(p  q)  (p v r)]  (p v r)

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

 es el operador principal
Valor
EJERCICIOS PROPUESTOS principal

Construir las tablas de verdad de las siguientes proposiciones

(1) p  (p  q)
(2) (p v q)  (p  q)
(3) (p  q)  [p  (p v q)]
(4) [(p  q)  (q  r)]  (p  r)
(5) (p v q)  [p  (q  r)]
(6) [p  (q v r)]  [p v (q v r)]
(7) [ p  ( q  r ) ]  [ ( p  q )  r ]
(8) [ p  (  q v r ) ]   [ q  ( p   r ) ]
(9) [  ( p  q ) ] v  ( q  p ) ] v  r
(10)  [ p  ( q v r ) ]   [ ( q v  r )  ( p v  q ) ]
PRINCIPALES RESULTADOS
TAUTOLOGÍA (T) Una proposición compuesta es una tautología cuando todos los valores de verdad
del conectivo principal son verdaderas “V”.

Ejemplo de Tautología

La proposición (p  q)  (p v q) es una tautología.

CONTRADICCIÓN (F) () Una proposición compuesta es una contradicción, si todos los valores
del conectivo principal son “F”.

Ejemplo de Contradicción

La proposición (p  q) v (q v p) es una contradicción.

CONTINGENCIA Se dice que una proposición compuesta es una contingencia, si el conectivo principal
tiene valores de verdad V y F.

Ejemplo de Contingencia

La proposición (p  q)  (p v q) es una contingencia

VALOR DE VERDAD DE UNA PROPOSICIÓN MEDIANTE EL MÉTODO DIRECTO

EJEMPLO 1

Hallar el valor de verdad de la proposición [(p  q)  r] v [(q v r)  p], Si se sabe que p  V ; q  F

y rV

Se reemplazan los valores de verdad dados en la proposición compuesta y se aplican las reglas de los
conectivos según jerarquía. [ ( p  q )  r ] v [ ( q v r )  p ]

V F V F V V
F V V V
V

La proposición [(p  q)  r] v [(q v r)  p] es : T

La proposición [(p  q)  r] v [(q v r)  p] es : V

 EJEMPLO 2

Si se sabe que la proposición (p  q) es verdadera y (r  s) es falsa, hallar el valor de verdad de p, q,

r y s y de (p  q)  (r  s) .

(p  q)  (r  s)

V V V F
V (1)
F

IMPLICACIÓN LÓGICA

Una implicación lógica es una proposición condicional que resulta ser tautología.

p q (p  q)  (p v q)

V V F F V V F F F
pV V F F F F V F V V
qV F V V V V V V V F
r  v F F V F F V V V V
Entonces,

rF Tautología

sF
EQUIVALENCIA LÓGICA

Dos proposiciones A y B son lógicamente equivalentes, si la proposición A  B es una tautología.

EJEMPLO

Sean A : (p  q) y B : (p v q) Pruebe que A  B (A equivale lógicamente a B)

EJERCICIOS:

1. ¿Cuál de las siguientes expresiones es equivalente a p?

A) p v  p B) p  (p  q) C)  (p   p)
D) p v (p  p) E) p  (q v  p)
2. ¿Cuándo una proposición del tipo p  q es falsa?

3. Si la proposición (p   q)  r es falsa, determine los valores de verdad las negaciones de p, q y r.

4. Dadas las proposiciones, p : {-32 < -3}, q : {-3 < 2} y r : {-5 · 52  -253}, determine el valor de verdad
de p  ( q r )

5. ¿Cuál(es) de las siguientes proposiciones es (son) tautología(s)?

a) p  q)  p; b) (p  q) v (p v p); c) (p  q) v (p  q)

6. Sabiendo que la proposición p es verdadera, ¿en cuál(es) de los siguientes casos es suficiente dicha
información para determinar el valor de verdad de la proposición?

a) (p v q)  (p  q); b) (p v q)  (p v r); c) (p  q)  r

7. ¿Cuál es la representación proposicional de “no es el caso que Jime cante y baile”

8. Si se sabe que (p  q)  r, es falsa, entonces ¿cuál(es) de las siguientes proposiciones es (son)
verdadera(s)?

a) p es V; b) q es F; c) r es F

9. “Rodolfo obtendrá la primera mayoría y será elegido presidente del centro de alumnos, si, y solo si,
obtiene el apoyo de las mujeres” . Exprese simbólicamente este enunciado

10. Si (p  q)  r es una falsedad, determine los valores de verdad de p, q y r

11. ¿Cuáles de las siguientes proposiciones son equivalencias lógicas?

a) (p  q) y [(p v q)  q]; b) (p  q) y (p  q); c)
c) [(p  q) v q] y (q v p)

12. Si la proposición (p  q)  (p  r) es falsa, entonces ¿cuál(es) de las siguientes proposiciones es

(son) falsas)?

a) p  q; b) r  q; c) q  p

13. Si p : -4 = -2 y q = -9 = 3i, ¿cuál(es) de las siguientes proposiciones es (son) verdadera(s)?

a) p  q; b) p  q; c) q  p

14. ¿Cuál de las siguientes proposiciones son verdaderas?

a) (p  q)  (p v q); b) (p  q)  (p v q); c) (p v q)  p  q

15. Se define pq : (p  q). Si (p  q) es una proposición falsa, ¿cuál(es) de las siguientes
proposiciones es (son) verdadera(s)?

a) p  q; b) q  p; c) p  q
16. Sabiendo que la proposición [(p  q)  (r  s)]  (s  r) es falsa, determine los valores de
verdad de las proposiciones p, q, r y s,

17. Mediante tablas de verdad verifique si es verdadero o falso

a) p v (q  r) es lógicamente equivalente con (p v q)  (p v r)

b) (p  q) v (p  r) es lógicamente equivalente con p  (q v r)

c) (p  q)  r es lógicamente equivalente con (p  r)  (q  r)

18. p  q “ni p ni q”. Entonces, mediante tablas de verdad, verifique si:

a) (p  q)  (q  q) es lógicamente equivalente con p  q.

b) (p  q)  (p  q) es lógicamente equivalente con p v q.

19.Demostrar que las siguientes proposiciones son implicaciones lógicas.

a) (p  q) v ( q  p); b) q  [(p  q)  p]

Observación

La relación de equivalencia lógica, es una relación de equivalencia, por lo cual, satisface las tres
siguientes propiedades:

1. Propiedad reflexiva
p  p para toda proposición p.

2. Propiedad simétrica
Si p  q, entonces q  p.

3. Propiedad transitiva
Si p  q y q  r, entonces p  r.

Ejercicio

Si A: p  q y B : p v q, demostrar que A y B son equivalentes

IMPLICACIÓN LÓGICA
DEFINICIÓN

Se dice que la proposición p implica lógicamente la proposición q (lo que se denota p  q), si la
condicionalidad p  q es una tautología; es decir, p implica lógicamente q si, y solo si,

p  q es una tautología
Observación.

I Las propiedades que satisfacen la implicación lógica son las siguientes

1. Propiedad reflexiva pp

2. Propiedad antisimétrica Si p  q y q  p, entonces q  p.
3. Propiedad transitiva Si p  q y q  r, entonces p  r.

II Si T denota una tautología y p es una proposición cualquiera (verdadera o falsa), entonces p  T, es

una tautología. Esto significa que, un enunciado tautológico se deduce de cualquier enunciado
(verdadero o falso)

III Si F denota una contradicción y p es cualquier proposición (verdadera o falsa), entonces F  p es una
tautología. Esto significa que, de un enunciado contradictorio se puede deducir cualquier enunciado.

PROPIEDADES O LEYES DEL ÁLGEBRA PROPOSICIONAL

1. Leyes de idempotencia
a) p v p  p b) p  p  p
2. Leyes asociativas
a) (p v q) v r  p v (q v r) b) (p  q)  r  p  (q  r)

3. Leyes conmutativas
a) p v q  q v p b) p  q  q  p
4. Leyes distributivas
a) p v (q  r)  (q v p)  (p v r) b) p  (q v r)  (q  p) v (p  r)
Leyes de identidad

a) p v F  p; b) p v V  V; c) p  F  F; d) p  V  V
5. Leyes de complemento
a) p v p  V; b) p  (p)  F; c) p  p  F; d) V  F ; F  V
6. Leyes de De Morgan
a) (p v q)  (p  q); b) (p v q)  (p v q)
7. Leyes condicionales
a) p  q  p v q; b) (p  q)  p  q
8. Leyes bicondicionales
a) p  q  (p  q)  (q  p); b) p  q  (p v q)  ( q v p)
9. Leyes de absorción
a) p  (p v q)  p b) p  (p v q)  p  q
c) p v (p  q)  p d) p v (p  q)  p v q
e) p  (p v q)  p  q f) p v (p  q)  p v q

EJERCICIOS

1. Aplicando las leyes del álgebra de proposiciones simplifique [(p  q)  (r  s)]  q

2. Aplicando las leyes del álgebra de proposiciones, demuestre que las proposiciones
[(p  q)  q] v p y p v q son lógicamente equivalentes
3. Aplicando las leyes del álgebra de proposiciones demostrar que la proposición
[(p  q) v p] v (q  p) es una tautología

CUANTIFICADORES
Cuantificadores Universal y Existencial

Los enunciados abiertos tales como x < 0 son proposiciones sólo si se conoce el valor de x.
Por ejemplo para x = perno, la expresión x < 0 carece de sentido, pero si x = -1, entonces
este enunciado es una proposición verdadera y si por ejemplo, x = 1, entonces x < 0 es una
proposición falsa.

Definición

Una función proposicional lógica sobre un conjunto A no vacío, es una expresión p que
depende de x (lo que se denota p = p(x)), tal que a cada elemento a del conjunto A asigna
un único valor de verdad a la expresión p(a), el cual puede ser verdadero o falso, pero no
ambas cosas a la vez, por lo cual, p(a) es una proposición lógica para todo a  A.

Podemos decir entonces, por ejemplo que, la expresión “x < 0”, es una función proposicional
lógica sobre el conjunto de los números reales.

Sea p = p(x) una función lógica sobre un conjunto A y  el conjunto de todos los valores x
para los cuales p(x) es verdadero, es decir,   = {x  A / p(x) es verdadero}

El conjunto  es el conjunto de validez de la función lógica de p. Evidentemente:     A

Cuantificador Universal

Si  = A, es decir {x  A / p(x)} = A

El enunciado p(x) es verdadero para todo elemento de A, denotándose esto

( x  A):p(x) o bien x  A: p(x), lo cual se lee “para todo x  A se cumple p(x)”

El símbolo  recibe el nombre de cuantificador universal.

Cuantificador existencial

Si el conjunto de validez  no es el conjunto vacío, entonces  tiene al menos un elemento.

En este caso esto se denota: ( x  A): p(x), o,  x  A : p(x) Y se lee:

“existe un x que pertenece a A tal que p(x)” o “para algún x que pertenece a A, tal que
p(x)” o

“para al menos un x que pertenece a A, tal que p(x)”

El símbolo  recibe el nombre de cuantificador existencial.

! : existe un único elemento x

Negación de cuantificadores

Si  es un subconjunto de A, pero no es igual a A, entonces

 c = {x  A / p (x)} (el complemento de ) es un conjunto no vacío

Simbólicamente:

( x  A: p(x))   x  A : p(x)

Se concluye también que

( x  A : p(x))   x  A: p(x)

EJERCICIOS

1. Si se considera a lR (conjunto de los números reales) como el conjunto universo, indique

el valor de verdad (V o F) de cada una de las siguientes proposiciones:
a) x: x2 = x; d) x: x3 = x
1
b) x: x2  0; e) x: =0
x
c) x: x3 + 1 > 0; f) !x: 5x = 0
2. Negar las siguientes proposiciones:
a) x: x2 > x; e) x: 0x = 0
b) x: (x + 1)2 = x2 + 1; f) x: x3 – 1 < x3
c) x: x + 10 > x; g) x: x  0