UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 1 de 167
Capitulo I - Lgica Matemtica

Todos los tpicos relativos a las matemticas se razonan desde el punto de vista lgico y por lo tanto
hay que tener muy en cuenta el enunciado de las proposiciones matemticas y su consecuente validez.

Nota: Validez significa que una proposicin es verdadera o es falsa, pero nunca debe ocurrir que sea
verdadero o falso a la vez.

Enunciado: Se llama enunciado a toda frase u oracin. Algunos enunciados son mandatos o
interrogaciones o son expresiones de emocin. Otros en cambio son afirmaciones o negaciones que
tienen la caracterstica de ser verdadera o falsa.

Ejemplos:
a) Qu estudia en la Universidad?
b) Prohibido hacer bulla.
c) Dos ms tres, es igual a cinco.
d) 5 > 8
e) x
2
< 4y

Proposicin: Llamamos proposicin a todo enunciado que tiene la cualidad de ser verdadero (V) o de
ser falso (F), pero nunca puede ser V y F a la vez.

Notacin: Denotaremos a las proposiciones con letras minsculas: p, q, r, s, t. Si son muchas
proposiciones entonces usaremos subndices, tales como:
p
1
, p
2
, p
3
, ..., p
n

q
1
, q
2
, q
3
, ..., q
n

Ejemplos:
p : dos ms tres, es igual a cinco
q : cinco es diferente de cero
t = cuatro y diez son mltiples de diez
u = 2 es menor que 3 y 3 es mltiplo de 5

Si una proposicin p es verdadera se dice que su validez o valor de verdad es v, se escribe V
(p)
= V o se
lee valor de verdad de p es igual a V.
Si una proposicin p es falsa se dice que su validez o valor de verdad es F
1
se escribe V
(p)
= F y se lee
valor de verdad de p es igual a F.

Ejemplo:
Proposicin Valor de Verdad

p : Csar Vallejo naci en Pars V
(p)
= F
q : 2 + 3 < 10 3 V
(q)
= V

Enunciados Abiertos:

Son expresiones que no tienen la propiedad de ser verdadero o falso, es decir, no son proposiciones. As,
el enunciado x + 2 > 5 no se le puede atribuir el valor (V) o el valor de (F), a menos que reemplacemos
la x por un nmero mayor que 3 en cuyo caso el enunciado se convierte en una proposicin verdadera, o
si el reemplazo se hace un nmero menor que 3, la proposicin resulta falsa:

Ejemplo:
1) x + y + z = 6
2) x es mltiplo de 4

Proposiciones Simples y Compuestas:

Las proposiciones simples: Llamadas tambin proposiciones atmicas o elementales, son aquellos
enunciados que tienen un solo sujeto y un solo predicado.

Ejemplo:
1) Carlos Marx naci en Alemania.
2) La silla es de madera.

Las proposiciones compuestas: Llamadas tambin proposiciones moleculares o coligativas, son
aquellas que estn constituidas por dos o ms proposiciones simples-

Ejemplo:
1) Carlos estudia Derecho o Contabilidad.
2) Si maana el cielo est nublado, entonces llover.

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 2 de 167
Propiedad Fundamental de las Proposiciones Compuestas:

La verdad de la proposicin compuesta depende de la verdad de cada una de las proposiciones
componentes, sin que en esta dependencia de verdades tenga que ver la naturaleza, la significacin o la estructura
de la propiedad, a las proposiciones compuestas se les llama tambin funciones veritativas.

Conectivos Lgicos:

Son expresiones que sirven para unir dos o ms proposiciones, entre los ms importantes conectivos
lgicos tenemos:
La conjuncin, disyuncin, implicacin, bicondicional, negacin, contradiccin, esto mostraremos en el
siguiente cuadro.


Nombre Expresin Smbolo Lgico
Conjuncin Y

Disyuncin O

Implicacin si ... entonces

Bicondicional, equivalencia,
doble implicacin
... si y slo si ...


Negacin no

Contradiccin ... no equivalente


Proposiciones Compuestas Lgicas:

a) Negacin: Dada una proposicin P, llamaremos la negacin de p, a otra proposicin que
denotaremos por p, y que se le asigna el valor opuesto a p, y su tabla de verdad es:

p p
V F
F V

Ejemplo:
1. La tiza es blanca.
Su negacin es: no es cierto que la tiza es blanca.
2. Dada la proposicin p = 5 x 7 = 35
Su negacin: no es cierto que 5 x 7 = 35

b) La Disyuncin Inclusiva: Dadas dos proposiciones p y q, la disyuncin inclusiva o dbil, es una
proposicin coligativa que resulta de unir las proposiciones p y q con el conectivo o, el cual se
denota por el smbolo , se escribe p q y se lee p o q. La tabla de verdad para la disyuncin
es:

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

Ejemplo:
Juan habla ingls o Juan habla francs

p V q

Maritza estudi italiano en un instituto o quiz en Italia

p V q

c) Conjuncin: La conjuncin de dos proposiciones p y q es la proposicin compuesta que resulta de
unir p y q mediante el conectivo y que se simboliza p y q, donde el principio lgico es la
conjuncin p q es verdadero V, solo cuando p es verdadero y q es verdadero V, en todos los
dems casos es falso. Su tabla de verdad es:

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

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 3 de 167


Ejemplo:

Determinar el valor de verdad de la proposicin
2 + 3 + 5 = 11 y 4 + 8 > 5 + 6

Si: p: 2 + 3 + 5 = 11 V
(p)
= F
q: 4 + 8 > 5 + 6 V
(q)
= V

V (p q) = F

Nota: Hay palabras como pero, sin embargo, adems, aunque, no obstante, a la vez, etc.
tambin une proposiciones conjuntivamente.

d) La Condicional: Dadas las proposiciones p y q, se denomina proposicin condicional a la que
resulta de unir p y q por el conectivo si ... entonces ... , que se denota por el smbolo , se
escribe p q y se lee si p, entonces q, donde el principio lgico es la proposicin implicativa es
falso nicamente en el caso que la proposicin p es verdadera y la proposicin q es falsa, siendo
verdadera en todos los dems casos. Su tabla de verdad es:


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

A la proposicin p se denomina antecedente y la proposicin q consecuente.

Ejemplo:

Si Patricia consigue visa de turista, entonces viajar a Japn

p q

Ejemplo: Determinar el valor de verdad de la proposicin:

Si los monos son humanos entonces la tierra es plana

p = los monos son humanos V
(p)
= F
q = la tierra es plana V
(q)
= F
V (p q) = V

Ejemplo: Simbolizar:

1B es mltiplo de 2 puesto que es un N par si:
p = 18 es mltiplo de 2
q = 18 es nmero par
Quedara: q p


Ejemplo: De la falsedad de la proposicin: (p q) ( r s)

Determinar el valor de verdad de los esquemas moleculares.

a. ( p q) q
b. (p q) [(p q) q]
Solucin:

(p q) [( r s] F

F F

p q F r s F
p V r V r F
q F q V r F

( p q) q
(F F) F
F F
F
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 4 de 167

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

e) La Bicondicional: La doble implicacin o bicondicional de dos proposiciones p y q es la proposicin
compuesta mediante el conectivo lgico si y slo si y se simboliza p q son verdaderos V o son
falsos F, en otros casos es falso F. Su tabla de verdad es:

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

Ejemplo:
Jack comprar una casa si y slo si obtiene un prstamo del banco.
p q

f) La Disyuncin Exclusiva: La disyuncin exclusiva de dos proposiciones p y q es la proposicin
compuesta mediante conectivo lgico o y se simboliza p q, donde ambas proposiciones p y q
tengan valores de verdad opuestos y es falsa si ambas tienen idnticos valores. Su tabla de verdad
es:



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

Ejemplo: O Elvia es contadora o es administradora.
p q


Proposiciones Compuestas:

Mediante los conectivos lgicos se pueden combinar cualquier nmero finito de proposiciones cuyos
valores de verdad pueden ser conocidos, construyendo su tabla de verdad, en dicha tabla se puede
indicar los valores resultantes de estas proposiciones compuestas para todas las combinaciones posibles
de valores de verdad de proposiciones compuestas.

Ejemplo: La tabla de verdad de la proposicin compuesta de:

[ (p q) (q r) ] (p r)

p q r [ ( p q ) ( q r ) ] ( p r )
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V


