Captulo 1

OGICA
En la actualidad, el estudio serio de cualquier tema tanto en el campo de las humanidades
como en el de las ciencias y la Tecnica requiere conocer los fundamentos y metodos del
razonamiento logico preciso que permita al estudiante o al profesional extraer y depurar
sus conclusiones evitando el riesgo de modicar en forma equivocada la informacion que
posee. Esto es a un mas evidente en esta era de la Computacion, herramienta que es
empleada en todos los campos del desarrollo de una sociedad, y que por la velocidad
a la cual se procesan los datos cualquier error de L

OGICA puede originar problemas

tecnicos y por lo tanto sociales y economicos.
En este primer captulo presentaremos la teora mnima necesaria de la L

OGICA FOR-
MAL que sera de suma utilidad para tales nes.
1.1. PROPOSICIONES L

OGICAS
Son aquellas expresiones u oraciones que pueden ser calicadas bien como verdaderas
o bien como falsas, sin ambig uedades. Las proposiciones logicas seran denotadas con
letras min usculas generalmente:
p, q, r, . . . , etc.
A la veracidad o falsedad de un enunciado (proposicion) se le denomina valor veritativo
o valor de verdad.
1
1.1 EJEMPLOS DE PROPOSICIONES L

OGICAS
p : 17-6=11 . . . VERDADERA (V)
q : Viena es la capital de Austria . . . VERDADERA (V)
r : 117 + 319 = 426 . . . FALSA (F)
1.2 EJEMPLOS DE EXPRESIONES QUE NO SON PROPOSICIONES
L

OGICAS
Buenos Dias, No Faltes, Quien llamo por telefono?
Estas expresiones no son proposiciones logicas debido a que no es posible asignarles un
valor denido de verdad o falsedad.
1.3 NOTA En resumen, las Proposiciones Logicas son expresiones de las que tiene
sentido decir que son verdaderas o que son falsas. Tambien se les denomina simplemente
PROPOSICIONES.
1.4 DEFINICI

ON Se llaman VALORES VERITATIVOS

O VALORES DE VERDAD
de una Proposicion a sus dos valores posibles: verdadero o falso. Estos posibles valores
se pueden esquematizar en una TABLA DE VERDAD como sigue:
p
V
F
1.5 CLASES DE PROPOSICIONES L

OGICAS
a) PROPOSICIONES SIMPLES

O AT

OMICAS.- Son aquellas que se pueden repre-

sentar por una sola variable, es decir, por una sola letra como
p : 1 + 4 = 5
2
b) PROPOSICIONES COMPUESTAS O MOLECULARES.- Son aquellas que se
pueden representar por lo menos por una variable y alg un o algunos de los smbolos
que representan a las palabras siguientes:
no , implica , o, y, si y solo si
como veremos a continuacion.
1.2. PROPOSICIONES COMPUESTAS B

ASICAS
2.1 LA NEGACI

ON Dada una proposicion p, se denomina LA NEGACI

ON DE p,
a otra proposicion denotada por p, y que le asigna el valor veritativo opuesto al de p.
Su tabla de verdad es:
p p
V F
F V
Esta proposicion p es tambien leda co-
mo
no p
no es cierto que p.
Ejemplo 1.2.1. Sean las proposiciones
p : 3 4 = 12 (V)
q : Helsinki es la capital de Polonia (F)
entonces sus negaciones son:
p : No es cierto que 3 4 = 12 [o sino 3 4 ,= 12] (F)
q : Helsinki no es la capital de Polonia (V)
la ultima negacion q es VERDADERA pues la ciudad de Helsinki es la capital de
Finlandia.
3
2.2 LA DISYUNCI

ON Se le denota p q y se lee p o q. Es una proposicion

compuesta de la proposicion p y la proposicion q, ambas relacionadas por la palabra

o

,
en el sentido inclusivo de y/o, y esta denida por la siguiente condicion:
La proposicion p q es falsa unicamente en el caso en que
p y q son ambas falsas; en cualquier otro caso es verdadera.
En su tabla de verdad se anotan sus valores para todas las posibles combinaciones de
valores veritativos de p y q como sigue:
p q p q
V V V
V F V
F V V ()
F F F
Por ejemplo, correspondiente a la combinaci on (*) de la tercera la:
p : 8 es menor que 5 . . . (F)
q : 6 es menor que 3 . . . (V)
p q : 8 es menor que 5 o 6 es menor que 3 . . . (V)
A continuacion presentamos otra nueva proposicion compuesta fundamental.
2.3 LA CONJUNCI

ON Se le simboliza p q y se lee como p y q. Se le dene

como una nueva proposicion que resulta verdadera (V) en el unico caso en que las
proposiciones componentes p y q son ambas verdaderas (V). En todos los demas casos
es falsa (F). Su tabla de verdad es:
p q p q
V V V
V F F () ver el ejemplo
F V F
F F F
4
Por ejemplo:
p : 15012 es m ultiplo de 3 . . . (V)
q : 4 + 7 = 12 . . . (F)
p q : 15012 es m ultiplo de 3 y 4 + 7 = 12 . . . (F)
2.4 LA CONDICIONAL Se le simboliza p q, y se lee Si p entonces q. Es una
nueva proposicion compuesta que es falsa unicamente en el caso en que la proposicion
p es verdadera y la proposicion q es falsa. Su tabla de verdad es
p q p q
V V V
V F F
F V V
F F V
La proposicion p es llamada AN-
TECEDENTE y la proposicion q CON-
SECUENTE.
2.5 OBSERVACIONES
1) Seg un las ultimas las de la tabla de verdad, basta que el antecedente p sea fal-
so para que toda la condicional sea verdadera, independientemente del valor del
consecuente q.
2) De las las 1era. y 3era. se concluye que es suciente que el consecuente q sea
verdadero para que la condicional resulte verdadera.
3) Seg un la ultima la, en el caso que p y q sean ambas falsas, la condicional resulta
verdadera.
En resumen, el unico caso en que un procedimiento de deduccion es incorrecto ocurre
cuando a partir de una informacion verdadera se concluye una falsedad.
Esta proposicion p q tambien se lee de las siguientes maneras:
p implica q, p es una condicion suciente para que q
q a menos que p, q es una condicion necesaria para p
5
Es suciente que p para que q
2.6 EJEMPLOS Explique por que las condiciones tienen los valores veritativos indi-
cados:
a) 2 + 3 = 8 5 < 6 (V)
b) 3 1 = 4 2
4
< 2
3
(V)
c) Si 5 es primo, entonces 51 es un n umero par (F)
Estas condiciones tiene los valores tiene los valores de verdad indicados debidos a que
a) p es falsa y q es verdadera : condicional verdadera
b) p es falsa y q es falsa : condicional verdadera
c) p es verdadera y q es falsa : condicional falsa
2.7 PROBLEMA Utilizar las palabras Si . . . entonces . . . , para expresar de otra
manera equivalente la proposicion.
Yo no me presento al examen de Qumica ma nana a menos
que lo posterguen una semana.
SOLUCI

ON Sean:
p: Yo no me presento al examen de qumica ma nana
q: No postergaran el examen una semana,
entonces la proposicion dada corresponde a: q a menos que p, la cual precisamente
se simboliza por: p q. As tenemos el enunciado equivalente:
Si no postergan el examen de Qumica una semana ENTONCES yo
no me presento a dicho examen ma nana.
2.8 LA BICONDICIONAL Se denota p q, y se lee p si y solo si q. Es aquella
proposicion compuesta que es verdadera en los casos en que ambas p y q tengan valores
veritativos iguales (ambas verdaderas o ambas falsas); y es falsa en los casos en p y q
tengan valores veritativos opuestos.
Su tabla de verdad es como sigue:
6
p q p q
V V V
V F F
F V F
F F V
Tambien se lee como:
p si y solo si q,
p es una condicion necesaria y su-
ciente para q
Por ejemplo,
p : 2 < 4 . . . (V)
q : 2 + 6 < 4 + 6 . . . (V)
p q : 12 < 4 si y solamente si 2 + 6 < 4 + 6 . . . (F)
2.9 LA DISYUNCI

ON EXCLUSIVA Se le denota p q, y se lee: O bien p o bien

q. Es aquella proposicion que es verdadera en los casos en que ambas proposiciones p
y q tengan valores veritativos opuestos, y es falsa si ambas tiene identicos valores de
verdad. Su tabla de verdad es
p q p q
V V F
V F F
F V V
F F F
Tambien recibe el nombre de DIFERENCIA SIM

ETRICA
2.10 CONECTORES L

