UNIVERSIDAD NACIONAL DE PIURA

FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICAS
DOCENTE: MSC. MARIBEL R. YARLEQUE ZAVALETA.

tiempo. Por lo tanto, modifican profundamente los

Lógica Matemática criterios de localización y organización espacial”.

Práctica Dirigida
12. Las proposiciones conjuntivas tienen
[Link] matriz final del esquema molecular: como términos de enlace
a) además, pero, sin embargo, al
 q  (p  q)   p  (p  q)  , es:
mismo tiempo que
b) salvo que, a menos que, o
también, excepto que
c) puesto que, ya que, dado que,
[Link] “Julio y Miguel son la misma
porque
persona".
d) siempre y cuando, es condición
necesaria y suficiente, es lo mismo que
e) no ocurre que, no es cierto que,
3."Juan, Pedro, Javier y Mario estudian juntos.
es falso que
Sin embargo, María estudia separada de Carlos".
13. Son proposiciones disyuntivas
inclusivas, excepto:
a) Boole fue europeo salvo que fue inglés
[Link] números 11,12 y 13 son naturales
b) Sócrates fue un maestro o filósofo
consecutivos, sin embargo, los números 17 y
c) O Leibniz fue filósofo o biólogo
20 no son consecutivos". Se formaliza:
d) O cuatro es un número par o impar
e) c, d
5. La proposición: “Ya que el medio sea
homogéneo, la luz se propaga en línea recta; en
14. Son proposiciones disyuntivas
consecuencia, es visible la formación de sombra
exclusivas:
o sólo penumbra. Empero ayuda a la formación
a) El hombre es un ser social o racional
de imágenes en la cámara fotoeléctrica”. Se
b) O Morgan fue literato o lógico
formaliza como:
c) O Sócrates fue griego o romano
d) Platón fue filósofo salvo que fue
[Link]: “ 2  5 es incompatible con que,
poeta e) b, c
2  −5 es necesario para que −2  5 ”
15. “Fumas droga, por lo tanto, tendrás un
[Link] proposición: “Los tres números 4, 5 y 6 son deterioro de neuronas”. Es una proposición:
naturales consecutivos, sin embargo, los a) Compuesta
números 4 y 7 no son consecutivos”. Se b) Atómica
formaliza: c) Condicional directa
d) Condicional inversa
8.“Javier ni es responsable, ni es activo. En e) Bicondicional
consecuencia, Javier no encuentra trabajo”, su
formalización correcta es: 16. José Luis Ingresó a la Escuela de
Oficiales puesto que se esforzó, es un
ejemplo de proposición:
[Link] es el caso que, Joel no sepa matemática ni a) Bicondicional
lógica; puesto que es ingeniero químico”. Se b) Condicional inversa
formaliza: c) Conjuntiva
d) Condicional directa
[Link] proposición: “Qué las personas no se e) Disyuntiva
alimentan en forma adecuada, es condición
suficiente para que estén débilmente nutridas”, 17. Formalizar: Si obtienes buenas notas,
Se puede deducir de ella: entonces no es cierto que perdías tiempo en
[Link] formaliza como: p → q el billar o te dedicabas a leer novelas.
[Link] una proposición condicional.
[Link]án presentes 2 conectivos monádicos. [Link] formalización correcta de:
[Link] 2 variables proposicionales. Carlos viajará a Tumbes o se quedará
[Link] un esquema replicativo. en Chiclayo, por lo tanto, si Carlos viaja a
Tumbes entonces no se quedará en
Son ciertas: Chiclayo.

[Link] el siguiente argumento: 19. La proposición “Si no es cierto que las

“Los modernos sistemas de transporte y / o estrellas emiten luz y que los planetas la
comunicación hacen posible la globalización. La reflejan, entonces éstos no giran alrededor
infraestructura e infoestructura han revolucionado de ellas”, se formaliza
actualmente las relaciones sociales espacio-

myarlequez@[Link]
Mgr. Maribel R. Yarleque Zavaleta.
 UNIVERSIDAD NACIONAL DE PIURA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICAS
DOCENTE: MSC. MARIBEL R. YARLEQUE ZAVALETA.

