UNIVERSIDAD MAYOR DE SAN SIMON

FACULTAD DE CIENCIAS Y TECNOLOGA

DEPARTAMENTO DE MATEMTICAS
CALCULO I TEMA 1: Lgica Proposicional
DOCENTE: Dr. Ing. Juan Antonio Rodrguez Sejas

PRACTICA 1

1.- Si p : Los troskos mienten a cada paso

q : Ellos ocultan su verdadera intencin poltica
r : Los troskos tratan de engaar mintiendo siempre.
Construir de forma literal, utilizando el lenguaje comn, las siguientes proposiciones:
a).- q r ; b).- (pq) r ; c).- r q ; d).- q p

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

q : Los productos estn 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

3.- Si p : La Constitucin esta por encima de cualquier Decreto

q : La Leyes tiene menor jerarqua que la Constitucin
r : La Constitucin es la mxima ley de la Republica.
Construir las proposiciones: a). - q p ; b).- ( p q) r ; c).- r q ; d).- q r

4.- Si p : Las personas deben acatar las leyes del pas

q : Las leyes nos permiten vivir en armona
r : Las leyes son para todos
Construir las proposiciones: a). - r q ; b).- ( p r) q ; c).- r q ; d).- q p

5.- Si p : Hay polticos 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 comn, las siguientes proposiciones:
a).- q r ; b).- (pq) r ; c).- r q ; d).- q p

6.- Si p : Los candidatos al rectorado honestos son pocos

q : Existen pocos candidatos buenos
r : Los candidatos utilizan mal las elecciones al rectorado
Construir las proposiciones: a).- r q ; b).- q r ; c).- p r

7.- Confeccionar las Tablas de Verdad:

a). ( q r) p ; b). (p r) (p r) ; c).- (r q ) r ; d).- (p r) (q r)

8.- Confeccionar las Tablas de Verdad:

a).- (p r) (q r) ; b).- (r q) { p [( q r ) ( p r ) ]}
c).- [q (p r ) ] (q r)

9.- 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}

10.- Confeccionar las Tablas de Verdad:

a). {( p r) (p r)} (r r) ; b).- [(r q) (q r)] [r (q r)] ;

11.- Confeccionar las Tablas de Verdad:

a). [ ( p q ) r ] [ r ( p q )]; b).- [ p r ] [ ( p q ) r ]

 Dr. Ing. Juan Antonio Rodrguez Sejas
12.- Confeccionar las Tablas de Verdad:

a). [ p q r ] [ ( p q )] b).- [ p ( r q ) ] [ q r ]

13.- Determinar si son Leyes Lgicas

a). [(p q) (s r)] p r) ; b).- {(q r) r} [(p r) r];
c).- [r [r q) ( s q )]] [ s q ]

14.- Determinar si son leyes lgicas

a). { p (r (q r))} [r q) q ] ; b).- [(q r) r] [ (r q) r ];
c).- {[p r] r} q r ]

15.- Si q es verdadero determine el valor de verdad de p, r y s; sabiendo que la proposicin

compuesta siguiente, es verdadera:
{ q [ p r ) s ] } [s ( r q ) ]

16.- 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 proposicin compuesta siguiente, sea falsa:

[( p q) (r s ) ] q p ) s t ) ]

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

verdad de: [(p q) q] q

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

verdad de: p (q r )

19.- Sabiendo que p es Verdadero (V) y r es Falso. Determinar el valor de verdad de:
(p q) p r)

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

21.- Sabiendo que el valor de verdad de la proposicin 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.- Sean p,q,r,s y t proposiciones y si [p) q ] [(r p) t] es una proposicin falsa, hallar el

valor de verdad de q r) [t (( q ) p]

23.- 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

24.- 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 ms sencilla

 b.- Si r es falsa y si las proposiciones p y q tienen valores de verdad opuestos,
hallar su valor de verdad.

25.- Simplificar y luego dibujar el circuito lgico

a). (p q) p q) ; b).- (p q) r ; c).- (r r) q ; d).- (p r) p

26.- Simplificar y luego dibujar el circuito lgico