OGICOS Se llaman as a los smbolos: , , , , , .

1.3. PROPOSICIONES COMPUESTAS
Utilizando los conectivos logicos se pueden combinar cualquier n umero nito de proposi-
ciones compuestas basicas para obtener otras cuyas valores de verdad pueden ser conoci-
dos construyendo sus tablas de verdad; en tales tablas se indican los valores resultantes
de estas proposiciones compuestas para todas las combinaciones posibles de valores de
7
verdad de las proposiciones componentes.
Por ejemplo, la tabla de verdad de la proposicion compuesta siguiente:
[( p) q] (r p) , es:
p q r p ( p) q r p [( p) q] (r p)
V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F
3.1 EJERCICIO Sean p : 8 es un n umero par, q : 8 es el producto de dos enteros.
Traducir en smbolos cada una de las siguientes proposiciones.
a) 8 es un n umero par o es un producto de dos enteros.
b) 8 es impar y es un producto de dos enteros.
c) 8 es par y un producto de dos enteros o es n umero impar y no un producto de dos
enteros.
3.2 PROBLEMA Sean p, q y r tres proposiciones tales que p es verdadera, q es falsa
y r es falsa. Indicar cuales de las siguientes proposiciones son verdaderas:
a) (p q) r
b) ( p) (q r)
c) [(p q) (( p) q)] [(( p) q) (( q) p)]
d) [( p) q] (p r) (q r)
8
SOLUCI

ON
a) verdadera, pues
(p q) r

(V F) F

V F

V , verdadera
b) Esta proposicion es falsa, pues
( p) (q r)
F F
F
c) Como esta proposicion esta constituida por proposiciones compuestas entre dos
corchetes unidos por una conjuncion , y como el primero de tales corchetes es
FALSO (por que?) entonces toda la proposicion (b) sera FALSA, independiente-
mente del valor de la proposicion compuesta del segundo corchete.
d) Esta proposicion tambien es FALSA, en forma analoga a (c), puesto que (q r) es
falsa.
3.3 PROBLEMA Hallar el valor de verdad de la proposicion:
(
4

4 >

2 1 > 0) [

2
4

4 (1/
4

4 < 1/

2 1 < 0]
SOLUCI

ON De
4

4 =
4

2
2
= 2
2/4
= 2
1/2
=

2, se tiene que
4

4 >

2 y 1/
4

4 < 1/

2
son ambas falsas. Sin embargo,

2
4

4 es verdadera pues quiere decir > o =. As se

tiene que la proposicion dada tiene el valor siguiente:
(F V ) [V (F V )]
F [V (F V )]
9
y seg un una de las OBSERVACIONES (2.5), es suciente que el antecedente sea falso
para que toda la condicional sea VERDADERA, lo cual puede ser vericado comple-
tando lo del corchete.
3.4 JERARQU

IA DE LOS CONECTORES L

OGICOS
Cuando en una proposicion compuesta se tiene varios conectivos logicos, las operaciones
se realizan luego de colocar parentesis adecuadamente comenzando con las proposiciones
que se encuentran dentro de los parentesis interiores. Siguen todas las negaciones y luego
se avanza de izquierda a derecha. Los corchetes son considerados como parentesis.
3.5 PROBLEMA Sean p, q, r, s y n cinco proposiciones logicas. Si el valor de verdad
de cada una de las proposiciones siguientes (a) y (b) es FALSA:
a) [ (p q) r] (s r), b) p q,
cual es el valor de verdad de (c) y (d)?:
c) [(n p) r] p d) s (p r)
SOLUCI

ON.- Que la condicional (a) sea FALSA quiere decir que

(p q) r es V () , y
s r es F ()
Como p q es F por hipotesis, entonces ambas p y q son F es decir, p es V y q es
F, de donde resulta que (p q) es V y por lo tanto, r es V . Luego de () resulta
que s es F. As, la condicional (c) resulta V , pues el antecedente es F, ya que r es F,
independientemente de los valores de n y p.
Asimismo, la condicional (d) resulta tambien verdadera (V ), pues su antecedente s es
falso (F).
1.4. TAUTOLOG

IA Y CONTRADICCI

ON
A toda proposicion simple o compuesta cuyo valor es siempre VERDADERO para
cualquier combinacion de valores veritativos de sus componentes se le llama TAU-
10
TOLOG

IA y se le denota siempre por V .

A toda proposicion que es siempre FALSA para todas las combinaciones de valores veri-
tativos de sus componentes se la llama CONTRADICCI

ON, y se le denota simplemente

por la F.
Una proposicion cuya tabla de verdad contiene al menos un V y al menos un F recibe
el nombre de CONTINGENCIA.
4.1 EJEMPLO La proposicion [(( p) q) q] p, es una TAUTOLOG

IA, en
efecto,
p q p q ( p) q [(( p) q) q] p
V V F F V F V F
V F F V F F V F
F V V F V F V V
F F V V V V V V
4.2 EJEMPLO La proposicion [(p q) q] q, es una CONTRADICCI

ON, en
efecto,
p q q p q (p q) q [(p q) q] q
V V F V V F
V F V F F F
F V F F V F
F F V F F F
1.5. IMPLICACI

ON L

OGICA Y EQUIVALENCIA
L

OGICA
Se llama IMPLICACI

ON L

OGICA (o simplemente IMPLICACI

ON) a toda condicional

p q que sea TAUTOLOG

IA; en tal caso, a la condicional se le denota p = q.

Como el ejemplo de IMPLICACI

ON se tiene [( p) q) q cuya tabla de verdad esta

mostrada en el EJEMPLO 4.1
11
Se llama EQUIVALENCIA L

OGICA (o simplemente EQUIVALENCIA) a toda bicondi-

cional p q que sea TAUTOLOG

IA, denotandose en tal caso p q. Un ejemplo de

EQUIVALENCIA L

OGICA es:
p (p q) p
p q p q p (p q) p
V V V V V V
V F V V V V
F V V F V F
F F F F V F
1.6. PROPOSICIONES L

OGICAMENTE EQUIV-
ALENTES
Dos proposiciones p y q se llaman EQUIVALENTES (o logicamente EQUIVALENTES)
si sus tablas de verdad son identicas, en cuyo caso se simboliza
p q
6.1 EJEMPLO Las proposiciones (p q) y [( q) p] son EQUIVALENTES
pues sus tablas de verdad resultantes son identicas, como se pueden ver en el cuadro
p q p q q p
V V V F V F
V F F V V F
F V V F V V
F F V V V V
identicas
Por lo tanto,
(p q) [( q) ( p)]
6.2 NOTA Esta ultima Equivalencia de (6.1) es muy importante en lo a demostra-
ciones de teoremas o resultados en general respecta, pues viene a ser la base del llama-
do M

ETODO DE DEMOSTRACI

ON POR REDUCCI

ON AL ABSURDO que es una

12
forma indirecta de un proceso de demostracion, y que ilustraremos varias veces en el
desarrollo del libro.
6.3 NOTA Un par de proposiciones equivalentes p q produce siempre una Equiv-
alencia Logica p q y viceversa. Por esta razon cuando hay una equivalencia logica
entre p y q tambien se dice que: p q.
1.7. LEYES DEL ALGEBRA PROPOSICIONAL
Son ciertas Equivalencias Logicas que las presentaremos a continuacion y cuya de-
mostracion es facil de realizar exhibiendo sus tablas veritativas correspondientes.
1a. p p p
2a. p q q p
3a. (p q) r p (q r)
4a. p (q r) (p q) (p r)
5a. p F p
6a. p V V
7a. p ( p) V
8a. ( p) p
1b. p p p
2b. p q q p
3b. (p q) r p (q r)
4b. p (q r) (p q) (p r)
5b. p F F
6b. p V p
7b. p ( p) F
8b. V F ; F V
9a. (p q) ( p) ( q)
9b. (p q) ( p) ( q)
Como es valido reemplazar una proposicion por su equivalente sin alterar el resultado,
13
estas leyes son muy utiles para simplicar los problemas.
Con este n presentaremos un LISTA ADICIONAL muy util, de Equivalencias Logicas.
7.1 LISTA ADICIONAL DE PROPOSICIONES EQUIVALENTES
1A. p q ( p) q
2A. p q ( q) ( p)
3A. p (p q) p
4A. p (p q) p
5A. p q (p q) (q p)
6A. p q (p q) [( p) ( q)]
7A. p q (p q) (q p)
7.2 PROBLEMA Simplicar las siguientes proposiciones utilizando las Leyes del
Algebra Proposicional o la lista adicional:
a) [ (p q) q] q
b) [(( p) q) (r r)] q
SOLUCI

