UNIVERSIDAD MAYOR DE SAN SIMON

FACULTAD DE CIENCIAS Y TECNOLOGÍA

DEPARTAMENTO DE MATEMÁTICAS
CALCULO I – TEMA 1: Lógica Proposicional
DOCENTE: Ing. Abg. Juan Antonio Rodríguez Sejas

PRACTICA 1

1.- Si p : Los comerciantes especulan con el hambre del pueblo

q : Los productos están a precios injustamente elevados
r : Algunos comercian solo para lucrar
Construir las proposiciones: a). - q r ; b).- q  p ; c).- r  q ; d).- q  r

2.- Si p : La Constitución esta por encima de cualquier Ley del Estado

q : La Leyes tiene menor jerarquía que la Constitución
r : La Constitución es la máxima ley del Estado plurinacional.
Construir las proposiciones: a). - q  p ; b).- ( p q)  r ; c).- r  q ; d).- q  r

3.- Si p : Las personas deben acatar las leyes del país

q : Las leyes nos permiten vivir en armonía
r : Las leyes son para todos
Construir las proposiciones: a). - r  q ; b).- ( p r)  q ; c).- r   q ; d).- q  p

4.- Si p : Hay “políticos” extremistas que utilizan a los estudiantes

q : Todo estudiante ingenuo es manipulado
r : Los estudiantes son inducidos por los llamados “defensores de los estudiantes de la
extrema izquierda”.
Construir de forma literal, utilizando el lenguaje común, las siguientes proposiciones:
a).- q r ; b).- (pq)  r ; c).- r  q ; d).- q  p

5.- Confeccionar las Tablas de Verdad:

a).- [ r  (p  r)]  (q  r) ; b).- ( q r)  (q  r) ; c).- p  r

6.- Confeccionar las Tablas de Verdad:

a).  ( q r)  p ; b). (p  r)  (p  r) ; c).-[(r  q )  r]  {(p  r)  (q  r)}

7.- Confeccionar las Tablas de Verdad:

a).- (p r)   (q  r) ; b).- (r q)  { p  [( q  r )  ( p  r ) ]}
c).- [q  (p  r )]  (q  r)

8.- Confeccionar las Tablas de Verdad:

a). {(p  r)  s (q  r) ]}  {[(q  r)  (s  q)]  r} ;
b).-{ (p  r )  [ (q  s) s]}  {[ q  (s  q)]  r}

9.- Confeccionar las Tablas de Verdad:

a).  {( p  r)  (p  r)}  (r  r) ; b).- [(r q)  (q  r)]  [r  (q   r)] ;

10.- Hallar el valor de verdad de las siguientes proposiciones:

a). – [( p  q)   r]  [ r   ( p  q)]; b).- [ p   r]  [( p  q )   r]

11.- Hallar el valor de verdad de las siguientes proposiciones:

a). – [( p  q)   r]  [(p   q)] b).- [ p  ( r   q)]  [ q   r]

12.- Determinar si son Leyes Lógicas

a). – [(p  q) (s r)] p  r) ; b).- {(q  r) r}  [(p  r)  r];
13.- Determinar si son leyes lógicas
a). – { p  (r  (q  r))} [r  q)   q ] ; b).- [(q  r)  r]  [ (r q)  r ];
c).- {[p  r]  r}  q  r ]

14.- Si q es verdadero determine el valor de verdad de p, r y s; sabiendo que la proposición

compuesta siguiente, es verdadera:
{ q  [ p  r )  s ] }  [s ( r  q ) ]

15.- Si las proposiciones p y q son de valores de verdad contrarios, determinar el valor de verdad
de r, s y t para que la proposición compuesta siguiente, sea falsa:

[( p  q) (r  s ) ]  q  p )   s  t ) ]

16.- Sabiendo que p  q es Verdadero (V) y que  q es Verdadero. Determinar el valor de

verdad de: [(p  q)  q] q

17.- Sabiendo que p  r es Falso (F) y que q es Verdadero. Determinar el valor de

verdad de: p  (q r )

18.- Sabiendo que p es Verdadero (V) y r es Falso. Determinar el valor de verdad de:
(p  q) p r)
19.- Si la proposición: ( p q)  (r s) es falsa. Hallar el valor de verdad de q, p, r y s (en
ese orden)

20.- Sabiendo que r es Verdadero. Determinar el valor de verdad de: (p  q) r

21.- Sabiendo que el valor de verdad de la proposición compuesta:

{p  r) q ]  [ ( p  q ) ∆ s] }  {( s ∆ p)  t} es siempre falso

Determinar el valor de verdad de las siguientes proposiciones:

a).- { p ∆ q) ∆ r]  q  ( u  p ) )] } ∆ ( p ∆ q )
b).- { p q ) ∆ [ ( r p )  r  s)]} ∆ t

22.- Si (p r) ( r ∆ q) es falsa y las proposiciones s y t tienen valores de verdad
desconocidos. ¿Cuáles de las siguientes proposiciones son tautológicas?

