LEYES DEL ALGEBRA DE PROPOSICIONES

p p

1.Ley Identidad:

p p

y
( p p )

2.Ley de no contradiccin:
Falsa a la vez

Una proposicin no puede ser Verdadera y

p p

3.Ley del Tercio Excluido:

Una proposicin o es Verdadera o es Falsa

(p ) p

4.Ley de la Doble negacin:

5.Ley de la Idempotencia:

p p p

p p p

pq q p

6.Ley Conmutativa:

pq q p

pqq p

p (q r ) ( p q ) r

7.Ley Asociativa:

p (q r ) ( p q ) r

;
p (q r ) ( p q) r
p (q r ) ( p q ) ( p r )

8.Ley Distributiva:

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

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

( p q ) p q

9.Leyes de Morgan:

( p q ) p q
p q p q

10.Leyes del Condicional:

11.Leyes del bicondicional:

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

p ( p q) p

12.Leyes de la Absorcin:

p ( p q ) p q

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

p q q p

13.Leyes de Transposicin:

p q q p

( p q) r p (q r )

14.Leyes de Exportacin:

[( p1 p 2 p3 .... p n ) r ] [( p1 p 2 p3 ... p n1 ) ( p n r )]

p T p

15.Elementos neutro de la Conjuncin y Disyuncin:

Tautologa

donde T =
pT T
pC p

donde
Contradiccin

C=

pC C
[( p q) p )] q

16.Ley del Modus Ponens:

[( p q ) q )] p

17.Ley del Modus Tollens:

[( p q ) p)] q

18.Ley del Silogismo Disyuntivo:

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

19.Ley del Silogismo Hipottico:

[( p q ) p )] q

20.Ley de la Inferencia Equivalente:

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

21.Ley de la Transitividad Simtrica:

( p q) p

( p q) q

22.Ley de Simplificacin:
o
p ( p q)
q ( p q)
23.Ley de Adicin:
[ p (q q )] p
24. Ley del Absurdo:
[p (q q )] p
UTILIZANDO ESTAS LEYES, DETERMINAR LOS ESQUEMAS MAS SIMPLES
EQUIVALENTES A LAS PROPOSICIONES SIGUIENTES Y HALLAR SUS
TABLAS DE VERDAD:
( p q ) q p

a.

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

b.

(p q ) q ( p q )

c.

INFERENCIA LOGICA
Si de una o ms proposiciones llamadas premisas, se deduce la afirmacin de una proposicin, llamada
conclusin, se dice que se ha construido una inferencia.
Una inferencia es vlida si y slo si la conjuncin de premisas implica la conclusin, es decir, si P 1, P2, P3,
Pn, son las proposiciones premisas y C la conclusin, entonces
(P1

P2

P3

Pn)

es una TAUTOLOGIA

Si queremos determinar la validez de una inferencia se puede hacer construyendo la tabla de verdad y
demostrar que es una tautologa o mediante el mtodo abreviado.
El mtodo abreviado:

Este mtodo consiste en suponer la conjuncin de premisas verdadera y la conclusin falsa, nica
posibilidad que invalida la implicacin

(P1
P2
P3
Pn)
C
V
V V ..
V
F
Si no se demuestra esta posibilidad la inferencia ser vlida.
Los pasos del mtodo abreviado som:
a. Asignar el valor de verdad a cada una de las premisas y de falsedad a la conclusin
b. Deducir la validez de cada una de las variables proposicionales en funcin de las reglas veritativas,
empezando por la conclusin o por el operador de una de las premisas que ofrece una sola posibilidad.
c. Si cada una de las variables cumple una sola funcin veritativa, se habr probado que la conjuncin de
premisas es verdadera y la conclusin es falsa; por lo que, la inferencia no ser vlida. (NO HAY
IMPLICACION)
d. Si una variables tiene valores de verdad y falsedad a la vez, quedar demostrado que no es posible que
la conjuncin de premisas sea verdadera y la conclusin falsa. Por lo que hay implicacin y la inferencia
ser vlida.

