INTRODUCCIN A LA LGICA

1. Fundamentacin bsica

Enunciado simple:
Frase, oracin declarativa simple que es verdadera o falsa; pero no ambas cosas (lgica
bivalente).
Los enunciados simples no son suficientes para expresar una mnima parte de la
terminologa matemtica. Podemos notar que cuando expresamos nuestras ideas por
medio de frases intervienen conectivos como no, y, o..., los cuales enlazan
enunciados simples.

Conectivos lgicos:
Son partculas que actan sobre enunciados simples formando enunciados ms
complejos. Los ms bsicos son:

Nombre Smbolo Se lee

La negacin no... no es cierto que..., es falso que...
La conjuncin ... y ..., ...e...
La disyuncin ... o ...
El condicional si ... entonces ...
El bicondicional ... si y slo si ...

Enunciado compuesto:
Formado por la unin de enunciados simples mediante conectivos.
Ejemplo:
Sean los dos razonamientos siguientes:
A) Si la sociedad de los hombres ha de ser siempre como ahora, entonces la
corrupcin es eterna.
Es as que la corrupcin no es eterna.
Luego no ha de ser siempre como ahora la sociedad de los hombres.

B) Si florecen las hortensias, entonces se marchitan los tulipanes

Es as que no se marchitan los tulipanes. Luego no florecen las hortensias.

Si en estas argumentaciones se reemplaza a los enunciados simples por:

La sociedad de los hombres ha de ser siempre como ahora = p

La corrupcin es eterna = q
Florecen las hortensias = r
Se marchitan los tulipanes = s

Se tiene:
A) Si p, entonces q. B) Si r, entonces s.
Es as que no q. Es as que no s.
 Luego no p. Luego no r.

En estos enunciados compuestos se mantiene la forma y se vara el contenido. Es decir

hay unas partculas que se mantienen constantes y otras que varan.
(Se ha definido variables como expresiones que por s mismas no tienen ninguna
significacin determinada y las partculas que son constantes son los conectivos para la
lgica).
Adems se puede identificar que a la lgica no le interesa el contenido de las sentencias,
sino slo la estructura formal de las relaciones entre los enunciados.
El contenido de las sentencias se representa mediante variables, signos que constituyen
a enunciados cualesquiera. Se utilizan las letras minsculas p, q, r, s, t, etc.
como variables de enunciado.

Ejemplo:
A) [(p q) q] p B) [(r s) s] r

Se observa que:
- Los signos de agrupacin son los signos de puntuacin de la lgica. No es lo mismo
tener [(p q) q] p que (p q) [q p] o que p [(q q) p]

- La agrupacin ayuda a determinar cual es el conectivo de mayor fuerza en el

enunciado compuesto (Para el ejemplo, en ambos casos, es el segundo condicional).

1.1 VALORES DE VERDAD:

- Un enunciado simple es siempre o bien verdadero o bien falso, es decir, tiene un

slo valor de verdad.
- El valor de verdad de un enunciado compuesto depende del valor de verdad de los
enunciados simples que lo conforman y de la relevancia de los conectivos que
intervienen segn estn agrupados.
Los bsicos son:

p p p p
V F 1 0
F V 0 1
Si
p q pq pq pq pq
V V V V V V
V F F V F F
F V F V V F
F F F F V V

p q pq pq pq pq
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1

Tambin es usual:
___
p q pq p+q
p p
1 0 1 1 1 1
0 1 1 0 0 1
0 1 0 1
0 0 0 0

- Es decir, si se tiene una sola variable el nmero de combinaciones posibles es dos

(V,F), si son dos variables es cuatro (VV, VF, FV , FF) ... lo cual responde a la estructura
2 n siendo n el nmero de variables.
- Si se tienen dos variables enlazadas mediante la conjuncin, el enunciado compuesto
resultante es verdadero slo si ambos enunciados simples son verdaderos. Si el enlace se
hace mediante la disyuncin el enunciado compuesto resultante es verdadero si alguno
de los dos enunciados simples es verdadero. Para el enunciado compuesto pq se tiene
que es verdadero en todos los casos, excepto si p es V (verdadero) y q es F (falso).
- Para el enunciado compuesto pq se tiene que es verdadero si ambos enunciados
simples son V F.

1.2 Proposicin o polinomio booleano:

Es una combinacin de variables lgicas mediante conectivos.
Se representa una proposicin mediante una letra mayscula y un parntesis que
encierra las variables lgicas que intervienen en ella.
Por ejemplo: P(r, s ,t) es una proposicin en las variables r, s, t.
Si P(r, s, t): [(rs) (st)] (rt) su valor de verdad sera:

r s t rs st rt (rs) (st) [(rs)(st)](rt)