Jerarqua de los Conectivos Lgicos:

Si se tiene una proposicin compuesta con varios conectivos lgicos, para realizar las operaciones
primeramente se debe colocar los parntesis adecuadamente empezando con las proposiciones que se
encuentran dentro de los parntesis anteriores, luego siguen todas las negaciones y se avanza de
izquierda a derecha (los corchetes son considerados como parntesis).



UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 5 de 167
Ejemplo: Hallar la tabla de valor de verdad de la proposicin:

[ p ( q r) ] [ ( p r) ] q ]

p q r [ p ( q r) ] [( p r)] q ]
V V V V F F V F
V V F V V V F V
V F V V V V V V
V F F V V F F F
F V V F F F V F
F V F V V F V F
F F V V V V V V
F F F V V V V V


Tautologas, Contradicciones y Contingencias:

a) Tautologas: Son proposiciones compuestas que siempre son verdaderos cualquiera que sea el
valor de las proposiciones componentes.

b) Contradicciones: Son proposiciones compuestas que siempre son falsas cualquiera que sea el
valor de las proposiciones compuestas.

c) Contingencia: Son proposiciones compuestas que no son ni tautologas ni contradicciones, es
decir, son proposiciones que en algunos casos es F y en otros V.

Ejemplos: Determinar si son tautologa, contradicciones o contingencias.

a) { [ p ( q p) ] [ ( p q ) (q p) ]
b) [ ( p q ) q ] p
c) [ p ( q r ) ] [ (p r ) q ]


Solucin:

a) p q { [p (qp)] [ (pq) (qp) ]

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


b) p q [ ( p q ) q] p
V V V F V
V F F F V
F V V F V
F F V V V


c) p q r [ p ( q r ) ] [ ( p r ) q ]
V V V F V F V V
V V F F V F V V
V F V F V V V F
V F F F F V V F
F V V V V V V V
F V F V V F F F
F F V V V F V F
F F F F F V F F

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 6 de 167
Equivalencias Notables:

1. Ley de Doble Negacin:
a) ( p ) p

2. Ley de Idempotencia:
a) p p p
b) p p p

3. Leyes Conmunitativas:
a) ( p q ) ( q p )
b) ( p q ) ( q p )
c) p q q p

4. Leyes Asociativas:
a) p ( q r ) ( p q ) r
b) p ( q r ) ( p q ) r
c) p ( q r ) ( p q ) r

5. Leyes Distributivas:
a) p ( q r ) ( p q ) ( p r )
b) p ( q r ) ( p q ) ( p r )
c) p ( q r ) ( p q ) ( p r )
d) p ( q r ) ( p q ) ( p r )

6. Leyes de Morgan:
a) ( p q ) p q
b) ( p q ) p q

7. Leyes del Condicional:
a) p q p q
b) ( p q ) p q

8. Las Leyes del Bicondicional:
a) ( p q ) ( p q ) ( q p )
b) ( p q ) ( p q ) ( p q )

9. Ley de la Absorcin:
a) p ( p q ) p
b) p ( p q ) p q
c) p ( p q ) p
d) p ( p q ) p q

10. Leyes de Transposicin:
a) (p q ) q p
b) p q q p
11. Leyes de Exportacin:
a) ( p q ) r p ( q r )
b) ( p
1
p
2
p
3
..... p
n
) r ( p
1
, p
2
, ..... p
n - 1
) (p
n
r )

12. Elementos Neutros para la Conjuncin y Disyuncin:
a) p V p
b) p F p

13. Tambin:
a) ( p q ) ( p q ) p
b) ( p q ) ( p q ) p


UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 7 de 167
Circuitos Lgicos:

Los circuitos lgicos se relacionan con el circuito elctrico.
Se identifica la verdad de la proposicin con el paso de corriente y la falsedad de la proposicin con la
interrupcin de la corriente.


Cuando pasa la corriente: (p)



Cuando no pasa la corriente: (p)



En lgica: si p representa el paso de corriente p, representa el no paso de corriente.

Si:

p q

p interruptor
q interruptor, conectados en SERIE

