UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

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) x2 < 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:
p1, p2, p3, ..., pn
q1, q2, q3, ..., qn
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 F1 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

q : 2 + 3 < 10 3

V(p) = F
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 simplesEjemplo:
1) Carlos estudia Derecho o Contabilidad.
2) Si maana el cielo est nublado, entonces llover.

Pgina 1 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

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
Conjuncin
Disyuncin
Implicacin
Bicondicional, equivalencia,
doble implicacin

Expresin
Y
O
si ... entonces
... si y slo si ...

Negacin
Contradiccin

no
... no equivalente

Smbolo Lgico

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

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

V V
V F
F V
F F
Ejemplo:
Juan habla ingls
p

pq
V
V
V
F
o
V

Juan habla francs

q

Maritza estudi italiano en un instituto

p
c)

quiz en Italia

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

V V
V F
F V
F F

Pgina 2 de 167

pq
V
F
F
F

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Ejemplo:
Determinar el valor de verdad de la proposicin
2 + 3 + 5 = 11 y 4 + 8 > 5 + 6
Si: p: 2 + 3 + 5 = 11
q: 4 + 8 > 5 + 6

V(p) = F
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

pq

V V
V F
F V
F F

V
F
V
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

Ejemplo: Determinar el valor de verdad de la proposicin:

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

V(p) = F
V(q) = F

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

pqF
pV

qFqV

( p q) q
(F F) F
FF
F

Pgina 3 de 167

rsF
r V
rF

rF

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

(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

V V
V F
F V
F F

pq
V
F
F
V

Ejemplo:
Jack comprar una casa si y slo si obtiene un prstamo del banco.
pq
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:

pq

V V
V F
F V
F F

F
V
V
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

[(p q)

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
F
F
V
V
V
V

V
F
F
F
V
F
V
V

(q r)]
V
F
V
V
V
F
V
V

V
V
V
V
V
V
V
V

(p r)
V
F
V
F
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).

Pgina 4 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Ejemplo: Hallar la tabla de valor de verdad de la proposicin:
[ p ( q r) ] [ ( p r) ] q ]
p

[ p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
F
V
V
V

( q r) ]
F
V
V
V
F
V
V
V

[( p r)] q ]

F
V
V
F
F
F
V
V

V
F
V
F
V
V
V
V

F
V
V
F
F
F
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)
b)
c)

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

Solucin:
a)

b)

c)

{ [p (qp)]

V
V
F
F

V
F
V
F

V
F
V
F

[(p q )

V
V
F
F

V
F
V
F

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
F
V

V
F
V
V

Pgina 5 de 167

V
V
V
F

V
V
V
F

[ (pq)

(qp) ]

F
V
F
V

F
V
F
F

V
F
V
V

F
V
V
F

q] p
F
F
F
V

[p (qr)]
F
F
F
F
V
V
V
F

V
V
V
F
V
V
V
F

V
V
V
V

F
F
V
V
V
F
F
V

[ (p r)
V
V
V
V
V
F
V
F

q ]
V
V
F
F
V
F
F
F

F
F
V
F

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

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 qp

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 )
b) p ( q r ) ( p q )
c) p ( q r ) ( p q
d) p ( q r ) ( p q

(
(
)
)

pr)
pr)
(pr)
(pr)

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
a)
b)
c)
d)

de la Absorcin:
p(pq) p
p(pq) pq
p(pq) p
p ( p q ) p q

10. Leyes de Transposicin:

a) (p q ) q p
b)
pq qp
11. Leyes de Exportacin:
a) ( p q ) r p ( q r )
b) ( p1 p2 p3 ..... pn ) r ( p1, p2, ..... pn - 1 ) (pn 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

Pgina 6 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

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

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

(p q)
-------------

S, prende el foco
Cerrado

Cerrado
F
F

V
Cerrado

No se prende
Abierto
F

F
Abierto

No se prende

Cerrado
F

F
Abierto

Pgina 7 de 167

F
Abierto

No se prende

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Si los interruptores se conectan en paralelo se obtiene un circuito que funciona mediante la tabla de
valores de p q.
p: Interruptores
q: Interruptores
Conectados en paralelo

p
q
p

pq
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

Pgina 8 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

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 / x2 + 4 < 12 es una proposicin verdadera porqu? cmo se lee?

x A, x2 + 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, / x2 + 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.
2.
3.

4.

Si n, n N, n + 2 < 8 su negacin es:

n, n N, ( n + 2 ) < 8
Existe un x N, tal que x es nmero primo su negacin es:
Para todo x N, x no es primo.
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)
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