[Link]ñale la matriz principal del siguiente Son contingencias, excepto:

esquema molecular:
28. Si p(x): ( x − 1)  16 ; q(x): x + 12 = 14;
2
[ (~ p  ~ q)  (p  r) ]

r(x): x 2  ( x + 10 ) . Hallar el valor de

21. Es proposición atómica verdad de:
a) Las sirenas tienen escamas
b) Así como llueve así también 1 p ( 2 )  q ( 2 )   r ( 4)
nieva
c) España y Portugal fueron 2. p ( 4 )  r ( 5 )   q ( 4 )
países colonizadores
d) Es innegable que la euglena es 3.
un microorganismo que tiene p(1)  p(3)  r(2)  p(3) →  p(7)  q(2)
cloroplastos
e) Toda melodía es bella

22. Formalizar: Si obtienes buenas notas, 29. Si p = V , q = F , r = V

entonces no es cierto que perdías tiempo en Evaluar:
el billar o te dedicabas a leer novelas.
( r  s )  ( q  p )   ( s  p )
23. Aplicando la tabla de verdad demuestre
si la proposición siguiente es tautológica
............, consistente .............. o 30. Si la fórmula p * q tiene matriz final VFFV
contradictoria ............... luego, la fórmula: p * ( p * q) * q . Su
( p  q )  ( p   q)  →  (p  q)  (p
 q) matriz principal equivale a:

31. De: p q  ( p  q) . Hallar la matriz

24. Construya la tabla de verdad para la
proposición: principal de:
[(p  q)  r] → (~q  p); y diga qué se obtiene
en la matriz principal. 
 ( p q)  (p q)  p

[Link] la matriz final de: (p  q) → r

25. ¿Que se obtiene del siguiente esquema:
(p  q)  ~ (~ p  ~q)
a) tautología b) contradictoria
[Link] la matriz final de:
c) contingencia d) consistencia
“Ningún juez es honrado ya que todo
e) contrariedad
abogado es decente”.
26. Si el siguiente esquema es falso:
[Link]:
(p  q) → (r  s) , obtener los valores de
verdad de:
(p  q)  ( q  
p ) → q  (p  q)

35. Simplificar la proposición:

1. (p  q) → s  ( w  q) → p 

( p  w )  r   ( w  p ) → p 
p → ( q  p)  p  (q → p)
2.

3. ( p  q)  r   ( q  p)  s


36. Dado: p * q = (p → q) → p  
q p

Simplificar: ( p  r ) * q * (p  q)

[Link] los siguientes esquemas:
37. Sabiendo que: p  q  p → q
1.
( p  q)  ( p  q)  → (p → q)  (p  q) Simplificar: ( p  q)  ( q  p )

2. (p  q)  (p  q)   q 
38. Dado: p  q  p  p → ( q  t  r )  p 
3.. (p  p ) → ( q  q)  p Simplificar:

4. ( p → q)  ( q  p )   (p  q)
p  ( q  q)    ( q → p )  q
5. ( p  q)  q → (p  q) 39. Si definimos & como.

myarlequez@[Link]
Mgr. Maribel R. Yarleque Zavaleta.
 UNIVERSIDAD NACIONAL DE PIURA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICAS
DOCENTE: MSC. MARIBEL R. YARLEQUE ZAVALETA.

47. Se definen los operadores lógicos ,

p&q   p → q  p → ( s  t  w ) 
 
p  

mediante

pq = p q
Simplificar: (p & q) & ( q & p)
pq = p q
[Link] p@q   
p → p → ( q  r  s )  p .
Hallar el equivalente a:
Simplificar: (p → q) @ ( q  p )  @ (p  q)
( pq)  (pq)   (pq)  (pq) 

Se obtiene:
41. Se definen las metavariables α y β como
sigue: [Link] matriz final de: p  q , tiene “x” filas
(p,q) = ( p  q)  q verdaderas e “y” filas falsas.
(p,q)=(p → q)  p . Calcular E:
Por tanto: (p,q)  (p,q) es  y x
 x +y 

equivalente a: (
E = xy + yx )  

