“UNIVERSIDAD NACIONAL DE CAJAMARCA”
FACULTAD DE EDUCACIÓN
ESCUELA ACADÉMICO - PROFESIONAL DE EDUCACIÓN
ESPECIALIDAD MATEMÁTICA – FÍSICA
CURSO: Matemática
TEMA: Práctica domiciliaria de lógica proposicional
DOCENTE: Carranza Sánchez Constante Rosario
INTEGRANTES:
Chuquiruna Bustamante, Mario Luis
Aquino Julcamoro Silverio Celestino
CAJAMARCA - PERÚ 2023
PRÁCTICA DOMICILIARIA DE LÓGICA PROPOSICIONAL
PARA CADA GRUPO DE EJERCICIOS, DESRROLLE SOLAMENTE EL 70 %
1. Simbolizar en forma completa las siguientes proposiciones:
a. Si es después de las siete, entonces la puerta está cerrada y el profesor no me
dejará ingresar.
p: es después de las siete
q: la puerta está cerrada
r: el profesor no me dejará ingresar
Formalización: p →(q ∧r )
b. Mañana viene Juan; luego, si no viene, viaja a Lima si consigue pasaje
p: Mañana viene Juan
q: Juan viaja a Lima
r: Juan consigue pasaje
Formalización : p → [ p → ( r → q ) ]
c. Si has escogido bien tu carrera, te esforzarás y triunfarás. Si no triunfas, no has
escogido bien tu carrera o no te has esforzado.
p: has escogido bien tu carrera
q: te esforzarás
r: triunfarás
Formalización: [ p → ( q ∧ r ) ] ∧ [ r → ( p∨ q ) ]
d. Eres sincero o no lo eres. Si eres sincero, podrás superarte; si no lo eres, no
tendrás buenos amigos.
p: Eres sincero
q: podrás superarte
r: tendrás buenos amigos
Formalización: ( p ∨ p)∧ [ ( p → q ) ∧( p → r) ]
e. Utilizando las variables:
p= Cristal Gana el campeonato
q= Alianza queda en segundo lugar
r= Universitario gana todos los partidos restantes
Simbolizar las siguientes proposiciones:
1. Si cristal gana el campeonato, entonces Alianza queda en segundo lugar y
Universitario no gana todos los partidos restantes.
Formalización: p →(q ∧ r )
2. Universitario gana todos los partidos restantes pues Cristal gana el campeonato o
Alianza queda en segundo lugar.
Formalización: ( p ∨q) → r
3. O bien, si Cristal gana el campeonato, entonces Alianza queda en segundo lugar, o
bien Universitario gana todos los partidos restantes si Alianza no queda en segundo
lugar.
Formalización: ( p → q) ∆( q → r )
f. 5 ≠ 8 y si2+3=8 , entonces 2<3 ó 3 ≤ 8
p: 5 ≠ 8
q:2+3=8
r: 2<3
s: 3 ≤ 8
Formalización : p ∧ [ q → ( r ∨ s ) ]
g. Carlos será encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde
testimonio dirá la verdad y Carlos no será encontrado culpable si no dice la
verdad.
p: Carlos será encontrado culpable
q: Carlos hoy rinde testimonio
r: Carlos dirá la verdad
Formalización : [ ( q →r )∧ ( r ∨ p ) ] →(q → p)
h. La sociedad está descontenta si y solo si no hay cambio, pero si la sociedad está
contenta, o hay revolución o hay cambio social.
p: la sociedad está contenta
q: hay cambio
r: hay revolución
Formalización : ( p ↔ q) ∧ [ p → ( r ∆ q ) ]
i. Utilizando las variables:
p= Luis ha venido demasiado tarde
q= Juan ha venido demasiado pronto
r = El señor Pérez está enfadado
Simbolizar las siguientes proposiciones:
1. Luis ha venido demasiado tarde a pesar que Juan ha venido demasiado pronto
puesto que el señor Pérez está enfadado.
Formalización: (r → q)→ p
2. Es imposible que el señor Pérez está enfadado si Luis ha venido demasiado tarde,
porque si Juan ha venido demasiado pronto, entonces el señor Pérez no está
enfadado.
Formalización: [ ( q → r ) → ( p →r ) ]
3. Si no es verdad que Juan ha venido demasiado pronto no obstante que Luis ha
venido demasiado tarde, entonces el señor Pérez no está enfadado o Juan no ha
venido demasiado pronto.
Formalización: ( q ∧ p)→( r ∨ q)
j. El que estudia lógica no está libre de cometer errores, pero tiene menos
probabilidades de equivocarse.
p: El que estudia lógica está libre de cometer errores
q: tiene menos probabilidades de equivocarse.
Formalización: p ∧q
k. Si las habitaciones son escasas, la gente quiere vivir con sus parientes políticos y
si la gente no quiere vivir con sus parientes políticos, entonces las habitaciones
no son escasas.
p: las habitaciones son escasas
q: la gente quiere vivir con sus parientes políticos
Formalización: ( p → q)∧( q → p)
l. O las leyes de la mecánica son un conocimiento “a priori”, o la ley de la
gravitación es un conocimiento empírico si el conocimiento del espacio físico no
es “a priori”
p: las leyes de la mecánica son un conocimiento “a priori”
q: la ley de la gravitación es un conocimiento empírico
r: el conocimiento del espacio físico es “a priori”
Formalización: p ∆( r → q)
m. Pedro estuvo en el accidente si tomó el ómnibus, y no asistió a la reunión si
estuvo en el accidente; pero, Pedro Tomó el ómnibus y no asistió a la reunión. De
ahí que, Pedro estuvo en el accidente.
p: Pedro estuvo en el accidente
q: Pedro tomó el ómnibus
r: Pedro asistió a la reunión
Formalización: {[ ( q → p ) ∧ ( p → r ) ] ∧ ( q ∧ r )}→ p
n. Si no puedes comportarte de una manera socialmente razonable, de una forma
que no perjudique o moleste a los demás, entonces no disfrutarás del privilegio
de estar con otros y no serás capaz de hacer todas esas cosas que tienen lugar
cuando estás con otros.
p: comportarte de una manera socialmente razonable
q: perjudique
r:moleste a los demás
s: disfrutarás del privilegio de estar con otros
t: serás capaz de hacer todas esas cosas que tienen lugar cuando estás con otros
Formalización: [ p ∧ ( q ∨r ) ] → ( s ∧ t )
o. El Perú es una nación subdesarrollada porque tiene un atraso tecnológico tal
como científico. Podemos salir de este atraso siempre que y sólo cuando
desarrollemos nuestras conciencias así como nos esforcemos, porque no se da el
caso de que el desarrollo se alcancen con buenas intenciones o deseos. Por lo
tanto, o el Perú supera sus problemas o sigue siendo una nación subdesarrollada.
p: El Perú es una nación subdesarrollada
q: tiene un atraso tecnológico
r: tiene un atraso científico
s: desarrollemos nuestras conciencias
t: nos esforcemos
u: el desarrollo se alcance con buenas intenciones
v: el desarrollo se alcance con buenos deseos
w: supera sus problemas
Formalización: { [ ( q ∧r ) → p ] ∧ {[ ( q ∨r ) ↔ ( s ∧t ) ] ← ( u ∨v ) } } → ( w ∆ p )