Valores de verdad

V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V
Al tener tres variables lgicas, el polinomio booleano tiene 2 3 = 8 posibles
combinaciones:

r s t Estas tres columnas se pueden

V V V intercambiar al igual que las
V V F ocho filas y la estructura se
V F V mantiene:
V F F Para una variable, cuatro
F V V posibilidades V y cuatro F,
F V F para la otra dos y dos y para
F F V la otra una y una.
F F F

1.3 Tautologa, contradiccin, e indeterminacin:

Una tautologa (T), es una proposicin cuya tabla de verdad consta de V solamente.
Una contradiccin (C), es una proposicin cuya tabla de verdad consta de F solamente.
Una tautologa es verdadera siempre, no importa los valores de verdad que asuman las
variables. Una contradiccin es falsa siempre.
Una indeterminacin (I), es una proposicin cuya tabla de verdad consta de V y F (no
es ni tautologa ni contradiccin).
De la definicin se tiene que la negacin de una tautologa es una contradiccin (V
F) y viceversa ( F V).

Ejemplo:
Probar si los siguientes polinomios booleanos son T, C I.

A) P(p, q, r): [(p q) r] (p r)

B) Q(r, s, t): [(r s) (s t)] (r t)
C) R(x, y, z): [(x y) x] [(y z) (y z)]

A) [(p q) r] (p r)
 p q r pq (p q) r pr [(p q) r] (p r)
1 1 1 1 1 1 1
1 1 0 1 0 1 1
1 0 1 0 1 1 1
1 0 0 0 1 1 1
0 1 1 0 1 1 1
0 1 0 0 1 0 0
0 0 1 0 1 1 1
0 0 0 0 1 0 0

Como su tabla de verdad consta de 1 y 0 es una indeterminacin.

B) [(r s) (s t)] (r t)
Del ejemplo dado anteriormente se tiene que su tabla de verdad consta de 1
solamente, por lo tanto es una tautologa.

C) [(x y) x] [(y z) (y z)]

x y z x y (x y)x y z y z (yz) (yz) [(xy)x][(yz) (y z)]

1 1 1 1 1 1 0 0 0
1 1 0 1 1 1 0 0 0
1 0 1 0 1 1 0 0 0
1 0 0 0 1 0 1 0 0
0 1 1 0 1 1 0 0 0
0 1 0 0 1 1 0 0 0
0 0 1 0 1 1 0 0 0
0 0 0 0 1 0 1 0 0

Como su tabla de verdad consta solamente de 0 es una contradiccin.

Para la lgica son de suma importancia las tautologas y las contradicciones.

1.4 RELACIONES ENTRE PROPOSICIONES

1.4.1 Implicacin lgica ()

Establece una relacin de dependencia causal entre los enunciados o frmulas
articuladas.
La implicacin lgica simboliza el proceso de deduccin o razonamiento que media
entre la hiptesis y la tesis.
Definicin: se dice que una proposicin P(p,q,...) implica lgicamente a una
proposicin Q(p,q,...), lo cual se escribe P(p,q,...) Q(p,q,...), si se verifica una de las
siguientes condiciones:
i) P(p,q,...) v Q(p,q,...) es una tautologa
ii) P(p,q,...) Q(p,q,...) es una contradiccin
iii) P(p,q,...) Q(p,q,...) es una tautologa
La ms usual es iii) que en sentido prctico se recomienda:

P Q si y slo si P Q es una T

P Q se puede leer como:

P implica a Q
Q se deduce de P
Q es una consecuencia lgica de P
P es condicin suficiente para Q
Q es condicin necesaria para P
Q se sigue de P
P slo si Q

P se llama: Antecedente
Hiptesis
Dato
Q se llama: Consecuente
Tesis
Conclusin

La relacin de implicacin lgica cumple con las siguientes propiedades: (sean P,Q,R
proposiciones en las mismas variables).

i) Reflexiva: P P
ii) Antisimtrica : si P Q no necesariamente
QP
(Q P) o de otra forma a R b b R a si y solo si a = b
iii) Transitiva: si P Q Q R entonces
PR

1.4.2 Equivalencia lgica (, )

Dos proposiciones P y Q en las mismas variables son equivalentes si y solamente si
tiene la misma tabla de verdad.
Se denota P Q P Q y se lee:
P equivale lgicamente a Q, P y Q son equivalentes, P si y slo si Q, P es condicin
necesaria y suficiente para Q, Q es condicin necesaria y suficiente para P.
P Q si y slo si P Q es una T
P Q equivale a tener P Q Q P

La relacin de equivalencia lgica cumple con las siguientes propiedades:

(Sean P, Q, R proposiciones en las mismas variables).
i) Reflexiva: P P
ii) Simtrica: si P Q entonces Q P
iv) Transitiva: si P Q Q R entonces P R
1.4.3 Condicional e implicacin. Bicondicional y equivalencia

Cuando se dice si p, entonces q se usa el lenguaje (el lenguaje de la lgica de

enunciados) para expresar que lo enunciado por p es condicin suficiente de lo
enunciado por q, es decir, para expresar una relacin entre enunciados.
En cambio, cuando se dice p implica q se usa el metalenguaje del clculo de
enunciados para expresar una relacin no entre enunciados, sino entre nombres de
enunciados, y en este sentido lo correcto estrictamente sera decir p implica q. Luego
en la expresin si p, entonces q, se dice que si se da el hecho enunciado por el
antecedente, entonces se dar el hecho enunciado por el consecuente. Y si p
implica q se dice que la verdad del antecedente implica la verdad del consecuente.
Condicional e implicacin son nociones situadas en niveles distintos del lenguaje. Hay
sin embargo entre condicional e implicacin una relacin que se expresa as: cuando un
condicional es lgicamente verdadero se puede decir que su antecedente implica su
consecuente.
Los teoremas expresados en la matemtica vienen dados en forma de implicaciones.

Si se tiene si y slo si p, entonces q, se est usando el lenguaje para decir que lo

enunciado por p es condicin suficiente y necesaria de lo enunciado por q.
Y si p es equivalente a q se est utilizando el metalenguaje para expresar una
relacin entre nombres de enunciados (reducidos a sus valores de verdad), y no entre los
enunciados mismos. En este sentido, lo correcto estrictamente sera decir p es
equivalente a q.
Entonces si y slo si p, entonces q quiere decir que slo en el caso de que se d lo
enunciado por el antecedente se dar lo enunciado por el consecuente.
Y si p es equivalente a q se dice que los valores de verdad del antecedente son en
todos los casos los mismos que los del consecuente.
Bicondicional y equivalencia son nociones situadas en niveles distintos de lenguaje.
Hay sin embargo entre bicondicional y equivalencia una relacin que se expresa as:
Cuando un bicondicional es lgicamente verdadero, se puede decir que su
antecedente equivale a su consecuente.

Ejemplo:
Probar si:
A) [(pq) q] p
?

?
B) pq (pq) (qp)
C) [(pq) q] p
D) p(p q) (pp) (pq)

Solucin:
A) Para probar [(pq) q] p se procede as:
?

?
[(pq)~q]~p V Definicin de implicacin lgica
p q ~p ~q Pq [(pq)~q] [(pq)~q]~p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V

Por lo tanto [(pq)~q] ~p

B) p q (p q) (q p)

Se prueba que:

(p q) [(p q ) (q p)] V

p q pq pq qp (pq)(qp) (pq)[(pq)(qp)
]
V V V V V V V
V F F F V F V
F V F V F F V
F F V V V V V

Por lo tanto
p q (p q ) (q p)

Qu pasa con los ejemplos C y D?

Cmo se simboliza lo que ocurre?

1.5 ALGEBRA DE PROPOSICIONES

Por medio de la equivalencia lgica se establecen proposiciones que son lgicamente

equivalentes y que permiten reemplazar ciertas proposiciones por otras ms sencillas
para demostrar que un polinomio booleano es lgicamente equivalente a otro o para
simplificar estructuras.

El lgebra de proposiciones se fundamenta en:

Definiciones: implicacin lgica, equivalencia lgica, condicional, bicondicional,
tautologa y contradiccin.
Postulados: OBI, conmutatividad, identidad, complemento y distributividad.
Teoremas: idempotencia, tautologa y contradiccin, doble negacin, asociatividad y de
De Morgan.
 Introduccin a la lgica

1.5.1 Postulados bsicos:

Sean P, Q, R, S, T polinomios booleanos

1. Conmutatividad:
a) P v Q Q v P
b) P Q Q P
2. Identidad:
a) P v F F v P P V: Tautologa
b) P V V P P F: Contradiccin
F neutro para v
V neutro para
3. Complemento:
a) P v ~ P V (Postulado del tercer excluido)
b) P ~ P F (Postulado de contradiccin)
4. Distributividad:
a) P v (Q R) (P v Q) (P v R)
b) P (Q v R) (P Q) v (P R)

Con estos postulados podemos demostrar teoremas como los que siguen:

1. Teorema de idempotencia
a) P v P P
Partiendo del lado izquierdo se tiene:
P v P (P v P) V Postulado de identidad
(P v P) (P v ~ P) Postulado del tercer excluido
P v (P ~ P) Postulado de la distributividad
PvF Postulado de la contradiccin
P Postulado de la identidad