Pgina 9 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Ejercicios

1.
a)
b)
c)
d)
e)
f)
g)

Si 4 + 3 = 7, entonces 6 + 4 = 10
La UJCM est en Moquegua o Tacna
No es verdad que 3 + 3 = 7, si y slo si 8 + 2 = 15
No es verdad que: 2 + 2 = 5 o que 2 + 2 = 4
4 + 8 = 12 y 9 4 = 5
La UJCM est en Tacna
3+4=7y31=1
2.

a)
b)
c)
d)
e)

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

(
(
(
(
(
(
(

V)
V)
F)
F)
V)
F)
F)

Determinar si es una tautologa, contradiccin o contingencia:

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

p(qr)][(pr)q]
p(rq)]
( p q ) r ] [ r ( p q ) ]
p(qr)][(pr)~q]

[
[
[
[

Solucin:
a)

El esquema molecular es igual a:

[p(q p)]

b)

[ p

V
V
F
F

V
F
V
F

V
V
F
F

[(p q)(q p)]

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

V
V
V
F

V
V
V
F

V
F
V
F

F
V
V
F

V
F
V
V

[ ( p

F
F
V
V
V
F
F
V

V
V
V
V
V
F
V
F

Es una CONTINGENCIA
[p(qr)][(pr)q]
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

[ p

(qr) ]

F
F
F
F
V
V
V
V

F
F
F
F
V
V
V
F

V
V
V
F
V
V
V
F

p
V
V
V
V
F
F
F
F

V
F
V
V
V
V
V
V

CONTINGENCIA
c)

F
F
V
F

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

CONTINGENCIA

Pgina 10 de 167

(rq) ]
V
F
V
V
V
F
V
V

r)q]
V
V
F
F
V
F
F
F

V
V
F
F
V
V
F
F

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

d)

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

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

e)

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

V
V
V
V
F
V
V
V

F
V
F
V
F
V
F
V

F
F
F
F
F
F
F
F

(pq)]

V
F
V
F
V
F
V
F

F
F
F
F
V
F
F
F

F
F
F
F
V
V
F
F

CONTRADICCIN

[p(qr)][(pr)q]
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

V
F
V
V
V
V
V
V

(qr) ]
V
F
V
V
V
F
V
V

V
V
V
V
V
V
V
V

[ ( p r )
F
V
F
V
F
F
F
F

V
F
V
V
V
V
V
V

~q]
F
F
V
V
F
F
V
V

TAUTOLOGA
3.

a)
b)
c)

El valor de verdad de: (p q) ( r s) es falso, determinar el valor de verdad de

los esquemas moleculares:

( p q) q
(rq)[(qr)s]
(pq)[(pq)q]
Solucin:
(p q) ( r s) F
rsF
pqF
pV
qV

rF
sF

a)

( p q) q
(FF) F
F F
F

b)

(rq)[(qr)s]
(VV)[(FF)F]
V(FF)
V F
F

c)

(pq)[(pq)q]
(VV)[(VV)F]
V (V F)
V F
F

Pgina 11 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

4.

Simplificar las proposiciones siguientes aplicando las leyes lgicas:

[ (pq)q]q
[ (pq) q ]q
[(p q) q ]q
[(pq) q ]q
q
5.

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

equivalente a p # q.
(p#q)(pq)(pq)
(p#q)(pq) (pq)
(p#q)[(pq) p] [(pq) q]
( p # q ) ( p q ) ( q p ]
(p#q) ( qp)
(p#q) [ (pq)

(pq)
(qp)]

(p#q) [ pq)]
6.

Demostrar que son equivalentes:

[pq ] (pq)
[(pq)(p q)]
(pq) (p q)
(p q) (p q)
(qp) (pq)
(qp)
(pq)
7.

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

Solucin:
[(pq)(pq)](pq)
[ p(q q)](pq)
[pV](pq)
p(pq)
pq
8.

a)
b)
c)

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:
r(pq)
[r(pq)](qp)
(rp)(qp)
Solucin:
Del ejercicio tenemos que q F, adems:
(rq)(rp)F
V

Por lo tanto:
rqV

rpF

r=V

r=V

Pgina 12 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

a)

q=F
r(pq)
V(VV)
VV
V

p=F

b)

[r(pq)](qp)
[V(FF)](F V)
(VF)F
FF
V

c)

