PROBLEMAS PROUESTOS N 01

1seale cada proposicin atmica con una (A) y cada proposicin con
una (M); expresar en su lenguaje formalizado e indicar el conectivo
lgico denominarte.
A):la calcantita es un sulfato de cobre hidratado generalmente se
encuentra en forma de estalagmitas y no estalagtitas.
Solucin:
P: la calcantita e un sulfato de cobre hidratado
Lenguaje formalizado:

La proposicin es atomica
B): La marmatita es un sulfato zinc. Y la calcantita un sulfuro de
cobre.
Solucin:
P: la marmatita s un sulfato de zinc
q: la calcantita es un sulfuro de cobre
lenguaje formalizado: =

pq

la proposicin es molecular

C): la media aritmtica, la moda y la mediana son estadgrafos de

posesin entonces la desviacin media, la varianza y la desviacin
estndar son estadgrafos de dispersin.
Solucin:
P: la media aritmtica, la moda y la mediana son estadgrafos.
q: la disbiacion media , la varianza y la disviacion estndar son
estadgrafos de dispersion.
Lenguaje formalizado: = p

la proposicin es molecular

D): si 2 pertenece a los nmeros naturales entonces 2 pertenece a los

nmeros enteros positivos cada ves que 2 no este afectado del signo
negativo.
Solucin:
p: si 2 pertenece a los nmeros naturales.
q: 2 pertenece a los nmeros enteros posetivos.

Lenguaje formalizado: =
proposicin es molecular

(p q) (p

q)

la

E): si se contamina el agua del rio Sicra entonces no abra truchas su

precio en el mercado se incrementara.
Solucin:
P: si se contamina el agua del rio sicra.
Q:no abra truchas
R: precio en el mercado se encrementa.
Lenguaje formalizado:= (p
molecular

q ) r

la proposicin es

F): A la ves no ocurre que si en Huancavelica es un departamento

deprimido entonces lima no ha sido desabastecido de agua en estas
temporada de lluvias azotan la cierra central o los accidentes no
suceden con frecuencia.
Solucin:
P: Huancavelica es departamento depremido
Q: lima ha sido abasticido de agua
R: en estas temporada la lluvia azota a la cierra central
S: los accidentes no suceden con frecuencia.
Lenguaje formalizado: = ( p
molecular

q) ( r v s )

proposicin

2 con las siguientes proposiciones, construir proposiciones

moleculares de acuerdo al lenguaje formalizado:
P: la chalcantita es un sulfato de cobre hidratado
q: la melanterita es un sulfato de fierro hidratado
r: el cuarzo es el oxido de silicio
s: el oro pimente es el sulfuro arsnico
construir:
A) (p q) (p v r)
Solucin:
(p q) (p v r)

La chalcantita es un sulfato de cobre hidratado y la melanterita es un

sulfato de fierro hidratado entonces la chalcantita es un sulfato de
cobre hidratado o el cuarzo es el oxido de silicio.
B) [(p q s) (r s)]
Solucin:
[(p q s) (r s)]
La chalcantita es un sulfato de cobre hidratado y melanterita
es un sulfato de fierro hidratado y el oro pimente es el sulfuro
arsnico entonces el cuarzo es el oxido de silicio y el oro
pimente es el sulfuro arsnico.
C) [(p v r ) s )] v (p q)
Solucin
[(p v r ) s )] v (p q
la chalcantita es un sulfato de cobre hidratado o el cuarzo es el oxido
de silicio y el oro pimente es el sulfuro arsnico o la chalcantita es un
sulfato de cobre hidratado entonces la melanterita es un sulfato de
fierro hidratado.
D) [(p s) v (s p)] v [(r v s)]
Solucin
[(p s) v (s p)] v [(r v s)]