b) P P P
Partiendo del lado izquierdo se tiene:
P P (P P) v F Postulado de identidad
(P P) v (P ~ P) Postulado de la contradiccin
P ( P v ~ P) Postulado de la distributividad
PV Postulado del tercer excluido
P Postulado de identidad

2. Teorema de la tautologa y de la contradiccin.

a) PvVV
Partiendo del lado izquierdo se tiene:
P v V V (P v V) Postulado de identidad
(P v ~ P) (P v V) Postulado del tercer excluido
P v (~ P V) Postulado de la distributividad
lgebra de proposiciones

Pv~P Postulado de identidad

V Postulado del tercer excluido
b) P F F (Es el dual de a)
Partiendo del lado izquierdo se tiene:
P F F v (P F) Postulado de identidad
(P ~ P) v (P F) Postulado de la contradiccin
P (~ P v F) Postulado de la distributividad
P~P Postulado de identidad
F Postulado de la contradiccin
3. Teorema de la doble negacin
~ (~ P) P
~ P v ~ (~ P) V y ~ P v P V Postulado del tercer excluido
Aplicando la reflexividad y transitividad de la equivalencia lgica, se tiene:
~ P v ~ (~ P) ~ P v P
Como ~ P y ~ (~ P) son nicos, entonces ~ (~ P) P

Tambin se puede:
Si
i. PF entonces:
ii. ~PV Definicin de tautologa
iii. ~ (~ P) F Definicin de contradiccin
De i y iii P ~ (~ P)
O si
i. PV entonces:
ii. ~PF Definicin de contradiccin
iii. ~ (~ P) V Definicin de tautologa
De i y iii P ~ (~ P)

4. Teorema de la asociatividad
a). P v (Q v R) (P v Q) v R
Si P F se tiene:

P v (Q v R) F v (Q v R), ya que P F
QvR Postulado de identidad
(F v Q) v R Postulado de identidad
( P v Q) v R, ya que P F

Si P V se tiene:

P v (Q v R) V v (Q v R), ya que P V
V Teorema de la tautologa
VvR Teorema de la tautologa
(V v Q) v R Teorema de la tautologa
(P v Q) v R, ya que P V
 Introduccin a la lgica

b). P (Q R) (P Q) R (Dual de a)

Si P F se tiene:

P (Q R) F (Q R), ya que P F
F Teorema de la contradiccin
FR Teorema de la contradiccin
(F Q) R Teorema de la contradiccin
(P Q) R, ya que P F

O si P V se tiene:

P (Q R) V (Q R), ya que P V
QR Postulado de identidad
(V Q) R Postulado de identidad
(P Q ) R, ya que P V

5. Teorema de De Morgan
a). ~ (P v Q) ~ P ~ Q

Si P F
~ (P v Q) ~ (F v Q), ya que P F
~Q Postulado de identidad
V~Q Postulado de identidad
~F~Q Definicin de tautologa
~ P ~ Q, ya que P F

Si P V
~ (P v Q) ~ (V v Q), ya que P V
~V Teorema de la tautologa
F Definicin de contradiccin
F~Q Teorema de la contradiccin
~V~Q Definicin de contradiccin
~ P ~ Q, ya que P V

b). ~ (P Q) ~ P v ~ Q (Dual de a)

Si P F
~ (P Q) ~ (F Q), ya que P F
~F Teorema de la contradiccin
V Definicin de tautologa
Vv~Q Teorema de la tautologa
~Fv~Q Definicin de tautologa
lgebra de proposiciones

~ P v ~ Q, ya que P F

Si P V
~ (P Q) ~ (V Q), ya que P V
~Q Postulado de identidad
Fv~Q Postulado de identidad
~Vv~Q Definicin de contradiccin
~ P v ~ Q, ya que P V

1.5.2 Postulados:

1. Conmutatividad:
a). P v Q Q v P
b). P Q Q P

2. Identidad:
a). P v F F v P P
b). P V V P P
V: Tautologa, F: Contradiccin
F: neutro para v, V: neutro para

3. Complemento:
a). P v P V (Postulado del tercer excluido)
b). P P F (Postulado de contradiccin)

4. Distributividad:
a). P v (Q R) (P v Q) (P v R)
b). P (Q v R) (P Q) v (P R)

1.5.3 Teoremas bsicos:

1. Teorema de la idempotencia
a). P v P P
b). P P P
2. Teorema de la tautologa y de la contradiccin
a). P v V V
b). P F F
3. Teorema de la doble negacin
(P) P
4. Teorema de la asociatividad
a). P v (Q v R) (P v Q) v R
b). P (Q R) (P Q) R
5. Teorema de De Morgan
a). (P v Q) P Q
 Introduccin a la lgica