[Link] define
49. La matriz final de la siguiente proposición:

p%q = ( q → p )  p  q   p. Cesar es profesor o es alumno, pero no
puede ser profesor.
Matriz principal hay:
Simplificar: (p% q) % ( q% p )  %p
50. Si se sabe que la siguiente afirmación es no
verdadera: “No es cierto que si puedo leer es
[Link] proposición: “el amor es ciego o los obvio que puedo estudiar, por lo tanto, no
hombres no son conscientes del hecho de puedo ingresar a la UNP”.
que el amor es ciego. El amor es ciego y las
mujeres sacan ventaja de ello. En Se puede concluir:
conclusión, las mujeres no sacan ventaja de
a) No leo
ello”, equivale:
b) No solo leo sino también ingreso a la UNP
a) Es mentira que el amor es c) Me voy a celebrar.
ciego. d) No Leo sin embargo no ingreso a la UNP.
b) Es mentira que el amor es e) Bebo y no leo.
ciego y que las mujeres sacan ventaja
de ello. 51. La proposición: “La tuberculosis es una
c) Es mentira que el amor es enfermedad mortal de los seres humanos y
ciego, y que las mujeres sacan ventaja de los animales, a no ser que solamente la
de ello. tuberculosis es una enfermedad mortal de
d) Es mentira que el amor es los seres humanos”, tiene como equivalente:
ciego o que las mujeres sacan ventaja
a) La tuberculosis es una
de ello.
enfermedad mortal de los seres
e) Los hombres no son
humanos tal como de los animales.
conscientes de que el amor es ciego.
b) La tuberculosis es una
enfermedad mortal de los seres
[Link] el equivalente de: humanos, pero no es una enfermedad

( qp  ) ( m p )  (p  p)  p

mortal de los animales.
c) La tuberculosis no es una
Sabiendo que: a  b  ( a → b ) → b
enfermedad mortal de los seres
humanos.
d) La tuberculosis es una
[Link] la expresión equivalente de:
enfermedad mortal de los seres
( n m) (m → n) (n  m)
  humanos.
e) La tuberculosis es una
Sabiendo que: p q ( p q)  q enfermedad mortal también de todos los
animales.

[Link] define: p  q  (p q) p   q 52. La proposición: “El calor eleva la temperatura,
Hallar la expresión más simple para: no obstante, produce las lluvias excepto que

(p  q)  p

myarlequez@[Link]
Mgr. Maribel R. Yarleque Zavaleta.
 UNIVERSIDAD NACIONAL DE PIURA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICAS
DOCENTE: MSC. MARIBEL R. YARLEQUE ZAVALETA.

solamente el calor no eleva la temperatura”, d) Si el oro es elemento químico entonces

el cloro también lo es.
es equivalente a:
e) El cloro es elemento químico.
a) El calor eleva la temperatura y
produce las lluvias. 57. La proposición: “No es verdad que
b) El calor eleva la temperatura. practique fútbol siempre que y sólo cuando
c) Dado que el calor eleva la tenga la pierna rota. Aunque no practico
temperatura por eso produce las lluvias. fútbol”, equivale a:
d) El calor eleva la temperatura a) Tengo la pierna rota.
asimismo no produce las lluvias. b) Practico fútbol.
e) El calor no eleva la temperatura c) Practico fútbol y no tengo la pierna rota.
de la misma forma produce las lluvias. d) No practico fútbol, aunque tenga la
pierna rota.
e) No practico fútbol
[Link] la proposición equivalente de: “No es
el caso que, en Piura hace calor o sólo no hace [Link] la conclusión de las siguientes
viento. En Piura hace calor” premisas:
a) En Piura hace calor o hace viento.
b) En Piura no hace calor o no hace P1: [(p  r)  p] → q
viento. P2: (p  s) → r
c) En Piura hace calor y no hace viento. q r)  s
d) En Piura no hace calor o hace viento. P3: (
e) En Piura hace calor y hace viento.

[Link] las premisas:

54. El argumento: “Mario juega, si y sólo si
pq
come y estudia. Pero Mario no juega”, es P1:
equivalente a: P2: r → (p  q)
P3: r→ s
a) El que Mario juegue se define como que
come y estudia. P4: ( h t ) s
b) Mario no juega, pero no come a no Se concluye:
ser que no estudie.
[Link] la conclusión, dada las siguientes
c) El que Mario juegue es lo mismo que
premisas:
come y estudia.
(1) t  s
d) Mario juega es condición suficiente y
necesaria para que Mario coma y estudia. (2) s → t
(3) s
e) El que Mario coma y estudia es
condición suficiente y necesaria para que (4) t
Mario juegue. (5) q → t
55. Sea la proposición: “Sólo si Juan es (6) s  q  r
profesor, es pedagogo. O sólo Juan no es
profesor”, su equivalente es: [Link] las premisas, hallar la conclusión:
a) Juan es profesor o no es pedagogo (1) p  t
b) Juan es pedagogo y también profesor. (2) s → t
c) Si Juan no es pedagogo por (3) s  q
consiguiente no es profesor. (4)
(q  p) → u
d) Si Juan no es pedagogo, es profesor.
[Link] las premisas, hallar la conclusión:
(1) p  t
e) Juan es profesor, siempre y cuando sea
pedagogo.
(2) s → t
56. La proposición “El cloro no es elemento (3) s  q
químico a menos que solamente el cloro y el
oro son elementos químicos. Pero el oro es (4)
(q  p) → u
elemento químico”, equivale:
Dadas las premisas, hallar la conclusión:
a) El oro es elemento químico.
b) El oro no es elemento químico.
c) Si el cloro es elemento químico
entonces el oro también lo es.

myarlequez@[Link]
Mgr. Maribel R. Yarleque Zavaleta.
 UNIVERSIDAD NACIONAL DE PIURA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICAS
DOCENTE: MSC. MARIBEL R. YARLEQUE ZAVALETA.

[Link] la conclusión, dadas las premisas: [Link] la conclusión, dada las siguientes
(1) p → q premisas:
(2) s (1) s → p
(3) r → q (2) p t

(4) t → q (3) t →r
(5) p  r
[Link] la conclusión, dada las siguientes
premisas:
[Link] la conclusión, dada las siguientes (1) s  t
(2) t  p
premisas:
(1) s → p (3) s → r
p t
(2) (4) p → q
(3) t →r
[Link] las premisas, hallar la conclusión:
[Link] la conclusión, dada las siguientes (1) x + 8 = 12  x  4
premisas:
(2) x = 4  y  x
(1) s  t
( x + 8 = 12  y  x ) → y + 8  12
(2) t  p (3)
(3) s → r
[Link] la conclusión, dada las siguientes
(4) p → q premisas:
(1) x = y → x = z
[Link] la conclusión formal del siguiente
razonamiento: (2) x  y → x  z
(1) x + 2  6 → x  4 (3) x  z  y  z
(4) y  z  x  z
(2) y  6  x + y  10
(3) x + y  10  x + 2  6 [Link] Daul decía la verdad entonces Sócrates
corrompía a la juventud . Y si el tribunal
condenó a Sócrates equívocamente entonces
[Link] la conclusión, dada las siguientes Daul no es culpable. Sin embargo, o Sócrates
premisas: no corrompía a la juventud o Daul es el
(1) s  t culpable. Por lo tanto:

(2) t  p
(3) s → r [Link] la conclusión del siguiente
(4) p → q argumento, que se deriva de las premisas
dadas:
[Link] la conclusión formal del siguiente “Si María está en lo cierto, entonces Jaime
razonamiento: está equivocado. Si Jaime está equivocado,
(1) x + 2  6 → x  4
entonces Luís también está equivocado. Si
Luís está también equivocado, entonces el
(2) y  6  x + y  10 espectáculo no es esta noche. O el
(3) x + y  10  x+2 6 espectáculo es esta noche o José no verá el
espectáculo. María está en lo cierto”.
[Link] la conclusión, dadas las premisas:
(1) p → q
(2) s
(3) r → q
(4) t → q
(5) p  r

myarlequez@[Link]
Mgr. Maribel R. Yarleque Zavaleta.