Para que el foco se prenda (de Luz) p y q deben dejar pasar la corriente es decir los dos interruptores
deben estar cerrados, hasta que uno de los interruptores est abierto, entonces, no pasa corriente, por
lo tanto el foco no se prenda. Este circuito corresponde a la tabla de valores de p q.

Analizamos la tabla (p q) de valores de p q.

p q (p q)

V V ------------- V



S, prende el foco

Cerrado Cerrado

F
F
V No se prende

Cerrado Abierto

F

F V No se prende

Abierto Cerrado

F

F F No se prende

Abierto Abierto


UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 8 de 167
Si los interruptores se conectan en paralelo se obtiene un circuito que funciona mediante la tabla de
valores de p q.

p: Interruptores
p q: Interruptores
Conectados en paralelo
q

p q p q

V

V V

Cerrado S, el foco se prende

Pasa corriente
Cerrado

V
V F

Cerrado S, el foco se prende

Pasa corriente
Abierto
V
F V

Abierto S, el foco se prende

Pasa corriente
Cerrado

F
F F

Abierto No, el foco no se prende

No pasa
Abierto


UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 9 de 167
Cuantificadores:

a) Cuantificador Universal:
Ejemplo:
Enunciado abierto: p(x) = x + 3 mltiplo de 2
Para todo x + 3; es un nmero mltiplo de 2
En smbolo x + 3; es un nmero mltiplo de 2

Como observas, delante del enunciado abierto hemos escrito (Para todo), entonces el enunciado
abierto con el smbolo se convierte en proposicin. se le denomina cuantificador universal.

b) Cuantificador Existencial:
Ejemplo:
Enunciado abierto: p(x) = x + 3 mltiplo de 2
Existe por lo menos un nmero x + 3 que es mltiplo de 2
Existe un nmero x + 3 que es mltiplo de 2
En smbolo x + 3 que es mltiplo de 2

Como observas, delante del enunciado abierto hemos escrito (existe) (Existe por lo menos),
entonces el enunciado abierto con el smbolo se convierte en proposicin. se le denomina
cuantificador existencial.
Ejercicios:

1. Para el conjunto A = { 1; 2; 3; 4; 5 } tenemos:
x A, 2x + 3 < 15 y se lee: Cada x A
Cumple 2x + 3 < 15 todo elemento x A
Cumple 2x + 3 < 15; y es una proposicin verdadera porqu?
x A / x
2
+ 4 < 12 es una proposicin verdadera porqu? cmo se lee?
x A, x
2
+ 4 < 12 es una proposicin falsa porqu?
La proposicin Todo x de A cumple:
3x + 1 < 5x 2 denotamos:
x A, 3x + 1 < 5x 2 es una proposicin falsa porqu?

2. Si A = { 1; 2; 3; 4; 5 } proposicin:
x A / 3x + 4 = 14, es una proposicin falsa porqu?
x A, / x
2
+ 4 < 12, es verdadera porqu?
x A / 2x + 1 < 10, es verdadera porqu?

c) Negacin de Proposiciones con Cuantificadores Universales:

Ejemplos:

1. La negacin de: x N, 2x + 3 = 7, es; x N / 2x + 3 = 7
que es verdadera, pues x = 2 cumple la propiedad

2. Si A = { 1; 2; 3; 4; 5; 6; 7; 8; 9 }, tenemos:
x A, x es primo, su negacin es:
x A / x no es primo, es una proposicin verdadera, pues para x = 8 x = 6 que estn en A
se cumple la propiedad.

Entonces:
La negacin de x A, p(x) es x A / p(x)

d) Negacin de Proposiciones con Cuantificador Existencial:

Ejemplos:

1. Si n, n N, n + 2 < 8 su negacin es:
n, n N, ( n + 2 ) < 8
2. Existe un x N, tal que x es nmero primo su negacin es:
Para todo x N, x no es primo.
3. Sea A = { 1; 2; 3 }
Si tenemos la proposicin: x A; x + 5 = 8
Su negacin es x A; no es cierto que x + 5 = 8
Entonces:
La negacin de x A, p (x), es: x A, p(x)
4. Existe una ciudad del Per que es la Capital; su negacin es:
Todas las ciudades del Per no son la capital del Per.
ciudad Capital del Per, su negacin es,
ciudad del Per, no es la capital del Per
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 10 de 167
Ej erci ci os