b). (P Q) P v Q

De las definiciones dadas anteriormente es importante que tengamos presente:

1. P Q P v Q Definicin de condicional
2. P Q (P Q) (Q P) Definicin de bicondicional
3. P Q es equivalente a P Q V Definicin de implicacin lgica
4. P Q es equivalente a (P Q) (Q P) Definicin de equivalencia lgica
5. F V Definicin de tautologa
V F Definicin de contradiccin

1.6 EJERCICIOS RESUELTOS

I. Demostrar que:

1. p v (p q) p (Teorema de absorcin)

Demostracin:
p v (p q) (p V) v (p q) Postulado de identidad
p (V v q) Postulado de la distributividad
pV Teorema de la tautologa
p Postulado de identidad.
 Introduccin a la lgica

2. (p q r) v (p q r) v (p r q) v (p q r) (p q) v (r q)

Demostracin:
[(p q r) v ( p q r)] v [(p r q) v (p q r)]
Teorema de la asociatividad
[(p q) (r v r)] v [ ( p v p) ( r q)]
Postulado de la distributividad. Postulado de la conmutatividad
[(p q) V] v [V ( r q)] Postulado del tercer excluido
(p q) v (r q) Postulado de identidad

3. (p q) p

Demostracin:
?
(p q) p V Definicin de implicacin lgica
(p q) v p Definicin de condicional
p v q v p Teorema de De Morgan
(p v p) v q Postulado de la conmutatividad y
Teorema de la asociatividad
V v q Postulado del tercer excluido
V Teorema de la tautologa

Por lo tanto ( p q) p V

4. q (p q)

Demostracin:
?
q (p q) V Definicin de implicacin lgica
q v (p v q) Definicin de condicional
(q v q) v p Postulado de la conmutatividad y
Teorema de la asociatividad
V v p Postulado del tercer excluido
V Teorema de la tautologa
Por lo tanto q (p q)

5. [(p q) p] q

Demostracin:
?
[(p q) p] q V Definicin de implicacin lgica
[(p v q) p] v q Definicin del condicional
[(p v q ) v p] v q Teorema de De Morgan
(p v q) v (p v q) Teorema de la asociatividad
V Postulado del tercer excluido
Por lo tanto [(p q) p] q
6. [(p v q) (p s) (q r)] (s v r)

Demostracin:
?
[(p v q) (p s) (q r)] (s v r) V Definicin de implicacin
lgica
[(p v q) (p v s) (q v r)] v (s v r) Definicin de condicional
[(p v q) v ( p v s) v (q v r)] v (s v r) Teorema de De Morgan
[(p v q) v (p s) v (q r)] v (s v r) Teorema de De Morgan y
Teorema de la doble
negacin
(p v q) v [(p s) v s] v [(q r) v r] Postulado de la
conmutatividad y teorema
de la asociatividad
(p v q) v [(p v s) (s v s)] v [(q v r) (r v r)]
Postulado de la
distributividad
(p v q) v [(p v s) V] v [(q v r) V] Postulado del tercer excluido
(p v q) v (p v s) v (q v r) Postulado de identidad
[(p v q) v (p v q)] v (s v r) Postulado de la
conmutatividad y teorema
de la asociatividad
V v (s v r) Postulado del tercer excluido
V Teorema de la tautologa

Por lo tanto [(p v q) (p s) (q r)] (s v r)

7. p q q p

Demostracin:
p v q Definicin del Condicional
q v p Postulado de la Conmutatividad
q p Definicin del Condicional

8. (p q) r (p r) v (q r)

Demostracin:
(p r) v (q r)
(p v r) v (q v r) Definicin del Condicional
(p v q) v (r v r) Postulado de la Conmutatividad y
Teorema de la asociatividad
(p v q) v r Teorema de la idempotencia
(p q) v r Teorema de De Morgan
(p q) r Definicin del condicional
 Introduccin a la lgica

9. (p r) v (p q r) v (p r) p

Demostracin:
p [r v (q r) v r] Postulado de la distributividad
p [(q r) v (r v r)] Postulado de la conmutatividad y
Teorema de asociatividad
p [(q r) v V] Postulado del tercer excluido
pV Teorema de la tautologa
p Teorema de la identidad

II. Analizar si cada uno de los siguientes polinomios booleanos son T, C I.

1). [(p q) v (p r) v (p s)] v [(p q) (p r) (p s)]

[(p q) v (p r) v (p s)] v [ (p q) (p r) (p s)]
Teorema de De Morgan.
V Postulado del tercer excluido
Por lo tanto es una tautologa

