CURSO MATEMÁTICA

ÁLGEBRA UNIVERSITARIA

INTRODUCCIÓN A LA LÓGICA
Material: MAU-Álgebra-03 (Alumno)

Profesor:

Curso:
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

EQUIVALENCIA LÓGICA
Recordemos la siguiente

DEFINICIÓN
Dos proposiciones p y q son lógicamente equivalentes (lo que se
denota por p  q), si la bicondicional p  q es una tautología, es
decir,

p  q si, y solo si p  q es una tautología

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

Solución

p q p  q p v q
V V V F V V
V F F F F F
F V V V V V
F F V V V F

Son iguales

 A  B o (p  q)  (p v q)

Página 2
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

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 q si, y solo si,

p  q es una tautología

Observación 1

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

1. Propiedad reflexiva
pq

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.

Observación 2
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)

Ejemplo
Si 1 = 2, por simetría 2 = 1 y, por
transitividad, se concluye que 1 = 1, por lo
tanto, 1 = 2  1 = 1

Página 3
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

Observación 3
Si F denota una contradicción y p es cualquier proposición (verdadera o falsa),
entonces F  p. Así se tiene que F  p siempre es una tautología.

Esto significa que, de un enunciado contradictorio se puede deducir cualquier

enunciado.

Ejercicio
Si A : p  q y B : p v q, demostrar que
A  B (A implica B)

Solución

p q (p  q)  (p  q)
V V V V V
V F F V V
F V F V V
F F F V V

Tautología

El esquema es una implicación lógica.

Página 4
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

LEYES DEL ÁLGEBRA DE PROPOSICIONES

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)

5. Leyes de identidad
a) p v F  p
b) p v V  V
c) p  F  F
d) p  V  V

6. Leyes de complemento
a) p v p  V
b) p  (p)  F
c) p  p  F
d) V  F ; F  V

7. Leyes de De Morgan
a) (p v q)  (p  q)
b) (p v q)  (p v q)

8. Leyes condicionales
a) p  q  p v q
b) (p  q)  p  q

9. Leyes bicondicionales
a) p  q  (p  q)  (q  p)
b) p  q  (p v q)  ( q v p)

10. 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

Página 5
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

EJERCICIOS DESARROLLADOS

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

Solución
[(p  q)  (r  s)]  q  [ (p  q) v (r  s)]  q Condicional
 [(p v q) v (r  s)]  q De Morgan
 [(r  s) v (p v q)]  q Conmutativa
 {[(r  s) v p] v q}  q Asociativa
 q  {q v [(r   s) v p]} Conmutativa
 q Absorción 10 a)

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

Solución
[(p  q)  q] v p  [(p  q) v q] v p Condicional
 [ (p  q)  q] v p De Morgan
 [(p v q)  q] v p De Morgan
 [q  (p  q)] v p Conmutativa
 (q  p) v p Absorción
 p v (p  q) Conmutativa
pvq Absorción

 [(p  q)  q] v p pvq

3. Aplicando las leyes del álgebra de proposiciones demostrar que la proposición

[(p  q) v p] v (q  p) es una tautología

Solución
[(p  q) v p] v (q  p)  [(p v q) v p] v (q v p)
 [(p v p) v q] v (q v p)
 (p v q) v (q v p)
 (p v p) v (q v q)
 T v (q v q)
T
Condicional
Asociativa y conmutativa
Idempotencia
Asociativa y conmutativa
Complemento
Identidad e idempotencia

Página 6
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

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)}

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.

Página 7
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

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, p(x)” o
“para al menos un x que pertenece a A, p(x)”

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

! se lee 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) Teorema de De Morgan

Se concluye también, entonces que

( x  A : p(x))   x  A: p(x) Teorema de De Morgan

Ejemplo
El enunciado “No es verdad que, para todo a que pertenece a A, p(a) es verdadero”
es equivalente con “Existe un a que pertenece a A, tal que p(a) es falso”