E) (p r) [(q v r) s]
3evaluar mediante tabla de verdad, las siguientes formulas
proposicionales:
A): {[( p v

q ) p] v [( p

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

B): {[(p q) ( q r)] [( p q) s]} [q (s p)]

C): {[ ( p v

q) p]v[( p

D): {[( p v r) p] v [( p

q)
q)

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

r] }

[(p v r) ( r p) r]

4indicar si las siguientes proposiciones son tautologa contradiccin

o contingencia.
A): [( p q ) p] q

SOLUCION:
): [( p q ) p] q

B): [ ( p q ) q] p
C) :[( p q

)(

q r )] ( p q )

D ):[( p q ) ( q r )] ( p r )
E): [

p ( p q )] q

F):[( p v q ) (
G):[

q )]

q ( p q)]

H ):[( p q ) ( r s ) ( p v r )] ( q v s)
I :{
J):

[( p q ) ( r s ) (
{ [( p v q )

p]

{[( p q ) ( p

L):

{( p

LL):[( p v q )

s )]

p v

r)

q}

K):

p)

q v

q )]

p}

q}

( q v r )] [

r )]

5 de la falsedad de:
[(p q) p](s v r)
Evaluar:
A)
B)
C)
D)
E)
F)
G)
H)
I)
J)

:{[( p q ) ( p v q )]} {( p r ) s}
:[( p q ) ( p v q )] [( p v r ) s ]
: [( p v q ) ( p r )] ( s s)
:[( p q ) v ( p p )] [( r s ) v s ]
:[( p v q ) q ] ( p s)
:( P q ) ( p v q )] s
:[ p ( q r )] [( p s) ( p r )]
:[( p q ) ( r v s ] v [ ( p r )]
:[ p ( q r )] v [( p q ) ( r v s )]
:[( p q ) v ( p s )] r

6 cual de las siguientes afirmaciones son verdaderas:

A)
B)
C)
D)
E)

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

7simplificar:
A) :[( p q ) ( p v q )] v [( p q ) ( p v q )]
B) :[( p q ) p ] v [( p q ) q ] v [( p q) q ] [( p
p)p]
8aciendo el uso de las leyes del algebra proposicional simplificar
A) : {[( p q ) ( r s ) ( p v r )] ( q v s )}
B) :[ ( p q ) ( r s ) ( q v s )] ( p r )}
9construir los siguientes circuitos lgicos:
A) :[( p v s )(

r v

s )

s ] v [ r ( p v

r )

s]

-r
- s

p
r

-s
-r

B) :{[( p v

r ) ( q v

p )] v [( s

q ) ( p

p )]} ( s v

q )

- r

-p

o
o
C) :[(

s
-q
p
p v q ) v ( p q )] v {( p q ) [(

-p
p v q ) v p]}

-q

- p
q
p
p

-q

D) :[( p v q v r ) ( q
p

p
p )] [(

p v q ) s ]
p

o
s

o
r

E) :[(

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

q ) ( r p )] s

10: construir el circuito equivalente:

A)
B)
C)
D)
E)

:{[( r v
:{[( p v
:[( p
:[( p v
:[( p v

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

q )

11 sea A la proposicin lgica mas simple del circuito.

P

q
o
o

p
p

p
q

Y B la proposicin lgica ms simple de la proposicin.

(p q ) (p q ) donde(p q), es equivalente a (p q) p
Hallar el valor mas simple de la proposicin:
J= A B
12 un electricista quiere hacer una instalacin lo mas econmico
posible y que sea equivalente al circuito original si cada interruptor

cuesta 3 nuevo soles y no tiene en cuenta el alambre cuanto le

costara la nueva instalacin.
q
p

s
p

p
13si sabe que ( p q ) =

[( p

q
q) p]

Cual de las proposiciones son verdaderas.

a)
b)
c)
d)
e)

( p q )=( p q )
[( p q ) = [( p p ) q ]
( p v q ) = ( p q )
( p q ) v T = [( p q ) ( p q )]
[( p q) q ] = [( p q ) q ]

14 si se sabe que( p q ) = ( p q ) r
Construir los siguientes circuitos
a)
b)
c)
d)

[( p
(p
[( p
[( p

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

r
r