2). [(x y) x] [(y v z) (y z)]

[(x y) v x] v [(y v z) (y z)] Definicin del condicional
[(x v y) v x] v [(y v z) (y v z)] Teorema de De Morgan
[(x v y) v x] v F Postulado de la contradiccin
[(x v x) v y] v F Postulado de la conmutatividad y
teorema de la asociatividad
[(x v x) v y] Postulado de la identidad
[V v y] Postulado del tercer excluido
V Teorema de la tautologa
F Definicin de contradiccin

Por lo tanto es una contradiccin.

3). [(p q) r] (p r)
[(p q) r] (p r) Definicin de condicional
[(p q) r] (p r) Teorema de De Morgan
[(p q) r] (p r) Teorema de la doble negacin
{[(p q) r] r} p Postulado de la conmutatividad
y Teorema de la asociatividad
{[(p q) r] (r r)} p Postulado de la distributividad
{[(p q) r] V} p Postulado del tercer excluido
[(p q) r] p Postulado de la identidad

No hay forma de seguir simplificando, por lo tanto es una indeterminacin.

III). Simplificar

1) (p q) (p q) (p q)

[(p q) (p q)] (p q) Teorema de la asociatividad

[p (q q)] (p q) Postulado de la distributividad
(p V) (p q) Postulado del tercer excluido
p (p q) Postulado de identidad
(p p) (p q) Postulado de la distributividad
V (p q) Postulado del tercer excluido
p q Postulado de identidad

2) (p q) (p q)

(p q) (p q) Teorema de De Morgan
p (q q) Postulado de la distributividad
p V Postulado del tercer excluido
p Postulado de identidad

3) {[(p q) q] p} (p q)

{[(p q) q] p} (p q) Definicin del condicional.

{[(p q) q] p} (p q) Teorema de De Morgan
{[(p q) q] p} (p q) Teorema de la doble negacin
{(p q) (p q)} (p q) Postulado de la conmutatividad y
teorema de la asociatividad
V (p q) Postulado del tercer excluido
(p q) Postulado de identidad

1.7 EJERCICIOS PROPUESTOS

I) Demostrar:
1) p (p q) p
2) (p q) q
3) p (p q)
4) [p (q r)] [(p q) (p r)]
5) [p (q r)] [(p q) (p r)]
6) [(p q) r] [p ( q r)]
7) [(p q) (p r) (q r)] r
8) [(p q) (r p) (s q)] (r s)
 Introduccin a la lgica

9) [(p q) p] q
10) [(p q) q] p
11) [(p q) q] p
12) [(q p) (r q)] (p r)

II) Analizar si cada uno de los siguientes polinomios booleanos son T, C, o I.

1) [x (y z)] [x (y z)]
2) [p (q r)] [(p q) r]
3) [(p q) (p r) ( p s)] [(p s) (p r) (p q)]
4) {[(p q) (p q)] p}
Cuantificadores

1.8 CUANTIFICADORES

Sean los siguientes enunciados:

Carlos es alumno de Ingeniera Mecnica.
Juliana es alumna de Ingeniera Mecnica.

En ambos enunciados hay algo que cambia (variable: Carlos, Juliana) y algo que no
cambia, lo que se dice de cada uno (constante).

En forma genrica se puede decir: x es alumno de Ingeniera Mecnica. Este

enunciado no es ni verdadero ni falso (indeterminado).

x es una variable que se mueve en un conjunto de referencia.

Enunciados de este estilo se definen como funciones proposicionales o expresiones

abiertas.

Cuando en una funcin proposicional se cambia la indeterminada x por un valor

determinado de un conjunto de referencia (Dominio de la variable), se obtiene una
proposicin.

Una funcin proposicional es una expresin de la forma x es Q donde x es una

variable individual (sujeto) y Q es una variable de predicado.

OBSERVACIONES:
1. Slo se estudiar funciones proposicionales que tengan variable el sujeto (o
individuo de quien se habla).
2. Una funcin proposicional se representa, segn las variables del sujeto, as:

Q1(x1), Q2(x1,x2), Q3(x1,x2,x3), ... Qn(x1,x2, ...xn)

3. Si se tiene como dato una funcin proposicional y un dominio se puede formar

proposiciones (verdaderas o falsas) sustituyendo en la funcin proposicional las
variables de individuo por elementos del dominio.
4. Con funciones proposicionales se puede formar nuevas funciones proposicionales
mediante el empleo de conectivos (negacin, conjuncin, disyuncin, condicional,
bicondicional) o de relaciones entre proposiciones (implicacin, equivalencia).

Ejemplos:

1. Sea Q(x): x2 es mayor a 10 y sea A = {1, 2, 3, 4, 5}, conjunto de referencia.