1. Determinar el valor de verdad de cada una de las siguientes proposiciones:

a) Si 4 + 3 = 7, entonces 6 + 4 = 10 ( V )
b) La UJCM est en Moquegua o Tacna ( V )
c) No es verdad que 3 + 3 = 7, si y slo si 8 + 2 = 15 ( F )
d) No es verdad que: 2 + 2 = 5 o que 2 + 2 = 4 ( F )
e) 4 + 8 = 12 y 9 4 = 5 ( V )
f) La UJCM est en Tacna ( F )
g) 3 + 4 = 7 y 3 1 = 1 ( F )

2. Determinar si es una tautologa, contradiccin o contingencia:

a) { [ p ( q p ) ] [ ( p q ) ( q p ) ] }
b) [ p ( q r ) ] [ ( p r ) q ]
c) [ p ( r q ) ]
d) [ ( p q ) r ] [ r ( p q ) ]
e) [ p ( q r ) ] [ ( p r ) ~ q ]

Solucin:

a) El esquema molecular es igual a:

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


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

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



Es una CONTINGENCIA
b) [ p ( q r ) ] [ ( p r ) q ]

p q r [ p ( q r ) ] [ ( p r ) q ]
V V V F F V F V V V
V V F F F V F V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F


CONTINGENCIA

c) [ p ( r q ) ]
p q r [ p ( r q ) ]
V V V V V V
V V F V F F
V F V V V V
V F F V V V
F V V F V V
F V F F V F
F F V F V V
F F F F V V


CONTINGENCIA
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 11 de 167


d) [ ( p q ) r ] [ r ( p q ) ]

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

CONTRADICCIN


e) [ p ( q r ) ] [ ( p r ) q ]

p q r [ p ( q r ) ] [ ( p r ) ~ q ]
V V V V V V V F V F
V V F V F F V V F F
V F V V V V V F V V
V F F V V V V V V V
F V V F V V V F V F
F V F F V F V F V F
F F V F V V V F V V
F F F F V V V F V V


TAUTOLOGA

3. El valor de verdad de: (p q) ( r s) es falso, determinar el valor de verdad de
los esquemas moleculares:

a) ( p q) q
b) ( r q ) [ ( q r ) s ]
c) ( p q ) [ ( p q ) q ]
Solucin:

(p q) ( r s) F
p q F r s F

p V r F
q V s F

a) ( p q) q
( F F ) F
F F
F

b) ( r q ) [ ( q r ) s ]
( V V ) [ ( F F ) F ]
V ( F F )
V F
F

c) ( p q ) [ ( p q ) q ]
( V V ) [ ( V V ) F ]
V ( V F )
V F
F
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 12 de 167

4. Simplificar las proposiciones siguientes aplicando las leyes lgicas:

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

5. Si definimos # como ( p # q ) ( p q ) ( p q ). Hallar una expresin
equivalente a p # q.

( p # q ) ( p q ) ( p q )
( p # q ) ( p q ) ( p q )
( p # q ) [ ( p q ) p ] [ ( p q ) q ]
( p # q ) ( p q ) ( q p ]
( p # q ) ( q p ) ( p q )
( p # q ) [ ( p q ) ( q p ) ]
( p # q ) [ p q ) ]

6. Demostrar que son equivalentes:

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

7. Simplificar: [ ( p q ) ( p q ) ] ( p q )

Solucin:

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

8. Dadas las proposiciones:

q: 7 es un nmero racional
p y r cualquier proposicin, adems se sabe que:
[ ( r q ) ( r p ) ] es verdadera.
Hallar el valor de verdad de:
a) r ( p q )
b) [ r ( p q ) ] ( q p )
c) ( r p ) ( q p )
Solucin:

Del ejercicio tenemos que q F, adems:

( r q ) ( r p ) F

V F

Por lo tanto:

r q V r p F

r = V r = V
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 13 de 167
q = F p = F
a) r ( p q )
V ( V V )
V V
V

b) [ r ( p q ) ] ( q p )
[ V ( F F ) ] ( F V )
( V F ) F
F F
V

c) ( r p ) ( q p )
( V V ) ( F F )
V F
F
9. Dado: [ ( p q ) (q r ) ] ( p r ) F

Encontrar el valor de verdad de:
a) [ p ( q r ) ] p
b) ( p q r ) ( p r )
c) [ p ( p r ) ] ( p q )