(rp)(qp)
(VV)(FF)
VF
F
9. Dado: [ ( p q ) (q r ) ] ( p r ) F

a)
b)
c)

Encontrar el valor
[p (q r)]
(p q r)
[p (p r)]

de verdad de:
p
(pr)
(pq)

Solucin:
Dado que:
[ ( p q ) (q r ) ] ( p r ) F
V
Por lo tanto:
[ ( p q ) (q ~ r ) ] V
V
pq
p=V
q=V

qr
r=F

a)

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

b)

(p q r) (pr)
(V V F) (VF)
F V
F

c)

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

p
V
V
V

(pq)
(VV)
V
V

10. Simplificar a su mnima expresin:

{[(pq)(pq)]}
Solucin:

(pq)(pq)
(pq)(pq)
(pq) pq

p q

Pgina 13 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

11. Simplificar la siguiente expresin lgica:

[(p q)(pq)] [p(pqr)]

Solucin:

[(p q)(pq)] [p(pqr)]

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)
(p q)
(p q)
p
De las dos tenemos:

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

F(pq)
pq
13. Dado:
p*q { [ ( p q ) p ] q } p
Simplificar:
[(pr)*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:
[ (pr)*q] * (pq)
(pr)*(pq)

pr
14. Dado: p @ q { p [ p ( q t r ) ] } p
Simplificar: [ ( p q ) @ ( q p ) ] @ ( p q )
Solucin:
p@q {p [p(qtr)]}p
p@q p

Pgina 14 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Luego la expresin simplificada ser:
[(pq)@(qp)] @ (pq)
(pq)@(pq)
pq
pq
15. Se define: p # q { p ( p q ) } p
Simplificar: ( p # p ) # q
Solucin:
p#q{p (pq)} p
p#q{[p(pq)] [p(pq)]}p
p#q{(F)] (p q) }p
p#q(p q) }p
p#q p q
Reemplazando tenemos:
(p#p)#q
(p p)q
Vq
V (Tautologa)
16. Si:
p

p*q

V
V
F
F

V
F
V
F

F
V
F
F

Simplificar:

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

Solucin:
Analizando la tabla tenemos que:
p*q pq
Reemplazando tenemos:
[(p*q) (p*q)]p
[(pq) (pq)]p
[(pq) (pq)]p
[(pq) pq ]p
(pq) p

pq
pq
17. Si:
p
V
V
F
F

q
V
F
V
F

Simplificar:

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

p*q
F
F
F
V

Solucin:
De la tabla tenemos:

Pgina 15 de 167

p#q
F
V
V
V

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

p*q (pq) pq
p#q (pq) pq
Reemplazando tenemos:
[(p*q)#p] (q# p)
[(pq)#p] (qp)
[(pq)q] (qp)
[(pq)q] (qp)
(pq) (pq)
pq
18. Si:
p

p*q

V
V
F
F

V
F
V
F

F
F
V
F

Hallar p # q en:
p#q [{(pq)*(qp)}(p*q)]
Solucin:
De la tabla tenemos que:
p*q pq
Reemplazando tenemos:
p#q [{(pq)(qp)}(pq)]
p#q [{(pq)( qp)}(pq)]
p#q [(pq) (pq)]
p#q (pq) (pq)
p#q (pq) (p q)
p#q [(pq) p] [(pq) q]
p#q (pq) (p q)
19. Simplificar el siguiente circuito:
p q
p

p
q

q
Solucin:

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

Pgina 16 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

20. Simplificar el circuito:

P

Solucin:
{ ( p q ) [ ( r q ) (q r) ] } [ ( r q ) ( r q ) ]
[(p q)[(rq)r]}[(rq)(rq)]
[(p q) V}[(rq)(rq)]
(p q)( rq)(r q)
p q (qr)(r q)
p q (q r)
p (q r)
pqr
p
q
r

21. Simplificar el circuito:

p

Solucin:
(pqr)(pqr) (pqr)
[(p r)q][(pr) q](pqr)
[(p r)(q q] (pqr)
(p r)[r(pq)
r [p (pq)
r (pq)
p
r

Pgina 17 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

22. Hallar x tal que:

p
p

p
x
Sea equivalente a p.
Solucin:
( p q ) { p [ ( pq ) p ( pq ) p ( ( pq ) x ) ) ] } p
(pq){p [ pp[(pq)x]]} p
(pq) p [(pq) x] p
p[(pq)x] p
[pq](p x) p
p(q x) p
x p
23. Representar grficamente las siguientes expresiones:
a)

p q

pq

q
b)

(pq)r
p
r
q

c)

[pq(pq)] [(pq)p]

p
q

Pgina 18 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

24. Determinar la menor expresin que representa al circuito:

p
q

q
p

p[p(q(pq))]q
p[q ( p q ) ]q
p[qp]q
pq
(pq)
25. Simplificar y hallar el equivalente a los circuitos dados.
a)

r
s

r
r
s
p
r

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

b)
p

p
q

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

Pgina 19 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

c)

p
q

[(pq)pq][(pq)(pq)p] p
[(qp)q][ p(pq)p] p
[ p q] p
(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.
[(pq)(pr)(pp)](qr)
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 ]

Pgina 20 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Problemas Propuestos
1.

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

I.
II.
III.
IV.
V.

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

a) VFFFF
2.

