UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Perú, Decana de América)

FACULTAD DE CIENCIAS MATEMÁTICAS

ESTUDIOS GENERALES

PRÁCTICA DIRIGIDA Nº 01
Tema: Nociones de Lógica. Leyes lógicas. Cuantificadores Semestre: 2024-I
Curso: Matemática Básica

1) Indique cuales de los siguientes enunciados es una proposición lógica y exprese

simbólicamente
a) Calculo III es un curso de Estudios Generales
b) El profesor de la facultad.
c) 2n+1 siempre es un numero impar.
d) Pedro estudiará maestría cuando y solamente cuando obtenga su grado de bachiller.
2) Describa formalmente la siguiente proposición
a) Si Ana estudia mucho, entonces no sacara mala nota ni desaprobara el curso.
b) Si José va a trabajar tarde, entonces le pagaran menos y si no va a trabajar tarde, le pagaran
más. Por tanto, si va a trabajar tarde o no, le pagaran menos o más.
3) En los ejercicios siguientes, se pide construir la tabla de verdad de cada una de las
proposiciones compuestas:
(𝑎𝑎 ) (𝑝𝑝 →∼ 𝑞𝑞 ) ∨ (∼ 𝑝𝑝 ∨ 𝑟𝑟 ) (𝑏𝑏 ) (𝑝𝑝 → 𝑞𝑞 ) → [(𝑝𝑝 ∨∼ 𝑞𝑞 ) → (𝑝𝑝 ∧ 𝑞𝑞 )]
(𝑐𝑐 )[(𝑝𝑝 ∨ 𝑞𝑞 ) ∧ 𝑟𝑟 ] → (𝑝𝑝 ∧∼ 𝑞𝑞 ) (𝑑𝑑 ) (𝑝𝑝 → 𝑞𝑞 ) → [𝑝𝑝 → (∼ 𝑞𝑞 ∧ 𝑝𝑝 )]
4) En los siguientes ejercicios se pide determinar el valor de verdad de la proposición compuesta
[(∼ 𝑝𝑝 ∧ 𝑞𝑞 ) ∨ (𝑝𝑝 ∨ 𝑟𝑟 )] → [(𝑝𝑝 ∨∼ 𝑞𝑞 ) ∨ (𝑝𝑝 ∨∼ 𝑟𝑟 )] para los valores de verdad de las
proposiciones simples:

((χ)
a) p ≡ F , q ≡ F ,r ≡ F
p ≡V , q ≡ F , r ≡V
(b ) p ≡ F , q ≡ F , r ≡V
( d ) p ≡V , q ≡V , r ≡ F
(e) p ≡V , q ≡V , r ≡V
5) Determinar los valores de verdad de 𝑝𝑝, 𝑞𝑞, 𝑟𝑟 de manera que la proposición
(𝑝𝑝 ∧∼ 𝑞𝑞) → [𝑟𝑟 ∨ (𝑝𝑝 ↔ 𝑞𝑞)] sea falsa.
V ( p) V=
6) Tenemos tres variables proposicionales p, q y r, donde= , V ( q ) F=
, V ( r ) V . Halle
el valor de verdad de los siguientes esquemas moleculares:
(𝑎𝑎) 𝑟𝑟 → (𝑞𝑞 ∨ 𝑝𝑝) (𝑏𝑏) ∼ (𝑝𝑝 ∧ 𝑟𝑟)𝛥𝛥(𝑞𝑞 →∼ 𝑝𝑝)
(𝑐𝑐) ∼ 𝑞𝑞 → (∼ 𝑝𝑝 ∨ 𝑟𝑟) (𝑑𝑑) ∼ (𝑝𝑝 ∧∼ 𝑞𝑞) → (∼ 𝑟𝑟 ∧ 𝑝𝑝)
7) Niegue la siguiente proposición: “Es de día y toda la gente se ha levantado”
8) Determine si cada una de las siguientes proposiciones es Tautología, Contradicción o
Contingencia
 UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
(Universidad del Perú, Decana de América)

FACULTAD DE CIENCIAS MATEMÁTICAS

ESTUDIOS GENERALES

(𝑎𝑎) ∼ (𝑝𝑝 ∧ 𝑞𝑞) ∨ 𝑟𝑟 (𝑏𝑏) 𝑞𝑞 ↔ (∼ 𝑝𝑝 ∨ 𝑞𝑞)