DEMOSTRAR SI LOS SIGUIENTES ARGUMENTOS SON O NO INFERENCIAS

VALIDAS(APLIQUE EL METODO ABREVIADO)
p q

1.

2.

p q

( p q) (r s)

pq

3.

q r

pr

q s

p q

4.

p q

r p

p q

5.

p s

s p
p ( q r )

rs
p ( r q )

EJERCICIOS
3

1 Si p(x): x = 27, q(x): x = 9 y r(x): x < 10 . Hallar el valor de verdad de cada una de
las siguientes proposiciones:

a) [p(1)
q(12) ]
[r( - 3)
r(3) ]

b) [p(0)
q( - 1) ]
{ r( - 5)
[r(- 6)
r( 0 )]}

c) {[p(3) p(2)]
[r(2)
q(3) ] }
[ q(3)
p( - 3)]

x3 2
2 Si Si p(x):
, q(x): x es primo y r(x): x es cuadrado perfecto. Hallar el valor
de verdad de cada una de las siguientes proposiciones:

a) [p(1)
q(12) ]
[r( 4)
r(- 9) ]

b) [p(0)
q( 1) ]
{ r( 5)
[r( 16)
r( - 16 )]}

c) {[p( - 3) p(2)]
[r(2)
q(3) ] }
[ q(3)
p( 3)]
3.Hallar la tabla de verdad de cada una de las siguientes proposiciones
a)
b)

p q r q r p q

p q p r q p q

c)

p q p r q r p
p q s r

4.Si la proposicin:
siguientes proposiciones:
p q q
a)
r q q q r s
b)
p q q p q
c)

es falsa, hallar el valor de verdad de las

EJERCICIOS DE MATEMTICA BSICA

Prof. Walter Ramos Mayur
1 Hallar la tabla de verdad para la siguiente proposicin molecular y luego responda si
es una Tautologa, una Contradiccin o una Contingencia? Por qu?

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

p )

p q p r q r p
2. Hacer el circuito lgico para la siguiente proposicin

( p q ) q p p ( q p )

Hallar su tabla de verdad y diga si es una tautologa o no? Presente el esquema ms

simple de esta proposicin.
3. Sea la proposicin:
p q s r

es falsa, hallar el valor de verdad de las siguientes

proposiciones:
p q q
a)
r q q q r s
b)
p q q p q
c)
4. Si U = {1,2,3..,99}, determinar cules de las siguientes proposiciones son
verdaderas:
x
x
A= {
U/ x + 5 = 2x } ;
B={
U/ | x 8| > 5 }
x
x

C={
U/ x + 1 U } ;
D={
U/ 20 3x no es menor que 0 }
5. Si p(x): x3 = 27, q(x): x2 = 9 y r(x): x < 10
Hallar el valor de verdad de:

a) [p(1)
q(12) ]
[r( - 3)
r(3) ]

b) [p(0)
q( - 1) ]
{ r( - 5)
[r(- 6)
r( 0 )]}

c) {[p(3)

p(2)]

[r(2)

q(3) ] }
[ q(3)
p( - 3)]

x3 2
6. Si p(x):
, q(x): x es primo y r(x): x es cuadrado perfecto
Hallar el valor de verdad de:

a) [p(1)
q(12) ]
[r( 4)
r(- 9) ]

b) [p(0)
q( 1) ]
{ r( 5)
[r( 16)
r( - 16 )]}

c) {[p( - 3) p(2)]
[r(2)
q(3) ] }
[ q(3)
p( 3)]

7. Sean los conjuntos:

U = {x

P={x

Q={x
R= { x

N/ x es el nmero que representa a uno de los meses del ao calendario}

N/ x es un dgito del ao del centenario de la Independencia del Per }

N/ x es un dgito del sistema de numeracin decimal }

N/ x son los 5 nmeros consecutivos que sumados dan 20 }

S= { x N/ x es raz de x4 -13x3 + 59x2 - 107x + 60 = 0 }