ON
a) [ (p q) q] q
[ ( (p q) q] q 1A.
[(p q) q] q 8a.
[ (p q) ( q)] q 9a.
[( p q) q] q 9b.
q [q ( p q)] 2a., 2b.
q 4A
14
b) [(( p) q) (r r)] q
[(( p) q) F] q 7b.
[( (( p) q)) F] q 1A.
[(p q) F] q 9b.
[(p q)] q 5a.
q 2b., 3a.
7.3 PROBLEMA Demostrar que la siguiente proposicion es una Tautologa
[(p q) q] p
SOLUCI

ON
[(p q) q] p 1A.
[ (p q)] p ( q) 9b., 2a.
(( p) q) p ( q) 9a.
( p q) [ ( p q)] 9b.
V tautologa 7a.
NOTA.- En mucho casos este metodo es mas practico que el de las tablas de verdad.
7.4 PROBLEMA Determinar si (a) y (b) son proporciones equivalentes:
a) p (r q)
b) (q p) ( r p)
SOLUCI

ON
15
M

ETODO 1 Mediante las tablas de verdad

p q r p q r p (r q) (q p) ( r p)
V V V F F F V V F V V
V V F F F V F F F F F
V F V F V F V V V V V
V F F F V V V V V V F
F V V V F F V V V V V
F V F V F V V F V V V
F F V V V F V V V V V
F F F V V V V V V V V
identicas
M

ETODO 2 Simplicando:
(a) p (r q) ( p) (r q) (1.1)
(b) (q p) ( r p)
[ q p] [( r) p]
q p (r p)
q ( p p) r
( q) ( p) r
( p) (r q) (1.2)
Siendo (1) y (2) iguales, entonces a b
7.5 PROBLEMA.- Dadas, t : (r s) r, u : (r s) r, si t es falsa y u es
verdadera, determinar el valor de verdad de:
[(r u) (ts)] t
SOLUCI

ON.- DATOS: t : F, u : V . Solo puede ocurrir (a) o (b):

(a) Si r : V ,
16
(a1) s : V , entonces t : V F V (contradiccion)
(a2) s : F, entonces
t : FF F
u : V V V

(Validos)
(b) Si r : F, entonces u : V F F (contradiccion)
Por lo tanto r : V y s : F, y en consecuencia el valor de verdad de la proposicion es
[ (r u) (t s) ] t
[ (V V ) (F F) ] V
[ V F ] V
[ F ] V V . . . Verdadera
7.6 EJERCICIO Probar que [( r) (p s)] (q s) tiene el valor verdadero si es
que p (q r) y p r son ambas falsas.
SERIE DE EJERCICIOS PROPUESTOS
1. Demostrar las Leyes del

Algebra de Proposiciones.
2. Demostrar las Equivalencias de la Lista Adicional.
3. Demostrar que las condiciones siguientes son IMPLICACIONES:
(a) p = p
(b) [(p q) (q r) = (p r)
(c) ( p) = (p q)
(d) [(p q) q] = p
(e) p = (p q)
(f) (p q) = p
(g) (p q) = (p q)
(h) (p q) = (p q)
17
(i) (p q) = (p q)
4. Demostrar que las bicondicionales siguientes son EQUIVALENCIAS L

OGI-
CAS
(a) (p q) ( p) q
(b) (p q) (p q) (q p)
(c) (p q) p p
(d) (p q) p p
(e) (p q) p q
5. Demostrar que
(a) (p q) (p q) F (Reduccion al absurdo)
(b) (F p) V ; (p V ) V ; (p F) p ; (p q)
(p q)
(c) (p q) [(p q) q]
(d) (p q) [(p q) p]
(e) (pq) (p q) (p q) (p q)
6. Dadas las proposiciones:
(I) (p q) (p q)
(II) (p q) (p q)
(III) (p q) ( p q)
indicar cual (o cuales) es una Contradicci on (F).
7. La proposicion (p q) (q r), a cual (o cuales) de las siguientes proposi-
ciones es equivalente?
(a) p (p r) ( p),
(b) p ( q) (q r),
18
(c) (p q) [(p r) q]
8. Alguna de las siguientes proposiciones es Tautologa?
(a) [ (p q) q] (p q)
(b) [( p) q] (p q)
(c) (p q) [p ( p q)] (p q)
9. Simplicar: [( p q) (r r)] q
10. Simplicar: [( q p) ( p q)] (p q)
11. De las siguientes proposiciones, Cuales son equivalentes entre si?:
(a) Es necesario que Juan no vaya al cine para que termine su tarea.
(b) No es cierto que Juan termine su tarea y vaya al cine.
(c) Juan o terminara su tarea y no ira al cine.
12. Cuales son Tautologas?:
(a) [(p q) q] p
(b) [(p q) q] q
(c) [ p (q r)] [( p q) (p r)]
13. De la falsedad (p q) ( r s), deducir el valor de
(a) ( p q) q
(b) [( r q) q] [( q r) s]
(c) (p r) [(p q) q]
14. Si se sabe que (p q) y (q t) son falsas, Cuales de las siguientes proposiciones
son verdaderas?
(a) ( p t) s
(b) [p ( q p)]
19
(c) [ p (q t)] (p q) (q t)
15. Cual(es) de las siguientes proposiciones es equivalente a: Es necesario pagar 100
intis y ser socio para ingresar al teatro

a) No ingresar al teatro o pagar 100 intis y ser socio.