Solucin:

Dado que:
[ ( p q ) (q r ) ] ( p r ) F

V F
Por lo tanto:
[ ( p q ) (q ~ r ) ] V

V V

p q V q r V
p = V r = F
q = V

a) [ p ( q r ) ] p
[ V ( V F ) ] V
[ V F ] V
F V
V

b) ( p q r ) ( p r )
( V V F ) ( V F )
F V
F

c) [ p ( p r ) ] ( p q )
[ V ( V F ) ] ( V V )
( V F ) V
F V
F

10. Simplificar a su mnima expresin:

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

Solucin:
( p q ) ( p q )
( p q ) ( p q )
( p q ) p q
p q
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 14 de 167
11. Simplificar la siguiente expresin lgica:

[ ( p q ) ( p q ) ] [ p ( p q r ) ]

Solucin:

[ ( p q ) ( p q ) ] [ p ( p q r ) ]
V ( p )
V (Tautologa)

12. Simplificar la proposicin:

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


Solucin:

Desarrollando la primera llave:

[ p (q r) ] [ p (q r) ]
[ p (q r) ] [ p ( q r ) ]
[ p (q r) ] [ p ( q r ) ]
[ p (q r) ] [ p ( q r ) ]
F

En la segunda llave tenemos:

(p q) [ r (r q) p ]
(p q) [ ( r q ) p ]
(p q) [ ( p q ) r ]
p q
De las dos tenemos:

F ( p q )
p q

13. Dado:
p*q { [ ( p q ) p ] q } p

Simplificar:
[ ( p r ) * q ] * ( p q )