Hacer el diagrama del rbol para el conjunto

R S P 'Q' X S P X (Q ' P' )

xZ

8. Sean U = {
/ x(x 1)(x 2)(x 3)(x 4)(x - 5) = 0 }
x

A= {
U / | 2x 5 |
3}
x
B={
U / x4 2x3 5x2 + 5x = 0 }
x
C={
U / x es un dgito del ao de la Proclamacin de la Independencia del Per }
x
D= {
U / x es el nmero de lados de un trapecio }
Hacer el diagrama cartesiano para ( A C) X (D C) X (B C) y
Trace su diagrama del rbol
9.. Se tienen los siguientes conjuntos:
E = {x/ x son provincias vecina de Pisco por el norte y el sur}
F = {x/ x es la capital del Per}
G = {x/ x es provincia del departamento de Ica que queda al norte de Pisco y al sur de
Caete}
H = {x/ x e F, o x e G o x es provincia donde desembarc Don Jos de San Martn}
I = {x/x son provincias vecinas al sur de Pisco y al norte de Chincha}
En qu orden deben multiplicarse estos conjuntos para obtener la ruta de provincias de
Lima a Ica (Lima, Caete, Chincha, Pisco, Ica). Haga el producto cartesiano mediante el
diagrama del rbol. Luego el producto cartesiano que muestre la ruta de regreso, Ica a
Lima.

Ai 2 x 1 / i 1 x i 1, x Z

10. Si

11.Sean los conjuntos: U = { x e Z / | x |

Hallar el conjunto potencia de

7}

P = {x e Z / (x2 4) (x2 16) = 0 }

R={xeZ/x
Hallar
entrada

P Q

'

Q = {x e Z / | x 3 |

3}

S = { x e Z / x4 + 4 = 0 }

x es # primo }

R X R S

i 2

y hacer el diagrama matricial o de doble

12. Sean los conjuntos U = {x e Z / (x2 - x) (x2 9) (x 5) (x 6) = 0 }

x Z

/ x 3 5 x 2 9 x 45 0

P=
Q = {x e Z/ 1 < x 2 < 5 y x es nmero par }
R = {x e Z/ 5x + 5y -25 = 0, interseccin con la recta 5x 5y + 25 = 0}
Hallar [ (Q U P) R ] x [ (R U Q) P ] x P. Luego trazar el diagrama del rbol
xZ

13. Sean U = {
/x<7}
x

A= {
U / x3 8 } ;
x
C={
U / x2 > 25 } ;

B={

U / x es mltiplo de 3 }
x
D= {
U / x es par }
C ' A' ' x(
Hacer el diagrama cartesiano para
D B)

xZ
14. Sean U ={
/ x es un nmero de un digito }
x
A= {
U / x es primo }
x
B={
U / x es un cuadrado perfecto }
x
C={
U / x es impar }
Mediante el diagrama del rbol hallar: B X (C A) X (A

C)

A x / x Z x 2 x 31x 32 x 240 0
4

15. Si
cartesiano (A x A x A) y haga el diagrama del rbol
16. Si A = {a, , { }} y B = {{ }, {{
Hallar a) (A B) - (A B)
b) P (A) P (B)

Hallar el producto

}}}

17. Sea U = {x e Z / | x | 4 }
A = {x e U / x4 10 x2 + 9 = 0 } ;
C = {x e U / x 0 y x < 4 }

B = {x e U / 3x + 5 = 6 }
;

D = {x e U / x es mltiplo de 2 entre 1 y

5}
E = {x e U / x es un divisor de 3 y x > o } ;
G = {x e U / x2 4x = 0 }

F = {x e U / x2 4 = 0 y x > 0 }

Hallar:

a) [ ( A C) ( C D) ] x E x F
b) [ B (E F) (A E ) F ] x D
c) [ ( F E) ( C A ) ] x F
d) [ ( D
e)

G) C]x(D F)
(E x G) ( C x F )

f) ( C A ) x ( E D ) x F
g) D x E x F x G
h)