(𝑐𝑐) 𝑝𝑝 →∼ (𝑞𝑞 ∧ 𝑟𝑟) (𝑑𝑑) �𝑝𝑝 → (𝑞𝑞 → 𝑟𝑟)� ↔ (𝑝𝑝 ∧ 𝑞𝑞 → 𝑟𝑟)
9) Simplificar las siguientes proposiciones:
(𝑎𝑎) ∼ (∼ 𝑝𝑝 ∨∼ 𝑞𝑞) (𝑏𝑏) ∼ (𝑝𝑝 ∨ 𝑞𝑞) ∨ (∼ 𝑝𝑝 ∧ 𝑞𝑞)
10) Simplificar las siguientes proposiciones:
(𝑎𝑎) [((∼ 𝑝𝑝) ∧ 𝑞𝑞) → (∼ 𝑟𝑟 ∧ 𝑟𝑟)] ∧∼ 𝑞𝑞 (𝑏𝑏) [(𝑝𝑝 → 𝑝𝑝) ∨ 𝑞𝑞 ] ∧ [∼ 𝑞𝑞 ∨ (𝑟𝑟 ∧ 𝑞𝑞)] ∧ [𝑝𝑝 → (𝑝𝑝 ∨∼ 𝑞𝑞)]
11) La proposición ∼ (𝑝𝑝 → 𝑞𝑞) ∧ (𝑞𝑞 →∼ 𝑟𝑟),
¿A cuál (o cuáles) de las siguientes proposiciones es equivalente?
(𝑎𝑎) 𝑝𝑝 ∧ (𝑝𝑝 ∨∼ 𝑟𝑟) ∧ (∼ 𝑞𝑞) (𝑏𝑏)𝑝𝑝 ∧ (∼ 𝑞𝑞) ∧ [∼ (𝑟𝑟 ∧ 𝑞𝑞)]
(𝑐𝑐) (∼ 𝑝𝑝 ∧ 𝑞𝑞) ∨ [(∼ 𝑟𝑟 ∧ 𝑝𝑝) ∧∼ 𝑞𝑞 ]
12) Halle un contraejemplo para las siguientes proposiciones, siendo B = { 2 , 3 , . . . . , 8 , 9 } :

(a) ∀x ∈ B , x es un número primo (b) ∀x ∈ B , x es un número par

13) Niegue las siguientes proposiciones:
(a) ∃ x , ∀ y p ( x, y ) ( b ) ∃ x , ∃ y , ∀ z p ( x, y , z )
(𝑐𝑐)∀𝑥𝑥, ∀𝑦𝑦𝑦𝑦(𝑥𝑥, 𝑦𝑦) (𝑑𝑑)∃𝑥𝑥, ∃𝑦𝑦[𝑝𝑝(𝑥𝑥) ∧∼ 𝑞𝑞(𝑦𝑦)]
14) Verifique que la negación de:
(a) ∀x ∀y, ∃z ( x=
+ y z ) es ∃x ∃y ∀z ( x + y ≠ z )
(b) ∃y ∀x ( xy ≤ 2 ) es ∀y ∃x ( xy > 2 )
15) Verifique que la negación de:
(𝑎𝑎) ∀𝑥𝑥[𝑝𝑝(𝑥𝑥) ∨ 𝑞𝑞(𝑥𝑥)] 𝑒𝑒𝑒𝑒 ∃𝑥𝑥[∼ 𝑝𝑝(𝑥𝑥) ∧∼ 𝑞𝑞(𝑥𝑥)]
(𝑏𝑏) ∀𝑥𝑥∃𝑦𝑦[𝑝𝑝(𝑥𝑥) ∧ 𝑦𝑦 ≤ 𝑥𝑥 ] 𝑒𝑒𝑒𝑒 ∃𝑥𝑥∀𝑦𝑦[∼ 𝑝𝑝(𝑥𝑥) ∨ 𝑦𝑦 > 𝑥𝑥 ]
16) Verifique que la negación de:
(𝑎𝑎) ∀𝑥𝑥[𝑝𝑝(𝑥𝑥) ∧∼ 𝑞𝑞(𝑥𝑥)] 𝑒𝑒𝑒𝑒 ∃𝑥𝑥 [∼ 𝑝𝑝(𝑥𝑥) ∨ 𝑞𝑞(𝑥𝑥)]
(𝑏𝑏) ∀𝑥𝑥∃𝑦𝑦[𝑥𝑥 = 5 ∧ 𝑦𝑦 ≤ 𝑥𝑥 → 𝑦𝑦 < 5] 𝑒𝑒𝑒𝑒 ∃𝑥𝑥∀𝑦𝑦[𝑥𝑥 = 5 ∧ 𝑦𝑦 ≤ 𝑥𝑥 ∧ 𝑦𝑦 ≥ 5]
17) Expresar simbólicamente el siguiente teorema: “si un número es impar, entonces su cuadrado
es impar”. Enunciar el contrarrecíproco, el contrario y el reciproco. Demostrar el primero

18) Dibujar los circuitos correspondientes a las expresiones simbólicas:

(𝑎𝑎) (𝑝𝑝 ∧ 𝑞𝑞) ∨∼ 𝑝𝑝 (𝑏𝑏) (𝑝𝑝 ∧∼ 𝑞𝑞) ∨ (∼ 𝑝𝑝 ∧ 𝑞𝑞)
19) Dibujar los circuitos correspondientes a las expresiones simbólicas:
(𝑎𝑎) (𝑝𝑝 ∨ 𝑞𝑞) ∧∼ 𝑝𝑝 (𝑏𝑏) (𝑝𝑝 ∨∼ 𝑞𝑞) ∧ (∼ 𝑝𝑝 ∨ 𝑞𝑞)
20) Se tiene el siguiente circuito:
 UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
(Universidad del Perú, Decana de América)

FACULTAD DE CIENCIAS MATEMÁTICAS

ESTUDIOS GENERALES

a) Determinar la proposición correspondiente.

b) Simplificar ésta, y construir el circuito asociado.

FCM, ABRIL 2023 LOS PROFESORES