Solucin:
p*q { [ ( p q ) q } p
p*q { [ ( p q ) p ] q } p
p*q { p q } p
p*q p

Reemplazando tenemos:

[ ( p r ) * q ] * ( p q )
( p r ) * ( p q )
p r

14. Dado: p @ q { p [ p ( q t r ) ] } p

Simplificar: [ ( p q ) @ ( q p ) ] @ ( p q )

Solucin:
p @ q { p [ p ( q t r ) ] } p
p @ q p

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 15 de 167
Luego la expresin simplificada ser:

[ ( p q ) @ ( q p ) ] @ ( p q )
( p q ) @ ( p q )
p q
p q

15. Se define: p # q { p ( p q ) } p
Simplificar: ( p # p ) # q

Solucin:
p # q { p ( p q ) } p
p # q { [ p ( p q ) ] [ p ( p q ) ] } p
p # q { ( F ) ] ( p q ) } p
p # q ( p q ) } p
p # q p q
Reemplazando tenemos:
( p # p ) # q
( p p ) q
V q
V (Tautologa)

16. Si:

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

Simplificar: [ ( p * q ) ( p * q ) ] p

Solucin:

Analizando la tabla tenemos que:

p * q p q

Reemplazando tenemos:

[ ( p * q ) ( p * q ) ] p
[ ( p q ) ( p q ) ] p
[ ( p q ) ( p q ) ] p
[ ( p q ) p q ] p
( p q ) p
p q
p q

17. Si:
p q p * q p # q
V V F F
V F F V
F V F V
F F V V


Simplificar: [ ( p * q ) # p ] ( q # p )

Solucin:

De la tabla tenemos:
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 16 de 167
p * q ( p q ) p q
p # q ( p q ) p q
Reemplazando tenemos:

[ ( p * q ) # p ] ( q # p )
[ ( p q ) # p ] ( q p )
[ ( p q ) q ] ( q p )
[ ( p q ) q ] ( q p )
( p q ) ( p q )
p q

18. Si:

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



Hallar p # q en:

p # q [ { ( p q ) * ( q p ) } ( p * q ) ]

Solucin:

De la tabla tenemos que:

p * q p q

Reemplazando tenemos:

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

19. Simplificar el siguiente circuito:
p q p

p r
q
q p

Solucin:

[ ( p q ) (p q) ] { p [ q ( r p ) ] }
[ (p q ) ] [ ( p q ) ( p ( r p ) ) ]
V [ ( p q ) V
V ( p q )
p q

p

q

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 17 de 167

20. Simplificar el circuito:

P r q


q q


r
r q


r q
Solucin:

{ ( p q ) [ ( r q ) (q r) ] } [ ( r q ) ( r q ) ]
[ ( p q ) [ ( r q ) r ] } [ ( r q ) ( r q ) ]
[ ( p q ) V } [ ( r q ) ( r q ) ]
( p q ) ( r q ) ( r q )
p q ( q r ) ( r q )
p q ( q r )
p ( q r )
p q r

p

q

r


21. Simplificar el circuito:

p q r

q q r

p q r

Solucin:
( p q r ) ( p q r ) ( p q r )
[ ( p r ) q ] [ ( p r ) q ] ( p q r )
[ ( p r ) ( q q ] ( p q r )
( p r ) [ r ( p q )

r [ p ( p q )
r ( p q )

p

r

q

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 18 de 167

22. Hallar x tal que:


p q



p q


p
p q


p
p q

p

x

Sea equivalente a p.

Solucin:

( p q ) { p [ ( pq ) p ( pq ) p ( ( pq ) x ) ) ] } p
( p q ) { p [ p p [ ( p q ) x ] ] } p
( p q ) p [ ( p q ) x ] p
p [ ( p q ) x ] p
[ p q ] ( p x ) p
p ( q x ) p
x p

23. Representar grficamente las siguientes expresiones:

a) p q p q

p



q


b) ( p q ) r

p

r

q

c) [ p q ( p q ) ] [ ( p q ) p ]

p p

q p

p q q


UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 19 de 167

24. Determinar la menor expresin que representa al circuito:

p


p q

q


p q

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


25. Simplificar y hallar el equivalente a los circuitos dados.

a) r


s

r
r


s

p

r
r
{ [ ( r s ) ( r s ) ] s } [ r ( p r ) ]
{ [ ( r s ) s ] [ ( r s ) s ) ] } ( r p )
[ ( r s ) s ] ( r p )
s ( r p )

s


p r

b)
p q


q p p


p q q


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

p


q


UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 20 de 167



c) p q p q

p
p p p


q p


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

p q

26. Simbolizar:
Si Juan participa en un comit electoral de la universidad entonces los estudiantes se enojarn con
l, y si no participa en un comit electoral de la universidad entonces las autoridades universitarias
se enojarn con l. Pero Juan participar en un comit electoral de la universidad o no participar.
Por lo tanto, los estudiantes o las autoridades universitarias se enojarn con l.

Solucin:
p = Juan participar en un comit electoral.
q = Los estudiantes se enojarn con Juan.
r = Las autoridades universitarias se enojarn con Juan.

[ ( p q ) ( p r ) ( p p ) ] ( q r )

27. Si Anita deca la verdad, entonces Scrates corrompa a la juventud y si el tribunal lo
orden equivocadamente, entonces Anita no es la culpable. Pero, Scrates no
corrompa a la juventud o Anita es la culpable. Por lo tanto Anita no deca la verdad o
el tribunal no conden a Scrates equivocadamente.

Solucin:
p = Anita deca la verdad.
q = Scrates corrompa a la juventud.
r = El tribunal conden equivocadamente a Scrates.
s = Anita es culpable.

[ ( p q ) ( r s ) ( q s ) ] [ p r ]
UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 21 de 167


Problemas Propuestos

1. Determinar el valor de verdad de cada una de las siguientes proposiciones:

I. Si 3 + 2 = 7 entonces 4 + 4 = 8.
II. No es verdad que 2 + 2 = 5, si y slo si 4 + 4 = 0.
III. Pars est en Inglaterra o Londres est en Francia.
IV. No es verdad que, 1 + 1 = 3 2 + 1 = 3.
V. Es falso que: si Pars est en Inglaterra, entonces Londres est en Francia.

a) VFFFF b) VVFFF c) VVFVF d) VVFVV e) VFFVF

2. Indicar el valor de verdad de:

I. p ( p q )
II. ( p q ) ( p q)
III. ( p q ) p
IV. [ ( p q ) p ]

a) VFVF b) VFFV c) VFFF d) VVVF e) VVVV