( ( C D ) E) x ( D F )

18. Se tienen los siguientes conjuntos:

A = {x e R/ x es la suma de las coordenadas del punto de interseccin de las rectas
cuyas ecuaciones son 2x 3y = 2 ; x + 2y = 8}
B = {x e R/ x son las longitudes de los lados del tringulo que pasa por los puntos ( 1, 3)
( -2, - 1) y (1, - 1) }
C = {x e R/ x son los semiejes positivos de la elipse 16x2 + 36y2 = 576}
Qu figura geomtrica se forma al unir los puntos del producto cartesiano
(A U C) x ( B C). Justifique su respuesta utilizando el concepto de la PENDIENTE
entre dos puntos. Grafique.
19. Con los datos del problema anterior se tiene las siguientes proposiciones:
p(x): x es la abscisa del punto de interseccin de las rectas del conjunto A
q(x): x es el valor de la hipotenusa del tringulo del conjunto B
r(x): x es el semieje positivo del eje X en la elipse del conjunto C
Hallar el valor de verdad de la proposicin

p(3) q(4) r (6) p(4) r (3) q(4) r (4)

Despus construir el circuito lgico de esta proposicin

20. Demostrar que: A x (B U C) = (A x B) U (A x C)
A x (B

C) = (A x B)

(A x C)

C
D = ( C
D)
(A U B) - C = (A - C) U (B - C)
A

(B - C) = (A

B) - (A

C)

21. Una agencia de turismo realiza una encuesta entre 5000 personas para ver las
preferencias en materia de viajes a Cuzco, Iquitos y Trujillo; 2400 personas desean
viajar por lo menos al Cuzco, 3000 por lo menos a Trujillo, 2100 por lo menos a Iquitos,
1000 a Trujillo y Iquitos, 800 al Cuzco y a Iquitos, 1500 a Trujillo y al Cuzco y 500
estn dispuestos a realizar las 3 excursiones. Se pregunta:
Cuntos indicaron que no realizarn ningn viaje?
Cuntos desean hacer dos excursiones siempre que ninguna sea al Cuzco?
22.El conjunto A est formado por los tres primeros nmeros del lanzamiento de un
dado, el conjunto B por los dos meses centrales del calendario del ao y el conjunto C
por los dos ltimos aos que estamos viviendo. Hallar el producto cartesiano AxBxC
por medio del diagrama del rbol y diga si el elemento: La fecha del da de Fiestas
Patrias Santo pertenece al producto AxBxC Si? o No? Por qu?

23.Los 50 alumnos del I Ciclo de Ingeniera de Sistemas que estn matriculados en el