b) Pagar 100 intis o ser socio, y no ingresar al teatro.
c) Pagar 100 intis y ser socio, o no ingresar al teatro.
16. si la proposicion ( p q) [(p r) t] es falsa, hallar el valor veritativo de:
(a) [(( p) q) (r t)]
(b) ( q r) [ t (p q)]
(c) ( p t) [ q r]
17. Demostrar que las tres proposiciones siguientes son equivalentes
(a) [(q p) (q (r p))]
(b) (p q) [ q ( r p)]
(c) [ q p] [q (p r)]
18. La proposicion (p q) (r s) es verdadera; teniendo r y s valores veritativos
opuestos, se arma que
(a) [( p) ( q) (r s)] p es verdadera
(b) [ (p q) (r s)] ( p q) es falsa
(c) [( r s) (p r)] (r s)] es verdadera
(d) [( r s) (s p)] (r p) es verdadera
Cuales son ciertas?
19. Cuales son Equivalencias Logicas?:
(a) (q p) (q p)
20
(b) ( p q) q [(p q) q]
(c) (p q) [(p q) q]
20. Si p q se dene por ( p) ( q), entonces a cual es equivalente (p q)?:
(a) [( p) q] [q p]
(b) [( p) q] [( q) p]
(c) [( p) ( q)] [p q]
21. Cuales de las siguientes proposiciones
(a) [p ( q) ( r)],
(b) (p q) r,
(c) (r q) ( r q),
(d) ( p) q r
son equivalentes a: (p q) r?
22. Si p q signica ni p y ni q, Cuales de las siguientes proposiciones son tau-
tologas (siempre verdaderas)?
(a) [(p q) (q p)] (p q)
(b) (p q) [p q],
(c) (p q) (p q),
(d) (p q) pq
23. Cuantas F y cuantas V tiene el resultado de la tabla de verdad de: [(pq)
r] (s s) despues de simplicarla?
24. Dada z : (p q) [p (q r)] [q (p r)],
a) Indicar los valores de p y r de modo que si q es F, entonces z es F.
b) Indicar los valores de p y r de modo que si q es V , entonces z es V .
21
25. Escribir la negacion de cada una de las proposiciones siguientes:
a) El no es rico, pero es feliz.
b) El no es pobre ni es feliz.
c) El es bajo pero es my agil.
d) Ni Juan ni su papa viajaran a Tarma a n de mes.
e) El tiene un compas o una regla.
f) Ambos equipos Alianza y la U iran a la Copa Libertadores.
g) Si Juan llega a tiempo con los documentos, entonces ambos, Carlos y Jorge,
podran inscribirse en el ciclo de las conferencias.
26. Si p, q, r, s, t, w son proporciones tales como
(a) (p r) (s w) es verdadera,
(b) ( w s) es falsa,
hallar el valor de verdad de las proposiciones
(c) (p q) r s,
(d) (s w) (r p),
(e) [t (w p)] (p r)
27. Expresar la proposicion (p q) (r s) de otra manera, en la que unicamente
intervengan los conectivos () y ()
28. Hallar el valor de verdad de la proposicion
(
3

8 >

2 8 < 0) [

2
3

8 (
1
3

8
<
1

2
8 > 0)]
29. Sin usar tablas de verdad, determinar si las siguientes proposiciones (a) y (b) son
Logicamente Equivalentes:
(a) ( s w) (t w)
22
(b) w ( t s)
30. Dadas las proposiciones p y q, se dene la proposicion pq como: p ( q). A
cual(es) equivalente p q?
31. a) Utilizando tablas de verdad determinar determinar si la siguiente proposicion
es una tautologa, una contradiccion o una contingencia:
[( p r) q] [ q (p r)](p q)(q r)
b) Simplicar: ([p( q)] ( q))
32. Dado el circuito logico denido por la tabla:
p q p*q
V V V
V F F
F V V
F F F
Analizar la verdad o falsedad de las siguientes proposiciones:
a) q V es condicion necesaria o suciente para que (p q) V .
b) p [(p q) (r s)] r s.
c) Es falso que (p q) F sea condicion necesaria y suciente para que
p q F.
33. Si la proposicion [(p( q)) (p q)] [r s] es falsa, cuales de las siguientes
proposiciones son necesariamente verdaderas?:
(I) (p q) (p s);
(II) [( p) r] (r s);
(III) (r s) (pr).
34. Sabiendo que la proposicion siguiente es falsa: [(p r) q] [(p q)s]
(sp) t, determinar el valor de las proposiciones
23
(a) [( pq) r] [ (q (u p))](pq)
(b) (p q)[(r p) (r s)]t
35. Si p, q, r, s, t, w son proposiciones tales que (p r) (s w) es verdadera, y
( w s es falsa, hallar el valor de verdad de: [t (w p) (p r)]
1.8. VARIANTES CONDICIONALES
Dadas dos proposiciones p y q, con respecto a la proposicion condicional p qse
pueden presentar las variantes condicionales que contienen a p y q:
q p : llamada la PROPOSICI

ON REC

IPROCA de p q
p q : llamada la REC

IPROCA INVERSA de p q
q p : llamada la REC

IPROCA CONTRAPOSITIVA de p q
Las tablas de verdad de estas cuatro condicionales son
CONDICIONAL REC

IPROCA INVERSA CONTRAPOSITIVA

p q p q q p p q q p
V V V F V V
V F F V V F
F V V F F V
F F V V V V
Observe que una proposicion condicional y recproca no son Logicamente Equivalentes.
8.1 TEOREMA Una proposicion condicional p q y una contrapositiva q p
s son Logicamente Equivalentes. (ver la tabla de verdad anterior).
8.2 EJEMPLO Consideremos los siguientes enunciados acerca de un paralelogramo
A,
p q : Si A es cuadrado, entonces A es un rombo
q p : Si A rombo, entonces A es un cuadrado
de nuestros conocimientos escolares sabemos que p q es verdadero, pero q p es falso.
24
8.3 APLICACI

ON DEL TEOREMA (8.1).- Sea n un entero positivo. Demostrar

que si n
2
es par entonces n es par.
SOLUCI

ON Denimos p : n
2
es par, q : n es par. Sus negaciones son p : n
2
es
impar, q : n es impar. Se nos pide demostrar que p q es verdadera, es decir que Si
n es impar entonces n
2
es imparse cumple. En efecto,
Si n es impar entonces n = 2k + 1 para alg un entero k 0; luego
n
2
= (2k + 1)
2
= 4k
2
+ 4k + 1 = 2(2k
2
+ 2k) + 1
n
2
= 2k
1
+ 1 donde k
1
= 2k
2
+ 2k
y como k
1
es un entero 0, entonces n
2
resulta tambien ser impar. Luego, hemos veri-
cado que q p es verdadera, y por la tanto que p q es verdadero, que es lo que
queramos demostrar.
A continuacion estudiaremos un tipo de condicionales que nos llevaran a procedimientos
correctos de deduccion logica.
1.9. INFERENCIA L

OGICA

O ARGUMENTO L

OGI-
CO
Se llama INFERENCIA L

OGICA O ARGUMENTO (L

OGICO) a toda condicional de

la forma.
(p
1
p
2
p
k
) q (*)
donde las proposiciones p
1
, p
2
, . . . , p
k
son llamadas PREMISAS, y originan como conse-
cuencia otra proposicion denotada q y llamada CONCLUSI

ON.
Una inferencia puede ser tautologa, una contingencia. o una contradiccion.
1) Si la condicional (*) es una TAUTOLOG

IA, es decir si es una implicacion entonces

recibe el nombre de argumento valido o inferencia valida
2) Si la condicional (*) no es TAUTOLOG

IA entonces se denomina FALACIA.

El valor de verdad de un Argumento de determina como sigue.
25
DEFINICI

ON Un Argumento (*) es verdadero si q es verdadera cuando todas

premisas p
1
, p
2
, . . . , p
k
son verdaderas. En cualquier otro caso el argumento (*) es falso.
El argumento (*) tambien es denotado por:
p
1
, p
2
, . . . , p
k
q (**)
9.1 TEOREMA Si el argumento es VALIDO y las premisas p
1
, p
2
, . . . , p
k
, son ver-
daderas, entonces la CONCLUSI

ON q es verdadera.
PRUEBA Siendo un argumento (inferencia) valido, la condicional (*) (p
1
p
2

p
k
) q es una tautologa, en la que (p
1
p
2
. . . p
k
) es verdadera (pues cada
p
1
, p
2
, . . . , p
k
lo es) de donde la unica posibilidad para la CONCLUSI

ON q es que sea
verdadera (si fuese falsa, la condicional sera falsa y la inferencia no sera VALIDA
contradiciendo la hipotesis).
9.2 OBSERVACI

ON Una inferencia no se modica si una o varias de las proposiciones

componentes p
1
, p
2
, . . . , p
k
, q se reemplazan por otra u otra que sean EQUIVALENTES.
9.3 NOTACI

ON Un argumento (p
1
p
2
. . . p
k
) q tambien se denota en la forma
siguiente:
p
1
p
2
.
.
.
p
k
q
donde los tres puntos se leen por lo tanto
9.4 EJERCICIO Demostrar que el siguiente Argumento es valido:
p
p q
q
SOLUCI

ON debemos demostrar que la condicional [p(p q)] q es una tautologa

(V ):
[p (p q)] q [p (p q)] q
26
[p ( p q)] q ( p) (p q) q
[( p) q] (p q) [ (p q)] (p q)
V
Esto tambien pudo haberse demostrado con las tablas de verdad.
9.5 EJEMPLO En un ejercicio Propuesto tenamos la LEY TRANSITIVA:
[(p q) (q r)] = (p r)
Por lo tanto el siguiente es un ARGUMENTO L

OGICO valido:
p q
q r
p r
9.6 INFERENCIAS VALIDAS NOTABLES
M

ETODOS DE DEMOSTRACI

ON
9.6.1 LEY DEL MODUS PONENDO PONENS
[(p q) p] = q
tambien se simboliza como:
p q
p
q
y cuya validez ha sido demostrada en el ejercicio (9.4).
Ejemplo:
Si Luis gana el concurso, entonces viajara a Espa na
Luis gana el concurso
Luis viajara a Espa na
9.6.2 LEY DEL MODUS TOLLENDO TOLLENS
[(p q) ( q)] = ( p)
Simbolizado tambien como:
p q
q
p
27
EJEMPLO:
Si Luis gana el concurso, entonces viajara a Espa na
Luis no viajo a Espa na
(Por lo tanto) Luis no gano el concurso
9.6.3 LEY DEL SILOGISMO HIPOT

ETICO
[(p q) (q r)] = (p r) (LEY TRANSITIVA)
Simbolizado tambien como:
p q
q r
p r
Ejemplo:
Si no llueve entonces e perdera la cosecha
Si se pierde la cosecha entonces no se podra cancelar la deuda
(Por lo tanto)Si no llueve, no se podra cancelar la deuda
9.6.4 LEY DEL SILOGISMO DISYUNTIVO
[(p q) ( p)] = ( q)
esquematizada por:
p q
p
q
Ejemplo:
Gladys tiene una carnet o una libreta electoral
Gladys no tiene ning un carnet
(Por lo tanto) Gladys tiene una libreta electoral
9.6.5 LEY DEL DILEMA CONSTRUCTIVO
[(p q) (r s) (p r)] = (q s)
28
esquematizada por:
p q
r s
p r
q s
Ejemplo
Si pepito toma bebidas heladas, entonces se resfriara
Si Rosa no llega, se quedara sin ver la obra
Pepito Toma bebidas heladas o Rosa no llego a tiempo
(Por lo tanto)Pepito se resfriara o Rosa se quedara sin ver la obra
9.6.6 LEYES DE SIMPLIFICACI