a).- p  s) q
b).- t  q)  p
c).- s t)  r
23.- Sean las proposiciones p, q, r, s, x, y. Si la proposición (p r) (q s) es falsa. Determinar
los valores de verdad de:
a).- p  [ x  r  s)]
b).- [qr)y]  s
c).- q  x) y s )
d).- s  x) y r )

24.- Sean p,q,r,s y t proposiciones y si [p)  q ] [(r p)  t] es una proposición falsa, hallar el

valor de verdad de q  r)   [t (( q ) ˄ p]

25.- Sean p,q,r,s y t proposiciones y si (p  q) ↔ (r s) es verdadera y r ∆ s es verdadera; analizar

el valor de verdad de [(p) ↔ r) ∆ (s ↔q)] ˄ s

26.- Dadas tres proposiciones p, q y r, consideremos las proposiciones siguientes:

a.- ( p  r )  ( q  p ) 

b p (r  q ) )  ( r  p )
a.- Simplificar a su forma equivalente más sencilla
b.- Si r es falsa y si las proposiciones p y q tienen valores de verdad opuestos,
hallar su valor de verdad.

27.- Simplificar y luego dibujar el circuito lógico

a). – (p  q)  p  q) ; b).- (p  q) r ; c).- (r  r) q ; d).- (p  r)  p
28.- Simplificar y luego dibujar el circuito lógico

a). – (p  r)  (s  r) ; b).- (p  r)  r ; c).- (r  q)  (p  r )

29- Simplificar y luego dibujar el circuito lógico

a). – (r  r)  [(q  p)  q] ; b).- (q  r)  r ; c).- r  q)  (p  r)

30.- Simplificar y luego dibujar el circuito lógico [(p  q)  (s  s)]  q

31.- Construir un circuito lógico:

a). –  (p  r)  r ; b).- (p  r)  q ; c).- [(p  q)  ( p  q)]  p

32.- Construir un circuito lógico:

a). – [(p  q) (q r)] p  r) ; b).- (q  r) r ; c).- (p  r)  r ; d).- p  r q)

33.- Dada la proposición compuesta:

[ [ r  ( p  r ) ]  ( p  r) ]  q

Se pide:
a.- Previamente transformar para luego representar gráficamente
b.- Simplificar utilizando leyes lógicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

34.- Simplifique y luego señale el circuito equivalente a la proposición

[(p  q)  p]  [p  (p  q)]

35.- Se tiene que

p
P q r

q
q
r
r

El costo de instalación de cada interruptor es de 12 Bs.. ¿En cuánto se reducirá el costo de la

instalación si se reemplaza este circuito por su equivalente más simple?

36.- Dada la proposición compuesta:

[ p  q  p ) ]  [ p   p  p ) ]

Se pide:
a.- Previamente transformar para luego representar gráficamente
b.- Simplificar utilizando leyes lógicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.
37.- Dados los circuitos lógicos:

a) p ~p

q
r

p p

q q
b)
p ~p

p ~q
Se pide:
a.- Escribir la proposición compuesta que corresponda a cada circuito lógico
b.- Efectuar la simplificación de cada uno y expresar el resultado mediante otro circuito
lógico.
38.- Dada la proposición compuesta:

[ p q)  q  r ) ]   p  r )
Se pide:
a.- Previamente transformar para luego representar gráficamente
b.- Simplificar utilizando leyes lógicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

39.- Dada la proposición compuesta:

{ [ q r )  q ]  r }   q  r ) }
Se pide:
a.- Previamente transformar para luego representar gráficamente
b.- Simplificar utilizando leyes lógicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

40.- Dado el circuito lógico:

p
p q

q
p q

a.- Escribir la proposición compuesta que corresponda a este circuito lógico luego
simplificarla.
41.- Dado el circuito lógico:
p q

q
r
a.- Escribir la proposición compuesta que corresponda a este circuito lógico luego
simplificarla.
42.- Simbolizar y simplificar:
p q

p q

r q

r p

43.- Construir el circuito lógico mas simple equivalente a :

q

p p

p  q

r r

44.- Hallar la proposición que representa el circuito:

p q

p
p q

45.- Hallar la proposición que representa el circuito:

p

q
p r
r

s
46.- Hallar la proposición que representa el circuito:
r

p p q

47.- Escribir la proposición que caracteriza al siguiente circuito lógico, y simplificar:

q

p
q p

q
r q ~r

r

48.- Escribir la proposición que caracteriza al siguiente circuito lógico, y simplificar:

 p p q

q p
r
r
p q
r

49.- Escribir la proposición que caracteriza al siguiente circuito lógico, y simplificar:

p q r s

r p

q q s

p
q
50.- Demostrar: x = 3  y < 2

1.- x = y x < y

2.- ( x < 3  y = x + 1 ) y ≠ 8

3.- x = 3  y = 8

4.- x ≠ y  y = x + 1