b) VVFFF

b) VFFV

d) VVVF

e) VVVV

c) (p q ) q

b) p q
e) (p q ) p

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

b) p ( q ) r
e) ( p q ) r

c) p q ( r )

La proposicin [ p q p q ] ( p q ) equivale a:
a) p q
d) p q

6.

c) VFFF

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

5.

e) VFFVF

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

a) VFVF

4.

d) VVFVV

Indicar el valor de verdad de:

I.
II.
III.
IV.

3.

c) VVFVF

b) p q
e) p q

c) p q

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

Pgina 21 de 167

c) FV

d) FF

e) Faltan datos en (b)

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

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

8.

b) VFV

c) VFF

d) FVV

e) FVF

p(x): x2 = 16
q(x): x - 4 = 8
r(x): x2 - 4 > 5

Si

Hallar el valor de verdad de:

[ ( p(1) p(3) ( r(2) p(3) ) ] [ ( p(2) q(2) ) ]
[ ( p(2) q(12) ] r(4)
[ p(4) r (5) ] q(4)

I.
II.
III.

a) VFV
9.

b) VFF

c) VVF

d) VVV

e) FVV

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 x2 < 0
p(r) + p(s) = 21
Hallar el valor de:
a) 1/3

m/n

b) 1/7

n/m
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 / x2 < y + 1
II. x, y / x2 + y2 < 12
III. x, y / x2 + y2 < 12
IV. x, y / x2 + y2 < 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 / 2x2 + x = 5
r: x / x2 - 10 < 8
a) VV

b) VF

Pgina 22 de 167

c) FV

d) FF

e) N.A.

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

13. Si p y q son verdaderos, para qu valores de r, el esquema siguiente es verdadero?
( r p ) ( q r )
a) V
d) No se puede determinar
14. Si definimos: p * q
verdaderas?
I.
II.
III.
IV.

b) F
e) Faltan datos

c) V o F

( p q ) cul o cules de las siguientes afirmaciones son

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

a) Solo I y II
d) Solo IV

b) Solo II
e) Solo III

c) Ninguna

15. Cules de las siguientes proposiciones son verdaderas?

I.
II.
III.

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

a) Solo I y II
d) Solo I

b) Solo II y III
e) N.A.

c) Todas

16. Determinar la menor expresin que representa al circuito.

a)

Rpta.: p

b)

q
p

p
q
c)

Rpta.: p q

Rpta.: p q

d)

p
p
e)

q
Rpta.: (pq)

q
r
s

r
s
p
r

Pgina 23 de 167

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

f)

Rpta.: s (p r)
p
q

p
p

p
q

g)

g)

q
p

Rpta.: q p

q
Rpta. : p q

p
q

p
q

Rpta. : p q

CLAVE DE RESPUESTAS:
1
a

2
d

3
c

4
a

5
b

Pgina 24 de 167

6
c

7
d

8
a

9
e

10
e

11
e

12
b

13
c

14
c

15
c