ON
(a) p q = p , (b) p q = q
esquematizadas por
p
q
p
,
p
q
q
EJEMPLO:
Ning un estudiante es ocioso y Carlos es un excelente pianista.
Por lo tanto, ning un estudiante es ocioso.
9.6.7 LEY DE LA ADICI

ON
p = (p q)
EJEMPLO:
Todos los poetas son desordenados. Luego, los poetas son desordenados o son tempera-
mentales.
9.7 EJERCICIO Para cada conjunto dado de premisas encontrar una conclusion
adecuada, de modo que la inferencia sea valida:
SOLUCI

ON De las implicaciones ya conocidas tenemos que

29
a) Si reemplazamos (r q) por su equivalente ( q r) entonces:
[(p q) ( q r)]
= (p r) por la Ley del Silogismo Hipotetico
b) Por conmutatividad tenemos
[(r p) (p q) q]
= [(r q) q] (LEY DEL MODUS PONENDO PONENS)
= r (LEY DEL MODUS TOLLENDO TOLLENS)
9.8 M

ETODOS DE DEMOSTRACI

ON
Cuando se utiliza una Argumento logico valido en la forma:
(p
1
p
2
p
k
) q (I)
Para una cierta Demostracion, entonces se dice que se ha empleado un M

ETODO DI-
RECTO DE DEMOSTRACI

ON.
En cambio, si consideramos la negacion de la conclusion q y de una de las premisas
p
1
, p
2
, . . . , p
k
, digamos de p
1
y se construye el siguiente Argumento:
[( q) p
2
p
k
] p
1
(II)
probaremos que este Argumento Logico (II) es equivalente al argumento (I):
[( q) p
2
p
k
] p
1
[( q) p
2
p
k
] p
1
q [ (p
2
p
k
)] p
1
q [ (p
2
p
k
p
1
)] (p
1
p
2
p
k
) q
[p
1
p
2
p
k
] q : Argumento (I)
9.8.1 DEFINICI

ON Cuando se desea emplear el Argumento valido (II) en una

demostracion, se dice que se esta aplicando el M

ETODO INDIRECTO o metodo por

reduccion al absurdo.
9.8.2 NOTA La aplicacion del M

ETODO INDIRECTO consiste en considerar ahora

como una premisa a la negacion de la conclusion, es decir q, y se trata de inferir
30
validamente da negacion de alguna de las premisas, considerando las demas verdaderas.
Pare efectos de la prueba previa se trato de inferir p
1
, la negacion de la premisa p
1
.
9.8.3 EJERCICIO Utilice los dos metodos: directo e indirecto para comprobar la
validez del argumento:
q p
q s
s
p
M

ETODO DIRECTO:
[(q p) (q s) s] p [( q p) (q s)] p
[p q s] p (q s p
(q s) ( p p) (q s) V V TAUTOLOG

IA
M

ETODO INDIRECTO: Probaremos que la siguiente condicional es tautologa

[(q p) ( p) ( s)] (q s)
[( q p) ( p) ( s)] (q s)
[( q p) F ( s)] (q s)
(q p s) (q s) (q p s) (q s)
p [(q s) (q s)] p V V TAUTOLOG

IA.
9.9 PROBLEMA Demostrar que: si q =
m
n
, con m, n enteros primos entre s (no tiene
factores comunes, excepto el 1), entonces q
2
,= 2
SOLUCI

ON Supongamos que se cumple la negacion de la tesis, es decir que q

2
= 2
para q =
m
n
con m y n enteros primos entre s; luego
q
2
= 2 = (m/n)
2
= 2 = m
2
= 2n
2
(*)
= m
2
es par, pues n es un entero = m tambien es par (por un ejercicio anterior),
m = 2k
1
para alg un entero k
1
= en (*): 4k
2
1
= 2n
2
= n
2
= 2k
2
1
= n
2
es par =
n es par tambien (por un EJERCICIO PREVIO) = n = 2k
2
para alg un entero k
2
.
De aqu resulta que ambos m y n tienen como factor com un al n umero 2 contradicien-
31
do la hipotesis acerca de m y n, de ser primos entre s. As, hemos concluido nuestra
demostracion, mediante una aplicacion del M

ETODO INDIRECTO o por reduccion al

absurdo
Aqu hemos demostrado que no existe ning un n umero racional que tal que q
2
= 2
9.10 COROLARIO El n umero

2 no es racional.
9.11 APLICACIONES A ENUNCIADOS
9.11.1 EJEMPLO Determinar la validez de los argumentos
a) Si llueve, Julia se resfriara
No llovio
Julia no se resfrio
b) Si llueve, Julia se resfriara
Julia no se resfrio
No llovi o
SOLUCI

ON p : LLueve q : Julia esta resfriada

Escribamos los argumentos en forma simb olica
(a) [(p q) ( p)] q , (b) [(p q) ( q)] p
(a) [( p) q] p ( q) ( p) (q p) ( q)
[p ( q p)] ( q) (p q) (p q)
p q. No es una tautologa pues depende de los valores que tomen p y q. As,
(a) NO ES V

ALIDO, es Falacia.
(b) [(p q) ( q)] p [( p) q] q ( p)
( p) ( q) ( p) p q p (p p) q
V q V TAUTOLOG

IA. Luego, (b) es valido.

En este caso (b), tambien pudimos haber aplicado la Ley del Modus Tollendo Tollens
directamente.
9.11.2 EJEMPLO
Comprobar la validez del argumento:
32
Si estudio, entonces no me desaprueban Matematicas
Si no voy a nadar, entonces estudio
Pero, me desaprobaron Matematicas
(Por lo tanto) Me fui a nadar
SOLUCI

ON p: Yo estudio q: Me desaprueban Matematicas r: Me voy a nadar

El argumento es [(p q) ( r p) q] r. Luego, [(p q) ( r p) q]
[( r p) (p q) q] =
SILOG. HIP
[( r q) q] =
MODUS TOLL.
r.
As, hemos comprobado que el argumento dado es una IMPLICACI

ON (condicional
tautologica), es decir que es un ARGUMENTO VALIDO.
9.11.3 EJERCICIO vericar la validez del argumento
En el cumplea nos de mi esposa la llevare a cenar afuera
Es el cumplea nos de mi esposa o trabajo hasta tarde
Hoy no lleve a mi esposa cenar afuera
Por lo tanto, hoy trabajare hasta tarde
SOLUCI

ON p: Es el cumplea nos de mi esposa,