a). (p r) (s r) ; b).- (p r) r ; c).- (r q) (p r )

27.- Simplificar y luego dibujar el circuito lgico

a). (r r) [(q p) q] ; b).- (q r) r ; c).- r q) (p r)

28.- Construir un circuito lgico:

a). (p r) r ; b).- (p r) q ; c).- [(p q) ( p q)] p

29.- Construir un circuito lgico:

a). [(p q) (q r)] p r) ; b).- (q r) r ; c).- (p r) r ; d).- p r q)

30.- Dada la proposicin compuesta:

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

Se pide:
a.- Previamente transformar para luego representar grficamente
b.- Simplificar utilizando leyes lgicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

31.- Dados los circuitos lgicos:

a) p ~p

q
r

p p

q q
b)
p ~p

p ~q

Se pide:
a.- Escribir la proposicin compuesta que corresponda a cada circuito lgico
b.- Efectuar la simplificacin de cada uno y expresar el resultado mediante otro circuito
lgico.
32.- Dada la proposicin compuesta:

[ p q p ) ] [ p p p ) ]
Se pide:
a.- Previamente transformar para luego representar grficamente
b.- Simplificar utilizando leyes lgicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

33.- Dada la proposicin compuesta:

[ p q ) q r ) ] p r )
Se pide:
a.- Previamente transformar para luego representar grficamente
b.- Simplificar utilizando leyes lgicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

34.- Dada la proposicin compuesta:

{[ q r ) q ] r } q r ) }
Se pide:
a.- Previamente transformar para luego representar grficamente
b.- Simplificar utilizando leyes lgicas
c.- Representar circuitalmente lo simplificado en el inciso b.-.

35.- Dado el circuito lgico:

p
p q

q
p q

a.- Escribir la proposicin compuesta que corresponda a este circuito lgico luego
simplificarla.

36.- Dado el circuito lgico:

p q

q
r
a.- Escribir la proposicin compuesta que corresponda a este circuito lgico luego
simplificarla.
37.- Simbolizar y simplificar:
p q

p q

r q

r p
38.- Construir el circuito lgico mas simple equivalente a :
q

p p
r

p q

r r
39.- Hallar la proposicin que representa el circuito:
p q

p
p q

40.- Hallar la proposicin que representa el circuito:

p

q
p r
r

41.- Hallar la proposicin que representa el circuito:

r

p p q

p
42.- Escribir la proposicin que caracteriza al siguiente circuito lgico, y simplificar:
q

p
q p

q
r q ~r

r
43.- Escribir la proposicin que caracteriza al siguiente circuito lgico, y simplificar:

p p q

q p
r
r
p q
r

44.- Escribir la proposicin que caracteriza al siguiente circuito lgico, y simplificar:

p q r s

r p

q q s

p
q
45.- 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

46.- 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

47.- 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

48.- 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

49.- 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

50.- 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

51.- 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

52.- 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

53.- 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

54.- 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
qr
r
56.- Demostrar que el siguiente razonamiento es valido

(p q) r
rp
~q r
r
57.- Considerar la siguiente proposicin:

Si hago mis prcticas de lgebra, entonces aprobare la materia

a.- Enunciar simblicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparacin de tablas de verdad determinar cuales son lgicamente
equivalentes.

58.- Considerar la siguiente proposicin:

Si exigimos elecciones al CEF, entonces mejorara la democracia facultativa

a.- Enunciar simblicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparacin de tablas de verdad determinar cuales son lgicamente
equivalentes.

59.- Si el poderoso W vence todos sus partidos entonces ser el campen de la liga de futbol
boliviano.

a.- Enunciar simblicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparacin de tablas de verdad determinar cuales son lgicamente
equivalentes.

60.- Si sabemos elegir a nuestras Autoridades entonces tendremos un gran desarrollo

universitario.

a.- Enunciar simblicamente la directa, el contra reciproco, el contrario y el reciproco

b.- Mediante comparacin de tablas de verdad determinar cuales son lgicamente
equivalentes.

Marzo del 2016