I.

NOCIONES DE LGICA MATEMTICA

1. Proposicin. Es un enunciado que puede ser verdadero (V) o falso (F), pero
no ambos a la vez. Las cualidades V, F se denominan valores de verdad.

Ej. p: Soy un muchacho provinciano.

q: Estudio y trabajo.
r: Si consigo dinero entonces ir al cine.

2. Proposicin simple o atmica. Es aquella que consta solamente de sujeto y

predicado.

Cul de las tres proposiciones anteriores es de este tipo? R. p

3. Proposicin compuesta o molecular. Es aquella que se forma uniendo dos

o ms proposiciones simples mediante los conectivos lgicos: no, y, o, enton-
ces, si y slo si. Aunque hay ms conectivos slo trabajaremos con los men-
cionados.

Las proposiciones q y r son compuestas.

4. La conjuncin. Corresponde al conectivo y, su smbolo es:

p q p q
p q se lee: p y q
V V V
V F F
F V F
F F F

5. La disyuncin. Corresponde al conectivo o, su smbolo es:

p q p q
V V V p q se lee: p o q o ambos. Corresponde a y/o , se deno-
V F V mina disyuncin inclusiva.
F V V
F F F

La disyuncin exclusiva se denota por p q se lee: p o q pero no ambos. En

nuestro idioma se distinguen ambas disyunciones por el contexto. Por ejemplo,
estudio o trabajo es inclusivo; est vivo o muerto es exclusivo.

6. La implicacin o condicional. Corresponde al conectivo entonces, su smbo-

lo es:

p q p q p q se lee: si p entonces q.
V V V q si es que p.
V F F q es necesario para p.
F V V p slo si q.
F F V p es suficiente para q

1
7. La doble implicacin o bicondicional. Corresponde al conectivo si y slo si,
su smbolo es:
p q p q
p q se lee: p si y slo si q.
V V V
p es necesario y suficiente para q.
V F F
F V F
F F V

8. La negacin. Corresponde al conectivo no, su smbolo es:

p p p se lee: no p.
V F no es cierto que p.
F V es falso que p.

La negacin cambia lo verdadero en falso; y, lo falso en verdadero

9. Las tablas de 4. a 8. se denominan tablas bsicas y sirven de base para

construir las tablas derivadas.

Ej. Construir la tabla de valores de verdad para p q

p q p q
V V F V V
V F F F F
F V V V V
F F V V F

Explicacin: - En la columna de p se colocan las correspondientes negaciones

de la columna de p.
- En la ltima columna se repiten los valores de q.
- La columna que est resaltada en negrita se obtiene en base a la
tabla 5. de la disyuncin. Esta columna es el resultado buscado.

10. Tautologa (T). Un esquema lgico se dice que es una tautologa si su co-
lumna correspondiente slo contiene valores verdaderos (V).

Ej. p p es una tautologa. Lo comprobamos con la siguiente tabla.

p p p
V F V V
F V V F

11. Contradiccin (C). Un esquema es una contradiccin si su columna respec-

tiva slo contiene valores falsos (F).
Ej. p p es una contradiccin. Lo comprobamos con la siguiente tabla.

2
 p p p
V F F V
F V F F

12. Equivalencia ( ). Dos esquemas lgicos son equivalentes cuando sus co-
lumnas de valores de verdad correspondientes son idnticas.

Ej. En las tablas correspondientes a p q (6.) y p q (9.) observamos

que ambas tienen idnticos valores de verdad: V F V V. Por lo tanto, am-
bas proposiciones son equivalentes: p q p q

13. Leyes o equivalencias lgicas.

13.1 p p p ; p p p
13.2 p q q p ; p q q p
13.3 (p q) r p (q r) ; (p q) r p (q r)
13.4 p (p q) p ; p (p q) p (Absorcin)
13.5 p (q r) (p q) (p r) ; p (q r) (p q) (p r) (Distributiva)
13.6 ( p) p
13.7 (p q) p q ; (p q) p q (Morgan)
13.8 p q p q ; p q q p
13.9 p q p q q p
13.10 (p q) p q
13.11 (p q) p q
13.12 p q q p
13.13 p p T;p p C
13.14 C T ; T C
13.15 p T T ; p C p
13.16 p T p ; p C C

14. Circuitos lgicos. Son esquemas grficos que representan proposiciones

lgicas. Los bsicos son los siguientes:
p
a) p q : p q b) p q :
q
c) T : d) C : p p

EJERCICIOS PROPUESTOS

1. Determinar la tabla de valores de verdad de las siguientes proposiciones:

a) (p q) ( p q). b) [p (q p)] q.
c) [(q p) p] q. d) [(p q) q] p.
e) (p q) ( p q). f) [p (q r)] (r p).
g) (q r) (q p). h) (p q) p.

2. Cules de las proposiciones anteriores son tautologas y cules contradiccio-

nes?

3
 0
3. Sean p: 3 3; q: 0 = 1; r: 6 4 2 9. Hallar el valor de verdad de las si-
guientes proposiciones:
a) (p q) r. b) [(p q) r] p.
c) [ r (p q)] (q p).

4. Si la proposicin (p q) ( r s) es falsa, hallar el valor de verdad de los

siguientes esquemas:
a) ( p q) q. b) [( r q) p] [( q r) s].
c) (p q) [(p q) q].

5. Si es verdadera la negacin del esquema: [(p q) (r s)] deducir el valor de

verdad de los siguientes esquemas:
a) (r t) (p q s). b) [ (p r) (s w)].

6. Empleando las leyes lgicas demuestre que las siguientes proposiciones son
tautologas:
a) [(p q) p] q b) (p q) p
c) [(p q) q] p d) [(p q) p] q

7. Empleando las leyes lgicas demuestre las siguientes equivalencias:

a) (p q s) p q s b) [(p q) (p q)] p
c) (p q) [ p q s] q p

8. Cul es la correcta negacin de la proposicin: Si me das dinero entonces

pago la pensin? Justifique.
a) Si no me das dinero entonces pago la pensin.
b) Si me das dinero entonces no pago la pensin.
c) Si no me das dinero entonces no pago la pensin.
d) Me das dinero y pago la pensin.
e) Me das dinero y no pago la pensin.

9. Negar las siguientes proposiciones empleando las leyes de Morgan y las equi-
valencias correspondientes.
a) (p q) ( p r) b) ( (p r) s) t
c) (q p) (p q) d) (p q) (s r)
e) ((p r) ( r s)) t f) ((p q) s

10. Aplicar la ley distributiva.

a) ( p r) s b) (p q) (q r)
c) (p q) (p p) d) (p q) ( p r)
e) (p q) (q r) f) (p q) [( p q) r]

11. Simplificar usando la ley de absorcin o las equivalencias correspondientes.

a) (p q) (p q r) b) p (q p)
c) (p q) ( p q r) d) (p q) (p r q) p
e) q (p p) f) q (p q)

12. Determinar el circuito lgico correspondiente a cada proposicin.

4
a) (p q) (p r) b) p (q p) r
c) (p q) (p r) d) p r ((q p q) r)
e) (p q) (p q r) f) (p q) ( p r)

13. Determinar proposicin correspondiente a cada circuito lgico y simplificarlo.

p r
a) b)
p q r s
p r
r
s
c)
p
r
p r p r
p
s
s

d) e)
r s
p
p p p s
p
r
r s

s p