q : La llevare a cenar afuera r: Hoy trabajo hasta tarde
Vericaremos que el argumento: [(p q) (p r) ( q)] r (*)
es una Tautologa. En efecto,
[(p q) (p r) q] [(p q) ( q) (p r)]
=
MODUS TOLL.
[( p) (p r) [( p p) ( p r) p r = r (Ley de simpli-
cacion)
Por lo tanto, [(p q) (p r) ( q)] r: tautologa, de modo que el argumento
dado es VALIDO.
9.11.4 NOTA Del desarrollo de la solucion del Ejercicio previo, vemos que el siguiente
es tambien el ARGUMENTO VALIDO:
33
En el cumplea nos de mi esposa la llevare a cenar afuera
Es el cumplea nos de mi esposa o trabajo hasta tarde
Hoy no lleve a mi esposa a cenar afuera
Por lo tanto, hoy no es el cumplea nos de mi esposa
SERIE DE EJERCICIOS PROPUESTOS
1. Verique la validez de los siguientes argumentos:
(a) p q
p q
q
(c) p (p q)
(p q) r
r s
s
(e) p
( p s) ( p r)
s
(b) (p q) (r s)
( q) ( s)
( p) q
(d) r q
p q
r s
p s
SUG: Algunos se prueban mejor por el
metodo indirecto
2. Sea n un n umero entero, demostrar que si n
2
es m ultiplo de 3, entonces n es
tambien m ultiplo de 3.
SUG: n no m ultiplo de 3 equivale a que n = 3K + 1 o n = 3k + 2, para k entero:
probar cada caso.
3. Sea n un entero, demostrar que si n
2
es m ultiplo de 5, entonces n es tambien
m ultiplo de 5.
4. Sea n un entero, demostrar que si n
2
es m ultiplo de 6, entonces n tambien es
m ultiplo de 6.
SUG: n es m ultiplo de 6 si y solo si n es

3.
34
5. Sea n un entero, demostrar que si n
3
es un m ultiplo de 2, entonces n es m ultiplo
de 2.
6. Demostrar que no existe ning un n umero racional q tal que: q
2
= 3.
7. Demostrar que no existe ning un n umero racional q tal que: q
3
= 2.
8. Dados los argumentos siguientes, determinar en cada caso si es un Argumento
Valido o una Falacia traduciendo previamente a smbolos:
(a) Si 6 es impar, entonces 4 no divide a 7
5 no es primo o 4 divide 7
Pero 5 es primo
6 es par (no impar)
(b) Trabajo o apruebo matematicas
Si trabajo no puedo estudiar
Aprobe matematicas
Por lo tanto, yo estudie
(c) Si trabajo, no puedo estudiar
Trabajo o apruebo matematicas
Trabaje
Por lo tanto, Aprobe matematicas
1.10. CIRCUITOS BOOLEANOS (L

OGICOS)
Un circuito electrico es un ensamblaje de interruptores automaticos que permiten el
paso de la corriente electrica, o la interrumpen.
Se puede representar un interruptor mediante una proposicion p, y viceversa, de modo
que se identique el valor VERDADERO de la proposicion p con el PASO DE LA
CORRIENTE, en cuyo caso se dice que el circuito esta cerrado; y es el valor FALSO
con la INTERRUPCI

ON DE LA CORRIENTE, en este ultimo caso se dice que el

circuito esta abierto
35
p
p
circuito cerrado
circuito abierto
(pasa corriente: V) (no pasa corriente: F)
Si en un complejo de interruptores aparecen tanto p como p, entonces:Cuando por el
interruptor p esta pasando corriente, por el interruptor p estara interrumpido el paso;
y cuando por p se encuentre interrumpido el paso de la corriente, por p estara circu-
lando la corriente.
10.1 NOTA Cuando este pasando la corriente denotaremos esta situacion con el valor
V o sino tambien con el n umero 1. Y cuando no este circulando denotaremos esta
situacion con el valor F (Falso) o sino con el n umero 0. Es precisamente en base a estos
dos valores 0 y 1 en que se fundamenta la teora del funcionamiento de las calculadoras
Electronicas y Computadoras.
1 V (verdadero) : 0 F (falso)
10.2 CIRCUITOS EN SERIE Son aquellos provistos de dos interruptores p y q,
conectados en SERIE:
p
q
: NO PASA CORRIENTE
de modo que en todo el circuito pasara la corriente solamente en el caso en que ambos
p y q se encuentren cerrados (ambos con el valor 1), como sigue:
p
q
: PASA CORRIENTE
Pero precisamente esta situacion corresponde a la tabla de verdad de la CONJUNCI

ON
p q:
36
p q p q
V V V
V F F
F V F
F F F
Aqu vemos que basta que uno de estos interruptores este abierto (0) para que no circule
la corriente en todo el circuito:
p
q
p=1
q=0
A la expresion p q se le llama la FUNCI

ON BOOLEANA del CIRCUITO EN SERIE

10.3 CIRCUITOS EN PARALELO Son aquellos provistos de dos interruptores p
y q, conectados en PARALELO:
p
: PASA CORRIENTE
q
Para que circule corriente por este circuito es suciente que alguno de los interruptores
p o q este cerrado (1); y solamente dejara de circular la corriente si ambos interruptores
estan abiertos (ambos con el valor: 0)
As, este circuito corresponde precisamente a la tabla de verdad de la DISYUNCI

ON
p q
p q p q
V V V
V F V
F V V
F F F
37
A la expresion (p q) se le denomina la FUNCI

ON BOOLEANA del CIRCUITO EN

PARALELO
p
: NO PASA CORRIENTE
q
10.4 SIMBOLOG

IA De aqu en adelante representaremos a un interruptor p simple-

mente como:
p
EJEMPLOS
p
p
p
p
q
q
q
q
^
:
:
v
10.5 NOTA Una TAUTOLOG

IA se representa por un circuito siempre cerrado (en

el que la corriente siempre esta circulando). En las computadoras no son de utilidad,
evidentemente.
10.6 PROBLEMA Representar mediante Funciones Booleanas los circuitos:
p
p
q
q
~p
~p
(a)
(b)
~q
r
Rpts: (a) p (q p), (b) (p q) [( p) r] q
38
10.7 PROBLEMA Construir el circuito logico de las Funciones Booleanas siguientes:
(a) p q, (b) (p q)
SOLUCI

ON
(a) p q ( p q) (paralelo)
q
~p
(b) p q (p q) [( p) ( q)] (p q) (q p)
q
q
~p
~p
p
p ~q
~q

10.8 PROBLEMA Simplicar el siguiente circuito

q
q
~p
~p
p
p
~q
SOLUCI

ON: La funcion booleana del circuito dado es:

[p q ( p) ( q)] [( p) q] p
[p ( p) q (p q q)] [( p) q] p
[V V ] [( p) (q p)] V [F (q p)]
F (p q) p q
El circuito simplicado equiva-
lente resulta:
p q
39
10.9 PROBLEMA Dada la funcion booleana : (p q) (q p), a cual de los
siguientes circuitos corresponde?
~p
p
p
q
q
~p
p
~q
(a)
(b)
(c)
SOLUCI

ON : Como se sabe que: p q q p (conmutativa), entonces

(p q) (p q) [ (p q)] (p q)
V p ( p)
Por lo tanto, la funcion booleana dada corresponde al circuito (a).
10.10 PROBLEMA En el congreso, una comision compuesta de tres personas desea
emplear un circuito electrico para registrar votaciones mayoritarias, simples y secretas.
Construir un circuito que controle tales votaciones con solo 5 interruptores, de modo
que cada miembro de la comision pueda: accionar (cerrar) el interruptor a el asignado
para decir S

Icon su voto, o no accionar (mantenerlo abierto) su interruptor asignado

para decir NOcon su voto, y que se encienda una se nal si la mayora de los miembros
vota armativamente (No se admiten abstenciones)
SOLUCI

ON : Denotemos: p, q, r los interruptores correspondientes a cada uno de los

miembros de la comision, respectivamente.
El valor que tomara cada uno de estos interruptores sera:
1 , si el voto corresponde al S

I
0 , si el voto corresponde al NO
El circuito va ser dise nado de modo que encienda una se nal (con valor: 1) si la mayora
(dos o tres) de los miembros vota por el S

I, y debe estar apagado en cualquier otro caso

(con el valor: 0)
40
As, el funcionamiento de tal circuito estara gobernado por la siguiente tabla de combi-
naciones de votos de los tres miembros:
N

UMERO DE MIEMBROS
p q r QUE VOTAN: S

I CIRCUITO (se nal )

1 1 1 3 1 *
1 1 0 2 1 *
1 0 1 2 1 *
1 0 0 1 0
0 1 1 2 1 *
0 1 0 1 0
0 0 1 1 0
0 0 0 0 0
De la tabla construimos la Funci on Booleana del circuito buscado:
[p q r] [p q ( r)] [p ( q) r] [( p) q r]
(y simplicando:) (p q) [(p q) r] (p q) [(p q) r].
Las dos ultimas expresiones corresponden a dos circuitos equivalentes, CADA UNO CON
5 INTERRUPTORES, y con la propiedad requerida, los cuales son:
p
p
p
p
q
q
q
q
r
r

10.11 PROBLEMA Si el costo de cada llave en la instalacion mostrada es de S/.

10.00, en cuanto se reducira el costo de esta instalacion si se reemplaza este circuito
por un equivalente mas simple?
41
q
q
q
p
p
p
~r
r
SOLUCI

ON La Funci on Booleana del circuito es:

[(p q) p q] [r p p(( r) q)]
(p q) [p (r q)] (p q): p q
Este circuito reducido y equivalente permite ahorrar 6 de las 8 llaves, lo que corresponde
a un ahorro de S/. 60.00.
As el costo total de la instalacion sera tan solo S/. 20.00 (dos llaves).
SERIE DE EJERCICIOS PROPUESTOS
Simplicar los siguientes circuitos, (1), (2), (3)
1.
p
p
q
q
~p
~p
~q
~r
2.
p
q
q
~q
r
r
r
42
3.
p
p
p
q
q
~q ~q
~q
~p
~p
4. A cual, o cuales, de los siguientes circuitos le corresponde la proposicion: [p
(q r)]?
p
p
p q
q
q
q
p
r
r
r
r
(a)
(b)
(c)
(d)
5. A cual o cuales circuitos siguientes equivale
[(r q) p] r q?
p
p q
q
q
q
p
r
r
(a)
(b)
(c)
(d)
~p
~r
6. El circuito a cual de las siguientes proposiciones le corresponde?
43
p
p
q
~q
~q
~p
(a) p q
(c) p q
(b) (p q)
(d) p ( q)
7. Si la tabla de verdad de cierta proposicion es como la del esquema adjunto, a
cual(es) de los siguientes circuitos le corresponde?
p q ?
V V F
V F V
F V V
F F V
(a)
p
~q
~q
~p
(b)
p ~q
~q
~p
(c)
p
~q
~p
p
q
8. Hallar el circuito logico mas simple que represente a:
44
r
s
~r
~r
r
~s
~s
p
9. Hallar el circuito logico mas simple correspondiente a:
( p) [p q]
10. Dado el siguiente circuito traducirlo al lenguaje logico formal y transformarlo en
un circuito equivalente mas simple:
p
p
q
q
s
s
r
t
~s
p
~q
~q
11. Halla el circuito logico mas simple para la siguiente Funcion Booleana:
[(p q] (p r) (r q p)
12. Simplicar el siguiente circuito Logico:
p
p
~p
~p
p q
q
q
q
q
q
~p
~q ~q
~q
45
13. Sea M la proposicion mas simplicada del circuito
r
~r
~r
r
~q
~p
p
p
p
q
q
q
q
~q
~q
~q
y sea N la proposicion mas simplicada del circuito correspondiente a:
[(p s) (p s)] [(p q) (p r)]
construir el circuito Logico mas simplicado que corresponde a la proposicion
N M
14. Sea A la proposicion logica mas simple del circuito
~p
p
~p
~p
q
q
~q
p
y B la proposicion logica mas simple de la proposicion: (p q) (p q) donde
[(p q) F] es equivalente a. (p q). Hallar el valor de verdad de la proposicion
A B
46
Captulo 2
CONJUNTOS
2.1. CONJUNTOS
Se entiende por CONJUNTO a una coleccion, agrupacion o reunion de objetos llamados
ELEMENTOS, y que puede ser determinado ya sea:
a) POR EXTENSI

ON : Cuando sus elementos estan indicados explcitamente,

b) POR COMPRENSI

ON : Cuando existe una propiedad o condicion que es com un

a todos sus elementos, de tal manera que al considerar cualquier objeto existente
dentro de un contexto de estudio, se pueda establecer sin ambig uedad si es o no
elemento de tal coleccion.
1.1 NOTACI

ON Para representar a los conjuntos se utilizan letras may usculas A, B,

. . . , y para representar a sus elementos se usan letras min usculas a, b, x, . . . , entre un
par de llaves.
1.2 EJEMPLO Sea A el conjunto formado por los n umeros positivos impares menores
que 11, entonces se puede representar al conjunto A:
a) POR EXTENSI