Hallar los valores de x que satisfacen la funcin proposicional

Si x = 1 12 > 10, proposicin falsa

Si x = 2 22 > 10, proposicin falsa
 Introduccin a la lgica

Si x = 3 32 > 10, proposicin falsa

Si x = 4 42 > 10, proposicin verdadera
Si x = 5 52 > 10, proposicin verdadera

2. Sea: Q1(x): x2 es mayor a 10

Q2(x,y): x > y+1
A = {2, 3, 4}, conjunto de referencia

Se pueden construir funciones proposicionales, as:

A) Q1(x) Q2(x,y)
B) Q1(x) Q2(x,y)
C) Q1(x) Q2(x,y)

Hallar el valor de verdad de:

A) Q1(3) Q2(3,4)
B) Q1(2) Q2(2,3)
C) Q1(4) Q2(4,2)

Entonces:

Para A) 9 > 10 3 > 5 (F)

B) 4 > 10 2 > 4 (F)
C) 16 > 10 4 > 3 (V)

Hay proposiciones sin sujeto especfico, por ejemplo:

A) Todos los nmeros naturales son nmeros complejos.

B) Algunas integrales son definidas.
C) Todas las funciones son funciones exponenciales.
D) Existe un ingeniero mecnico que tiene treinta aos de edad.

Si se toma un sujeto indeterminado (x), en cada uno de los enunciados, de tal forma que
haga el recorrido por cada conjunto citado se tiene:

A) Para todo x, si x es un nmero natural entonces es nmero complejo.

B) Existe un x, tal que x es una integral y x es definida.
C) Para cualquier x, si x es funcin entonces es funcin exponencial.
D) Existe al menos un x, tal que x es ingeniero mecnico y x tiene treinta aos.

Expresiones como:
A) Para todos, todos los x, cualquier x, para cualquier x, cada x, o expresiones
equivalentes se simbolizan mediante:
(x): llamado Cuantificador universal.
B) Para algn x, hay un x, existe un x, algn x, algunos x (o expresiones equivalentes),
se simbolizan mediante:
Cuantificadores

(x): llamado Cuantificador existencial.

Si a una funcin proposicional , x es P, se le antepone un cuantificador se convierte en

una proposicin.

Ejemplo: (x) [Q(x)]: para todo x, x es Q

(x) [T(x)]: existe un x, tal que x es T

y se dice que x es una variable ligada.

Los ejemplos citados quedaran as:

A) (x) [N(x) C(x)]
B) (x) [I(x) D(x)]
C) (x) [F(x) E(x)]
D) (x) [M(x) T(x)]

Existen tres formas de transformar una funcin proposicional Q(x) en una proposicin,
y son:

1.Cambiando la indeterminada x por un valor especfico de un conjunto de referencia.

2. Anteponindole a la funcin proposicional el cuantificador universal.
3. Anteponindole a la funcin proposicional el cuantificador existencial.

OBSERVACIONES:
1. Al anteponer a la funcin proposicional Q(x) un cuantificador entonces la variable x
pasa a ser una variable ligada.
2. a) (x) [Q(x)]: es verdadera cuando todas las sustituciones de la variable x, por
trminos especficos del conjunto de referencia , convierten a Q(x) en
un enunciado verdadero.
b) (x) [Q(x)]: es verdadero cuando al menos un caso de la sustitucin de la variable
x, por un termino particular del conjunto de referencia, convierte a
Q(x) en un enunciado verdadero.

Expresiones como: se simbolizan:

Toda P es Q (x) [P(x) Q(x)]
Toda P es no Q (x) [P(x) Q(x)]
Algn P es Q (x) [P(x) Q(x)]
Algn P no es Q (x) [P(x) Q(x)]

A continuacin se citan unos teoremas que unidos a las definiciones, postulados y

teoremas del lgebra de proposiciones fundamentan la lgica formal.
Sean R y Q expresiones cuantificadas.

A. Negacin de expresiones cuantificadas.

1) (x) [Q(x)] (x) [Q(x)]
La negacin de una proposicin existencial equivale a la afirmacin de un
 Introduccin a la lgica

cuantificador universal cuya funcin proposicional ha sido negada.

2) (x) [Q(x)] (x) [Q(x)]

La negacin de una proposicin universal equivale a la afirmacin de un
cuantificador existencial cuya funcin proposicional ha sido negada.

B. Definicin de cuantificadores:
1) (x) [R(x)] (x) [R(x)]
2) (x) [R(x)] (x) [R(x)]

1.9 EJERCICIOS RESUELTOS

1. Dado el enunciado: Si todos los nmeros son reales entonces son nmeros enteros:

A) Hallar su valor de verdad

B) Representarlo lgicamente
C) Negar la representacin dada en B
D) Volver al lenguaje usual

Solucin:

A) El enunciado es falso ya que en los reales existen nmeros que no son enteros, por
ejemplo Q* (irracionales) o algunos Q.

B) R(x): x es un nmero real

Z(x): x es un nmero entero
(x) [R(x) Z(x)]

C) (x) [R(x) Z(x)]

(x) [R(x) Z(x)] Teorema de negacin de cuantificadores
(x) [R(x) Z(x)] Definicin del condicional
(x) [R(x) Z(x)] Teorema de DMorgan
Teorema de la doble negacin
Ejercicios resueltos

D) Existe un x que es real y no es entero, es decir, algunos nmeros reales no son

nmeros enteros.

2. Analizar si el siguiente enunciado responde a una tautologa, contradiccin o

indeterminacin:

(x) {[(H(x) M(x)) N(x)] [H(x) ( M(x) N(x) )]}

Solucin:

(x) {[( H(x) M(x) ) N(x)] [ H(x) ( M(x) N(x) )]}

Definicin del condicional
(x) {[(H(x) M(x) ) N(x)] [ ( H(x) M(x) ) N(x)]}
Teorema negacin de
cuantificadores, teorema de
la asociatividad
(x) {[ ( H(x) M(x) ) N(x)] [ (H(x) M(x)) N(x)]}
Teorema de DMorgan
(x) {x es V} Postulado del tercer excluido
(x) x es F Definicin de contradiccin

Por lo tanto la proposicin dada es una contradiccin.

3. Negar y simplificar el siguiente polinomio:

(x) {[ (H(x) P(x)) R(x)] R(x)}

Solucin:

(x) {[ ( H(x) P(x) ) R(x)] R(x)}

(x) {[ ( H(x) P(x) ) R(x)] R(x)} Teorema negacin de
cuantificadores
(x) { [ ( H(x) P(x)) R(x)] R(x)} Teorema de DMorgan y teorema
de la doble negacin
(x) { [ ( H(x) P(x) ) R(x)] R(x)} Definicin del condicional
(x) {[ (H(x) P(x) ) R(x)] R(x)} Teorema de DMorgan
(x) {[(( H(x) P(x) ) R(x)] [ R(x) R(x)} Postulado de la distributividad
(x) {[(H(x) P(x)] R(x)} Postulado del tercer excluido
Postulado de la identidad
 Introduccin a la lgica

1.10 EJERCICIOS PROPUESTOS

I. Dados los siguientes enunciados:

A) Hallar su valor de verdad
B) Representarlos lgicamente
C) Negar la representacin dada en B
D) Volver al lenguaje usual.

1. Algunos nmeros complejos son nmeros primos.

2. Todos los lmites de funciones existen.
3. Para todo tringulo se cumple que es equiltero.
4. Algunos ingenieros son ingenieros en informtica.
5. Todos los operadores son unitarios.

II. Analizar si las siguientes proposiciones son tautologas, contradicciones o

indeterminaciones:

1. (x) {[ ( P(x) Q(x) ) P(x)] Q(x)}

2. (x) {[ ( P(x) Q(x) ) ( Q(x) R(x) )] [P(x) R(x)]}
3. (x) {[ ( P(x) R(x) ) ( R(x) P(x) )] P(x)}
4. (x) {[ ( P(x) Q(x) ) Q(x)] P(x)}
5. (x) {[ ( P(x) Q(x) ) P(x)] Q(x)}
6. (x) {[ ( H(x) M(x) ) N(x)] [H(x) ( M(x) N(x) )]}
7. (x) {[P(x) ( Q(x) R(x) )] [( P(x) Q(x) ) ( P(x) R(x) )]}

III. Demostrar que:

1. (x) { ( P(x) Q(x) ) ( P(x) Q(x) ) ( P(x) Q(x) )} (x) [P(x) Q(x)]
2. (x) { ( P(x) R(x) ) ( P(x) Q(x) R(x) ) ( P(x) R(x) )} (x) [P(x)]

IV. Negar los siguientes enunciados:

1. (x) (y), P(x, y) 2. (x) (y), P(x, y)

3. (y) (x) (z), P(x, y, z) 4. (x) (y), ( P(x) Q(y) )
5. (x) (y) [P(x, y) Q( x, y)] 6. (y) (x) ( P(x) Q(y) )
7. (x) (y) ( x > y x +1 > y ) 8. x, x = x
9. x, x2 = x 10. x, x +1 > x
11. x, x +2 = x 12. x, x = 0
13. x, p(x) x q(x) 14. y p(y) x q(x)
15. x p(x) x q(x)