De igual modo:
El enunciado “No es verdad que existe un a que pertenece a A, tal que p(x) es verdadero”
es equivalente a “Para todo a que pertenece a A, p(a) es falso”

Página 8
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

Contraejemplo

De acuerdo al Teorema de De Morgan, (x: p(x))  x: p(x)

Para demostrar que un enunciado x, p(x) es falso, da lo mismo demostrar que
x: p(x) es verdadero; esto es, existe un elemento x0 tal que p(x0) es falso. Un
tal elemento x0 se dice un contraejemplo del enunciado x: p(x).

Ejemplo 1
1. Sea el enunciado x  lR: x2 > 0
Este enunciado es falso y el contraejemplo es x = 0, es decir, no se cumple que 0 2 > 0

2. Sea el enunciado x  : x3 > x2

Este enunciado es falso y un contraejemplo puede ser -2, ya que (-2)3 no es mayor que
(-2)2, es decir (-2)3 >(-2)2

Página 9
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

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
b) x: x3 = x
c) x: x2  0
1
d) x: =0
x
e) x: x3 + 1 > 0
f) !x: 5x = 0

2. Negar las siguientes proposiciones:

a) x: x2 > x
b) x: 0x = 0
c) x: (x + 1)2 = x2 + 1
d) x: x3 – 1 < x3
e) x: x + 10 > x
f) x: x  0

Soluciones

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) Falsa x2 = x = x, no se cumple para x = -1 (x = -1 es contraejemplo)
b) Verdadera Por ejemplo, se cumple para x = 1
c) Verdadera
1
d) Falsa No existe ningún número real x, tal que =0
x
e) Falsa Para x = -1 (contraejemplo) no se cumple que x3 + 1 > 0
f) Verdadera Existe un único x = 0, tal que 5x = 0

2. Negar las siguientes proposiciones:

a) x: (x2 > 0)  x: x2  0

b) x: (0x = 0)  x: 0x  0
c) x : [(x + 1)2 = x2 + 1]  x: (x + 1)2  x2 + 1
d) x: (x3 – 1 < x2)  x: x3 – 1  x2
e) x: (x + 10 > x)  Ex, x + 10  x
f) x: ( x  0)  x: x < 0

Página 10
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

PRINCIPIOS LÓGICOS

El principio de identidad, el principio de no contradicción, y el principio del tercio excluido,

son los tres principios lógicos fundamentales para que el pensamiento discurra por carriles
correctos.

Principio de Identidad
“Toda proposición es idéntica a sí misma”
pp pp pp
“Si un número es par, entonces es par”

Principio de Contradicción
“Una proposición no puede ser verdadera y falsa a la vez”
(p  p)

“Es absurdo que un número sea par y no sea par”

Principio del Tercio Excluido

“Una proposición es verdadera o falsa, no habiendo otra posibilidad”
p v p

“Diez es un número par o diez no es un número par”

Página 11
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

REGLAS DE INFERENCIA Y DEMOSTRACIONES

El hecho que si el antecedente de una implicación lógica es verdadero, el

consecuente también lo es, se usa este conocimiento en las demostraciones
deductivas.

En las demostraciones se comienza con la conjunción de un conjunto de

proposiciones que reciben el nombre de premisas o hipótesis, luego haciendo uso
de reglas de inferencia se obtienen otras proposiciones llamadas conclusiones
o tesis.

El paso lógico de las premisas a la conclusión recibe el nombre de deducción o

demostración. Si se usan correctamente las reglas de inferencia, de premisas
verdaderas se obtienen conclusiones verdaderas.

Página 12
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

METODOS DE DEMOSTRACIÓN

En la demostración de muchos teoremas y otras proposiciones que se presentan en

la Matemática (Álgebra, análisis real, topología, geometría, etc.) se aplican
ordenadamente los pasos lógicos, agotando todas las premisas (antecedentes e
hipótesis) para verificar la conclusión (consecuente o tesis)