ON: A = 1, 3, 5, 7, 9
b) POR COMPRENSI

ON:
A = x/x es un n umero entero impar positivo menor que 11
o sino tambien
47
A = x/x es un n umero entero impar positivo menor que 11
y se lee A es el conjunto de los x TALES QUE x es un n umero entero impar
positivo menor que 11.
1.3 NOTACI

ON Si un objeto x es elemento de un conjunto A se die que x pertenece

al conjunto A, o tambien que x esta en el conjunto A y se denota por
x A
En caso de no pertenecer x al conjunto A, se denota x / A. En el conjunto A del
ejemplo 1.2, 7 A, pero 4 / A.
Es importante saber que un conjunto tambien puede ser un elemento de alg un otro
conjunto; por ejemplo, si
A = 0 , B = 0, 1, 5
entonces 0 A , A B, 0 / B
2.2. CONJUNTOS NUM

ERICOS, INTERVALOS
En Matematicas los siguientes conjuntos de n umeros con caractersticos:
N = los n umeros naturales = 1, 2, 3, . . .
Z = los n umeros enteros = . . . , 2, 1, 0 ,1 , 2, . . .
Q = los racionales = x/ x =
m
n
, m y n enteros , n ,= 0
I = los irracionales = x/ x tiene representacion decimal innita no periodica
R = los n umeros reales = x/ x es racional o x es irracional
C = los n umeros complejos = x/ x = a + bi, a y b R (donde i =

1)
Z
+
= los enteros positivos = 1 , 2, 3, . . .
Z

= los enteros negativos = . . . , 3, 2, 1

48
Z
+
0
= x/ x = 0 o x Z
+
= 0, 1 , 2, 3, . . .
Analogamente se tienen los conjuntos
Q
+
, R
+
, Q

, R

, Q
+
0
, R
+
0
, Q
+
0
, etc.
2.1 INTERVALOS
Son conjuntos de n umeros denidos mediante la relacion de orden en el campo de los
n umeros, reales, y son de varios tipos.
A) INTERVALOS CERRADOS
[a, b] = x R/a x b
en el cual estan incluidos los extremos x = a y x = b
B) INTERVALOS ABIERTOS
< a, b >= x R/a < x < b
en el cual no se excluyen los extremos x = a ni x = b.
C) INTERVALOS SEMIABIERTOS
[a, b) = x R/a x < b
a, b] = x R/a < x b
[ a , b ]
< a , b ]
[ a , b >
< a , b >
a
a
a
a
b
b
b
b
IR
IR
IR
IR

oo
o
oo
o o
o o
o o
o
oo
oo
49
D) RAYOS
a, ) = x R/x > a
[a, ) = x R/x a
que se representan por
[ a , >
< a , >
a
a
IR
IR

o
o
oo
oo
o
o o
o
oo
y los RAYOS
, b) = x R/x < b
, b] = x R/x b
[ , b >
< , b >
IR
IR

o
o
o
o
o
o
o
o o
o
oo
b
b
2.2 OBSERVACI

ON R = , ) = los n umeros reales

2.3 NOTA
[a, a] = a
2.3. CUANTIFICADOR EXISTENCIAL Y CUAN-
TIFICADOR UNIVERSAL
Aqu denimos dos nuevas proposiciones relacionadas con ciertas expresiones p(x) lla-
madas FUNCIONES PROPOSICIONALES que se convierten en proposiciones logicas
50
cuando la variable x toma alg un valor particular.
3.1 EJEMPLOS DE FUNCIONES PROPOSICIONALES
La expresion p(x): x + 1 = 2 no es una proposicion logica en el sentido que no se le
puede asignar un valor de VERDADERO o de FALSO, a menos que se le de un valor
particular a la variable x:
- Si x = 1, p(1) = 1 + 1 = 2 es VERDADERO
- Si x = 5, p(5) = 5 + 1 = 2 es FALSO
Dada la funcion proposicional q(x): x es un estudiante universitario, si tu amigo lector
reemplazas x por tu nombre entonces q(x) se convierte en una proposicion logica.
3.2 CUANTIFICADOR EXISTENCIAL Y CUANTIFICADOR UNIVER-
SAL
Dado el conjunto A = 1, 2, 3, . . . = N, y las Funciones Proposicionales
p(x) : x es un n umero natural par
q(x) : x es un n umero negativo
r(x) : x es un m ultiplo de 3
se tiene la siguiente proposicion
EXISTE (por lo menos) un elemento x A TAL QUE p(x) es cierto
2
simbolizada
por: x A/ p(x)
o si no tambien por: x A: p(x)
resulta VERDADERA, pues tal x A puede ser x = 4.
Explcitamente, la proposicion anterior se interpreta como
EXISTE (por lo menos) un elemento del conjunto A, TAL QUE dicho elemento es un
n umero natural par
En cambio, para la condicion q(x) dada, la proposicion
EXISTE un elemento x A, TAL QUE q(x) es cierta, y simbolizada por x A/
51
q(x), resulta FALSA, pues ning un elemento x de A cumple con la condicion q(x): la de
ser un n umero negativo.
Ahora, para otro conjunto B = 3, 6, 9, . . ., la proposicion denida por
PARA TODO x B, se cumple la condicion r(x)
y simbolizada por: x B, r(x), resulta verdadera, pues se puede vericar que todo
elemento del conjunto B es m ultiplo de 3.
Sin embargo, para la condicion p(x), la proposicion
PARA TODO x B, se cumple la condicion p(x)
y simbolizada por: x B, p(x), resulta FALSA, pues no es cierto que todo elemento
de B sea par, ya que existe elementos en B, como el n umero 3 que no es par (ademas
de 9, 15, 21, etc, por supuesto).
A estos smbolos y se les llama CUANTIFICADOR UNIVERSAL y CUANTIFI-
CADOR EXISTENCIAL, respectivamente.
3.3 NEGACI