curso de Matemtica Bsica se trasladan de su casa a la Ciudad Universitaria en
diferentes medios, segn una encuesta las preferencias son las siguientes: 20 de ellos se
trasladan en Mototaxi, 22 en Micro, 28 en Colectivo; 9 usan mototaxi y micro, 11 usan
micro y colectivo, 8 colectivo y mototaxi; otros 5 alumnos tienen que usar mototaxi,
micro y colectivo. Se pregunta:
Cuntos alumnos vienen a la Ciudad Universitaria en Por lo menos una movilidad?
Haga un diagrama de Venn-Euler para este problema.
24.De una encuesta a 135 personas para establecer preferencias de lectura de los diarios
deportivos Bocn, Lbero y Sport. se obtienen los siguientes resultados: todos leen
alguno de los tres diarios; todos menos 40 leen el Bocn; 15 leen Bocn y Lbero pero
no Sport; 6 leen Lbero y Sport pero no Bocn; 10 leen slo Sport. El nmero de los que
leen Bocn y Sport es el doble del nmero de los que leen los 3 diarios. El nmero de
los que leen slo Lbero es el mismo que el total de los que leen Bocn y Sport. Hallar
el nmero de los que leen solamente Bocn.
25.En una encuesta realizada en Plaza Vea a 400 amas de casa sobre las preferencias por
el uso de Kolynos, Colgate y Signal, se obtuvo el siguiente resultado: El nmero de
amas de casa que usa los 3 productos es:
de los que usan solamente Kolynos; 1/5 de los que usan solamente Colgate; 1/3 de los
que usan solamente Signal; de los que usan Kolynos y Colgate; 1/3 de los que usan
Colgate y Signal; 1/3 de los que usan Kolynos y Signal. Si 40 amas de casa declararon
no usar ninguno de los 3 productos. Hallar a) Cuntas amas de casa usan un solo
producto? . b) Cuntas amas de casa usan al menos dos productos?
26.En una encuesta realizada a 290 estudiantes de la Facultad de Ingeniera de Sistemas,
sobre los deportes que practican, se obtuvo los siguientes resultados: 140 estudiantes
practican ftbol, 90 practican basket, 115 practican tenis. El nmero de estudiantes que
practican estos 3 deportes es 1/5 de los que practican slo ftbol y 1/3 de los que
practican slo basket. El nmero de estudiantes que slo practican ftbol y basket es
de los que practican slo tenis. El nmero de estudiantes que slo practican basket y
tenis es de los que slo practican ftbol y tenis. Determinar: a) Cuntos estudiantes
practican uno solo de estos deportes? , b) Cuntos practican slo dos deportes y c)
Cuntos no practican ninguno de estos 3 deportes?
27.De un total de 420 estudiantes de la Facultad, el 30% practican basket y el 40%
juegan ajebrez. De los basquetbolistas, el 50% juega ajedrez. Cuntos de ellos juegan
a) Basket o ajedrez; b) Slo uno de estosa deportes?; c) No practique ni basket ni
ajedrez

28.Marque con una X la alternativa correcta de cada una de las siguientes proposiciones
N

Respuesta

PROPOSICIN

a)
b)
c)
d)

V(
V(
V(
V(

)
)
)
)

e)
f)
g)

V( )
V( )
V( )

F( )
F( )
F( )

h)
i)
j)

V( )
V( )
V( )

F( )
F( )
F( )

k)
l)

V( )
V( )

F( )
F( )

m)

V( )

F( )

n)
)
o)
p)
q)
r)
s)
t)

V(
V(
V(
V(
V(
V(
V(
V(

F(
F(
F(
F(
F(
F(
F(
F(

)
)
)
)
)
)
)
)

F(
F(
F(
F(

)
)
)
)

)
)
)
)
)
)
)
)

El cuantificador Existencial no es la negacin del cuantificador Universal

Dos rectas se cortan a lo ms en dos puntos
El conjunto vaco pertenece a cualquier conjunto
La Ley de Morgan de la disyuncin, se utiliza para la demostracin de la propiedad
Conmutativa de la reunin de conjuntos
La potencia de un conjunto tiene 2n elementos
Las rectas 3x 2y + 5 = 0 y 4x 6y + 18 = 0 no son perpendiculares
La distancia entre los puntos de interseccin de la recta 3x + 4y 24 = 0 con los ejes
coordenados es 24
La pendiente de una recta es la inversa de la pendiente de su recta perpendicular
La interseccin de la recta 5x + 4y 20 = 0 con el eje de las abscisas es 4
Uno de los puntos de interseccin de la circunferencia x 2 + y2 = 5 con el eje de las
ordenadas es (0, 5)
La negacin de una Contradiccin es una Contingencia
La distancia entre los puntos (0,2) y ( 0, 8) es igual a la distancia entre los puntos
(2, 0) y (8, 0)
La diferencia entre dos conjuntos puede ser vaco, cuando los conjuntos son
disjuntos
El producto cartesiano es conmutativo
A B B C C A

Si
Una curva cerrada tiene asntota
La potencia de un conjunto tiene 3n elementos

El diagrama del rbol nos permite hallar grficamente A B

Los conjuntos N, Z, Q, I, R y C tienen por interseccin al conjunto N
Toda circunferencia es simtrica a sus ejes coordenados
El dominio de una recta horizontal es un conjunto unitario