Universidad Privada San Juan Bautista

FACULTAD DE DERECHO
ESCUELA PROFESIONAL DE DERECHO
Curso: Matemática Básica Ciclo: I
PRACTICA DIRIGIDA Nº 02
PROPOSICONES COMPUESTAS

1. Simboliza las siguientes proposiciones

a) Iremos a nadar ya que el cielo está despejado, pero no tenemos carpa

p: Iremos a nadar.
q: El cielo está despejado
r: Tenemos carpa
b) Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan.
p: Llueve
q: las brujas se peinan
r: Hace sol
c) Si luchas por triunfar entonces triunfaras, sin embargo no luchas por triunfar
p: Luchas por triunfar
q: Triunfaras
d) Si eres enfermera, trabajarás en el ministerio de salud y estarás de acuerdo con el plan de
gobierno
p: Eres enfermera
q: Trabajaras en MINSA
r: Estarás de acuerdo con el Plan de Gobierno
e) Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una
regadera y dejaría que me internaran en un psiquiátrico.
p: Los elefantes vuelan
q: Lo elefantes tocan acordeón
r: Estoy como una regadera
s: dejaría que me internaran en el psiquiátrico
f) Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis.
Luego, tanto si viene en tren o si viene en coche, llegará antes de las seis
p: Viene en tren
q: Llegara antes de las seis
r: Viene en coche
g) Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o
domines la deducción lógica. Pero no dominas la deducción lógica aunque has estudiado
p: Apruebas
q: Resuelves este problema
r: Has estudiado
s: dominas la deducción lógica
h) Como la materia no se crea ni se destruye, solo se transforma, luego el universo siempre
ha existido
p: La materia se crea
q: La materia se destruye
r: La materia se transforma
s: El universo siempre existió

1
 i) Si la nena patalea y llora entonces la madre se retira del ambiente. Pero la madre no se
retira del ambiente.
p: La nena patalea
q: La nena llora
r: La madre se retira del ambiente
j) Si fumo demasiado entonces me duele la garganta, y me duele la garganta. Por lo tanto
fumo demasiado
p: Fumo demasiado
q: Me duele la garganta
k) Si yo trabajo gano dinero; y si no trabajo entonces me divierto. Por lo tanto si no gano
dinero me divierto
l) Si Pedro estuvo en el lugar de los hechos entonces es el asesino, se ha probado que
Pedro estuvo en su casa. Por lo tanto no es el asesino
m) Si todas las tierras son cultivadas entonces la reforma agraria dará buenos resultados. Si
la reforma agraria da buenos resultados entonces aumentará el volumen de producción.
en consecuencia, si todas las tierras son cultivadas entonces aumentará el volumen de
producción
n) Dadas las siguientes proposiciones:
p : Estudio sistemáticamente
q : Obtendré buenas calificaciones en Álgebra
r : Voy a bailar todos los fines de semana
Escriba con palabras la siguiente proposición: (~ p  r )  ~ q
o) Dados las siguientes proposiciones:
p: Lenin aprueba sus cursos
q: Lenin va a la fiesta
r: Lenin estudia para su examen
Simbolizar la siguiente proposición:
Si Lenin va a la fiesta entonces no estudiará para el examen, pero no es el caso que vaya
a la fiesta y aprueba sus cursos. De ahí que Lenin estudia para su examen
p) Dados las siguientes proposiciones:
p: Las estrellas emiten luz
q: Los planetas reflejan la luz
r: Los planetas giran alrededor de las estrellas
Simbolizar la siguiente proposición:
No es cierto que las estrellas emiten luz y que los planetas la reflejan, luego los planetas
no giran alrededor de las estrellas
q) Dados las siguientes proposiciones:
p: Pablo atiende en clase
q: Pablo estudia en casa
r: Pablo fracasa en los exámenes
s:Pablo es aplaudido
Simbolizar la siguiente proposición:
No es el caso que Pablo atiende en clase y estudia en casa, por lo tanto fracasará en los
exámenes o no será aplaudido

2. Evaluar los siguientes esquemas moleculares:

a) {[( p  q)  p ]  q }  ( r  p )
b) [ (~p  q )  ~r ]  [ r  ~ ( p  ~ q )]
c) { [ ( p  q )  p ] }  [q  ( r  p )]
d) [(q  p)  ~ p ]  [(r  s)  p]
2
e) [ ( p  q )  ( q  r ) ]  (p  r )
f) ( p  q)  [( ~q  ~r )  ~ p ]
g) [ ( p  q )  ( q  r ) ]  (p  r )
h) [~p  ( q  r )  (p  r )  q ]
i) [(p  q)  r]  { ~p  [p  (~p  q)]}
j) ( p  q)  [ q  p)  (p  q ) ]