ON DE PROPOSICIONES CON CUANTIFICADORES

Negar el hecho que exista alg un elemento x de A tal que p(x) se cumpla, equivale a
armar que ning un elemento x de A satisface la condicion p(x); es decir que
PARA TODO x A, la condicion p(x) no se cumple
[x A/p(x)] x A, p(x)
Analogamente se tiene
[x A, p(x)] x A/ p(x)]
3.4 EJEMPLO Indicar el valor de las proposiciones para el conjunto Z
+
= 1, 2, 3,
. . . y negarlas:
a) = x Z
+
, x
2
6x + 5 = 0
52
b) = x Z
+
/ x
2
6x + 5 = 0
SOLUCI

ON Como la ecuacion dada x

2
6x+5 = (x1)(x5) = 0 tiene solamente
dos soluciones x = 1 y x = 5, ambas en Z
+
, entonces
(a) es FALSA, pues para que sea verdadera, la ecuacion dada debera cumplirse para
todos lo enteros positivos de Z
+
, pero eso no es cierto ya que solo se cumple para x = 1
y x = 5.
(b) es VERDADERA, pues existen hasta dos soluciones x = 1 y x = 5 en Z
+
, y solo
hubiese bastado con una de las soluciones.
Las negaciones correspondiente son:
- para (a): (x Z
+
, x
2
6x + 5 = 0)
x Z
+
/ (x
2
6x + 5 = 0)
x Z
+
/x
2
6x + 5 ,= 0)
La cual es verdadera, pues se cumple por ejemplo para x = 2 Z
+
- para (b): (x Z
+
/x
2
6x + 5 = 0)
x Z
+
, (x
2
6x + 5 = 0)
x Z
+
, x
2
6x + 5 ,= 0)
la cual es FALSA, pues para x = 1, x
2
6x + 5 se hace cero
3.5 PROBLEMA Simplicar y negar la siguiente proposicion compuesta:Todos los
n umeros enteros son impares y existen n umeros reales irracionales, si existe alg un entero
par; si y solo si, hay alg un n umero real irracional o cualquier n umero entero impar, si
es que cada n umero real es racional
SOLUCI

ON Sean
p : x Z, x es impar
q : x R, x es irracional; entonces
p : x Z / x es par; q: x R, x es racional;
53
as, la proposicion dada se puede simbolizar como
[(p q) p] [(q p) q] y simplicando
[p (p q)] (q p) p p (p q)
[p (p q)] [(p q)]
[ p (p q)] [ (p q) p] V [( p q) p] p ( q)
La negacion correspondiente es por lo tanto: ( p) q cuya traduccion es:Existen
n umeros enteros pares y existen n umeros reales irracionales.
3.6 PROBLEMA Sea A = 1, 2, 3. Determinar el valor de verdad de cada una de
las proposiciones siguientes e indicar sus negaciones:
a) x A , y A , x
2
+ 3y < 12
b) x A , y A / x
2
+ 3y < 12
c) x A / y A , x
2
+ 3y < 12
d) x A / y A / x
2
+ 3y < 12
SOLUCI

ON Estableciendo que: (x
2
+ 3y < 12) x
2
+ 3y 12
(a) es FALSA, pues para x = 2 A, y = 3 A, no se cumple que x
2
+ 3y < 12 (*)
(b) es FALSA, pues para x = 3 A no existe ning un y A que haga cumplir (*):
x
2
+ 3y < 12
(c) es VERDADERA, tal x A puede ser x = 1 y solamente este valor.
(d) es VERDADERA, tales x A, y A pueden ser:
(x = 1 , y = 1) (x = 1 , y = 2) (x = 1 , y = 3) (x = 2 , y = 1) (x = 2 ,
y = 2). Bastaba con una pareja
Las negaciones correspondiente son, para
(a) : x A / ( y A, x
2
+ 3y < 12)
x A / y A / x
2
+ 3y 12
54
(b) : x A / y A , x
2
+ 3y 12
(c) : x A , y A / x
2
+ 3y 12
(d) : x A , y A , x
2
+ 3y 12
3.7 NOTACI

ON El smbolo ! es ledo comoEXISTE UN

UNICO. . . .
Por ejemplo, la proposicion
EXISTE UN

UNICO entero x tal que 3 < x
3
+2 < 12.
es
simbolizada por: !x Z/3 <
x
3
+ 2 < 12.
Note que esta proposicion es VERDADERA, pues si bien es cierto que la inecuacion es
satisfecha por muchos n umeros reales, solamente uno de ellos es UN ENTERO, a saber
x = 2
3.8 EJERCICIO Sean A = 2, 3, 8, B = 1, 2, 7, cuales son verdaderas?
I) x A / y B, x + y 9;
II) x
1
, x
2
y
1
, y
2
B / 2(x
1
+ x
2
) = y
1
+ y
2
;
III) x A , y B , x + 2y < 23
RPTA: todas
3.9 EJERCICIO Dado el universo U = 1, 2, 3, 4, 5, 6, 7, 8, 9, cuales de las siguientes
proposiciones son verdaderas?
a) x, y z / x
2
+ y
2
< z
2
b) , x / y, x
2
+ 1 < 3y
2
;
c) x y, z / 2z > x + y
RPTA: a)FALSA (para x = 9 no se cumple); b)FALSA (tal x si existe: x = 1);
c)FALSA (para x = 9 y = 9) no existe ning un z U tal que 2z > 18.
55
3.10 EJERCICIO Negar las siguientes proposiciones:
a) Si el profesor no esta presente, entonces algunos estudiante no completaran su
tarea.
b) Algunos estudiantes no completaron su tarea o el profesor esta ausente.
c) El profesor esta presente y todos los estudiantes completaran su tarea.
SOLUCI

ON
a) El profesor esta ausente y todos los estudiantes completaron su tarea.
b) Todos los estudiantes completaron su tarea y el profesor esta presente.
c) El profesor no esta presente o algunos estudiantes completaran su tarea.
En la siguiente seccion continuaremos con el estudio formal de los CONJUNTOS y con-
sideraremos a ciertos conjuntos denominados SUBCONJUNTOS.
SERIE DE EJERCICIOS PROPUESTOS
1. Negar las siguientes proposiciones para el conjunto Z de n umeros enteros:
a) x Z , x + 1 > x
b) x Z / x
2
+ 1 = 0
c) x Z / x
2
= x
d) x Z / x
2
1 > 0
2. Determinar el valor de verdad de cada una de las proposiciones dadas en el Ejercicio
anterior
3. Negar las siguientes proposiciones
a) x A , y A / [p(x, y) q(y)]
b) x A / y B / p(x) q(y)
56
c) x C / y B , p(x) [ q(y)]
4. Demostrar que:
[ x A, p(x) q(x)] x A/p(x) q(x)
5. Negar cada una de las siguientes proposiciones:
a) x A , y B / z C , p(x, y, z)
b) x A / y B / [p(x) q(x, y)]
c) [ y A / p(y)] x A , [q(x) r(x)]
d) Todos los americanos estan locos.
e) Hay al menos una persona que es feliz todo el tiempo.
f) Todos los hombres son honestos o alg un hombre es un ladron.
g) Si el n umero x es menor que 12, entonces hay un n umero real y tal que
x
2
+ y
2
144 es positivo.
6. Demostrar que la armacion: Para todo entero positivo n, n
2
n + 41 es un
n umero primo.
es
FALSA, con un contraejemplo.
7. Indicar la verdad o falsedad de:
a) x R, y R , (x)(y) = xy xy > 0
b) x R / (1)x = 0
c) a R ,
x
2
x
= x
8. Dado M = 1, 2, 3, 4, 5 , cuales son verdaderas?
a) x M / x + 3 10
b) x M , y M / x + y 7
c) x M , x + 3 8
d) x M , x + 3 > 6
57
9. Dadas las proposiciones
a) [ x N / x + 2 = 5] [ x N , x
2
> x]
b) [ a Z , a < 0] [ x Z / x = x]
c) x R /

x R
Cuales son los valores de verdad de sus negaciones de sus negaciones, en ese
orden?
10. cuales de las siguientes proposiciones corresponde a la negacion de : Para todo
entero r, existe un entero a tal que si ar es par, entonces (a + 1)r es par

:
a) r Z / a Z , ar y (a + 1)r son impares
b) r Z / a Z , ar es impar y (a + 1)r es par
c) r Z / a Z , ar es par y (a + 1)r es impar
d) r Z / a Z , ar es impar y (a + 1)r es par.
58