5.- x < 3 x < y

51.- Demostrar : x > 4

1.- x > y  y = 3

2.- x > 4 y > 1

3.- x > y  x > 4

4.- x = y y > 1

5.- x > y  x = y

6.- y = 3  y > 1 



52.- Demostrar : x < 6

1.- x > y  x < 6

2.- x > y  x > 4

3.- x > 4  x =5

4.- x < 6 x =5

5.- ( x = 5 z > x )  y < z

6.- x > y y < z

53.- Demostrar : ~ (x < y  x = 1 )

1.- ( x = y  y = 0 ) x = 0

2.- ( x = 0  x y = 0 ) y = 0

3.- x = y  x <y
4.- y = 0 x < y
54.- Demostrar : ~ (x < y  x ≠ 1 )

1.- (x < 1  x y < 0 ) y > 1

2.- y > 1 x < y

3.- (x ≠ 2 y  y > 1 ) x < 1

4.- x = 2 y x < y

55.- Demostrar : x < 6  z > 6

1.- (x < 7  x = 5 ) (z > x  y < z)

2.- x < 6 (x = 5  x < 7 )

3.- x > y ~ (y < z  z > x )

4.- x > 4 ( x = 5  x < 7 )

5.- x > y x > 4

6.- x > y  x < 6

56.- Demostrar : ~ ( x = y  y > 1)

1.- y > 1 ( y < 1 y = 1)

2.- ( x ≠ 3  x > 3 )  x = 0

3.- y ≠ 1  y < 1


x > 3 x ≠ y

5.- x = 3 x ≠ y

6.- x ≠ 0

57.- Demostrar : y ≠ 2  y > 2

1.- y > 2 x > 2

2.- x > 5 y ≠ 2

3.- x = y + 3  y < 4

4.- ( y > 2  y < 4 ) x > 5

5.- x ≠ y + 3  x > 2

 58.- Demostrar : x ≠ 3 x > 2

1.- x + 2 ≠ 5 x = 6

2.- x = 3 x + 2 = 5

3.- 2 x - 2 8 x ≠ 6

4.- 2 x - 2 8

59.- Demostrar : x < y  y < 4

1.- x > y  x < 4

2.- ( x < 4 y < 4 ) (x < y y < 4)

3.- x > y x = 4

4.- x ≠ 4

Demostrar que el siguiente razonamiento no es valido

p ~q
r ~p
q˅r
r

61.- Demostrar que el siguiente razonamiento es valido

(p ˅ q) ↔ r
r→p
~q → r
r
62.- Considerar la siguiente proposición:

Si hago mis prácticas de Álgebra, entonces aprobare la materia

a.- Enunciar simbólicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparación de tablas de verdad determinar cuales son lógicamente
equivalentes.

63.- Considerar la siguiente proposición:

Si exigimos elecciones al CEF, entonces mejorara la democracia facultativa

a.- Enunciar simbólicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparación de tablas de verdad determinar cuales son lógicamente
equivalentes.

64.- Si el poderoso W vence todos sus partidos entonces será el campeón de la liga de futbol
boliviano.

a.- Enunciar simbólicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparación de tablas de verdad determinar cuales son lógicamente
equivalentes.
65.- Si sabemos elegir a nuestras Autoridades entonces tendremos un gran desarrollo
universitario.

a.- Enunciar simbólicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparación de tablas de verdad determinar cuales son lógicamente
equivalentes.

Febrero del 2019

Asignatura: ALGEBRA I Docente: Ing. Juan Antonio Rodriguez Sejas
Nombre : C.I. :
Temas de Evaluación : Relaciones - Funciones Trabajos Prácticos: TP3 – TP4

Evaluación: 1erPrac 2erPrac 3erPrac 4toPrac

** Nota Examen:
**

UNIVERSIDAD MAYOR DE SAN SIMON

FACULTAD DE CIENCIAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICAS

1.- Determinar el valor de verdad de la siguiente proposición y elegir la alternativa correcta

pintando:
[(r p)  (q  r)]  p

Contingencia
Contradicción
Tautología
el Ninguno
2.- Desarrollar la simplificación de la siguiente proposición, escribiendo el desarrollo debajo:
(r  p)  r

3.- Construir un circuito lógico, sacar foto y enviar:

(p  q)  ( p  q)

4.- Si el poderoso ¨W¨ gana todos sus partidos de la liga entonces no llegara a la libertadores; el
poderoso ¨W¨ llegará a la libertadores. Cuál sería la conclusión, escríbalo:

5.- Si p:Juan lee el pasquín Los Tiempos; q:Juan lee Opinión y r: Juan lee el periódico Cambio.
Elegir la respuesta correcta que representa la expresión:
¨No es cierto que juan lee el periódico Cambio u opinión pero no el pasquín los tiempos¨

p  ( q  p)
( q  p)]  r
(r  q)]  p
el Ninguno

tiempo de resolución : 90 minutos