Los dos métodos que se usan para demostrar una proposición, son los siguientes:

1. Método directo de demostración

En este método se utiliza la validez de la inferencia de la forma

p1  p2  p3 ………….  pn  q

premisas conclusión

En esta forma de demostración se utilizan las premisas p i, paso a paso hasta

verificar la conclusión q.

2. Método de reducción del absurdo

Este método, conocido también como método indirecto, consiste en negar la
conclusión q y considerarla como premisa falsa; luego se trata de inferir
válidamente la negación de algunas de las premisas p2 del conjunto {p1, p2, …, pn}

Esto quiere decir que se construye y se verifica la validez del enunciado

premisas

[(q)  p1  p2  …  pn]  F (CONTRADICCIÓN)

Resulta falso, porque se agregó a premisas
verdaderas la premisa (q). En
Negación de la tesis consecuencia, q es verdadera .

Ejemplo. Mediante los dos métodos, comprobar la validez de [p  (p v q)] q

Método directo Método indirecto

[p  (p v q)]  q Negar la conclusión y considerarla como
premisa:
  [p  (p  q)] v q q  [p  (p v q)]
 [p v  (p  q)] v q  q  [p  (p v q)]
 p v [q v (p  q)]  (q  p)  (p v q)]
 (p v q) v (p  q)  (q v p)  (p v q)
   (p v q)  (p  q)
 Tautología  F (  )

Página 13
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

INFERENCIA
Una inferencia, razonamiento o argumento, es un conjunto de
proposiciones en donde a partir de una o más proposiciones,
llamadas premisas, se extrae otra conocida como conclusión.

Ejemplo
P1 = Todo hombre es mortal
P2 = Todo pescador es hombre Premisas

C: Todo pescador es mortal Conclusión

Las inferencias se pueden denotar de dos formas:

Forma Horizontal
Esta forma consiste en escribir horizontalmente la conjunción de premisas que implican la
conclusión usando los conectivos:  y .

p1  p2  p3  ……  pn  q

premisas conclusión

Forma Vertical
En la forma vertical o clásica no se escriben en forma explícita los conectivos:  y . La
conjunción de premisas se representa en forma vertical trazando una raya horizontal bajo
la última premisa y tres puntos para luego escribir la conclusión.

p1
p2
. premisas El razonamiento es si
. ocurre p1, p2 … y pn,
pn por tanto ocurre q
q conclusión

Página 14
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

INFERENCIAS NOTABLES

Inferencias o reglas de implicación son los Modus, Silogismos y Dilemas.

Ley de Modus Ponendo Ponens

Afirmando afirma:

[(p  q)  q]  q

Forma clásica: pq

p
 q

Ejemplo

- Si llueve, entonces las calzadas están mojadas

- Llueve
 Las calzadas están mojadas

Ley de Modus Ponendo Tollens

Afirmando niega:

I. [(p v q)  p]  q
Ejemplo
Forma clásica: p v q
p - O Verónica es soltera o es casada
 q - Verónica es soltera
 Verónica no es casada

II. [(p v q)  q]  p

Forma clásica: p v q
q
 p

Página 15
Introducción a la Lógica Matemática
Universitaria
MAU-Álgebra-03 Álgebra

Ley de Modus Tollendo Ponens

(Ley del Silogismo Disyuntivo)

Negando afirma:

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

Forma clásica: p v q p q
p ó q
 q  p

Ejemplo (primera forma)

- Mañana a las 3 P.M., Ignacio va al cine o va al espacio

- Mañana a las 3 P.M., Ignacio no va al estadio

Mañana a las 3 P.M., Ignacio va al cine

Ley de Modus Tollendo Tollens

Negando niega:

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

Forma clásica: p  q
q
 p

Ejemplo (primera forma)

- Si Pablo gana el concurso de literatura, entonces viajará a París.
- Pablo no viajará a París
 Pablo no ganó el concurso de literatura.

* Negar el antecedente es caer en falacia

Página 16