3. La proposicin: [ p ( p q ) ] [ q ( p q )
es equivalente a:

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

4. La proposicin: p { [ q ( q r ) ] p ] es equivalente a:

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

5. La proposicin [ p q p q ] ( p q ) equivale a:

a) p q b) p q c) p q
d) p q e) p q

6. a) Si ( p q ) ( r s) es falso, deducir el valor de:
( p q ) p
b) Si p q es verdadera, q es falso, deducir el valor de verdad de:
[ ( p q ) r ] s

a) VV b) VF c) FV d) FF e) Faltan datos en (b)

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 22 de 167
7. Si la proposicin: ( r s) [ ( p s ) ( p q ) ] es falsa, entonces el valor de verdad
de las proposiciones:

I. ( p q ) r
II. q ( p s)
III. [ p r ] s

a) VVV b) VFV c) VFF d) FVV e) FVF

8. Si p(x): x
2
= 16
q(x): x - 4 = 8
r(x): x
2
- 4 > 5

Hallar el valor de verdad de:

I. [ ( p(1) p(3) ( r(2) p(3) ) ] [ ( p(2) q(2) ) ]
II. [ ( p(2) q(12) ] r(4)
III. [ p(4) r (5) ] q(4)

a) VFV b) VFF c) VVF d) VVV e) FVV

9. Sean m y n nmeros reales, definimos:

3m + 1, si x es una proposicin verdadera
n
p (x) =
3n 1, si ex es una proposicin falsa
m
Si:
r: 4 < 2 - 1 = 0
s: -1 < 0 x
2
< 0

p(r) + p(s) = 21

Hallar el valor de: m/n + n/m

a) 1/3 b) 1/7 c) 0 d) 11 e) 3

10. Sea U = { x R / 5 < x < 100 } el universo. Halle el valor de verdad de:

I. x, y, z / x + y > z
II. x, y, z / 2x y < -z
III. x, y, z / 2x - y < 5z

a) FVF b) FFF c) VVV d) VVF e) VFV

11. Sea U = { 1, 2, 3 } el conjunto universal. Hallar el valor de verdad de:

I. x, y / x
2
< y + 1
II. x, y / x
2
+ y
2
< 12

III. x, y / x
2
+ y
2
< 12
IV. x, y / x
2
+ y
2
< 12

a) VFVF b) VVFF c) VVVF d) VVVV e) VVFV

12. Sea U = { 1, 2, 3, 4 } el conjunto universal. Hallar el valor de verdad de:

A = [ ( q r ) ( p r) ] ( p q )
B = [ p { q ( q r ) } r ]

Se sabe que:
p: x / x + 3 < 6
q: x / 2x
2
+ x = 5
r: x / x
2
- 10 < 8

a) VV b) VF c) FV d) FF e) N.A.

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 23 de 167
13. Si p y q son verdaderos, para qu valores de r, el esquema siguiente es verdadero?

( r p ) ( q r )

a) V b) F c) V o F
d) No se puede determinar e) Faltan datos

14. Si definimos: p * q ( p q ) cul o cules de las siguientes afirmaciones son
verdaderas?

I. p * q p
II. p (p * p) * (q * q)
III. p * (p * p) [ q p ]
IV. (p q) p * (q * q)

a) Solo I y II b) Solo II c) Ninguna
d) Solo IV e) Solo III

15. Cules de las siguientes proposiciones son verdaderas?

I. [ ( q p ) q ] p
II. [ p (r q) ] [ (p r) (p q) ]
III. [ (p q) q ] q

a) Solo I y II b) Solo II y III c) Todas
d) Solo I e) N.A.

16. Determinar la menor expresin que representa al circuito.

a) p
p
q

q p Rpta.: p

b) p q

p
p
q Rpta.: p q

c) p q

p q p

q Rpta.: p q


d) p

p q q

p q Rpta.: (pq)


e) r

s
s
r

s

p
r
r

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Pgi na 24 de 167
Rpta.: s (p r)
f) p q p q
p
p p q

q p
Rpta.: q p




g) p q

q p p

p q q

q p Rpta. : p q



g) p q

p
q p
q

q p Rpta. : p q


CLAVE DE RESPUESTAS:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
a d c a b c d a e e e b c c c