UNIVERSIDAD NACIONAL “SAN LUIS GONZAGA FACULTAD DE ADMINISTRACIÓN

MATEMATICA
LOGICA Y CONJUNTOS
PRACTICA DIRIGIDA N°01: PROPOSICIONES LÓGICAS
1. ¿Cuáles de las siguientes frases son proposiciones?
a) La leche es ácida.
b) ¿El Titanic se hundió o se quemó?
c) El domingo Juan está siempre ocupado.
d) 3 + 3 = 7
e) ¡Cómprate un celular!
f) La ciudad x es famosa por el Coliseo.
g) Habla continuamente sobre la crisis del dólar.
h) 53.
i) David venció a Goliat con una honda.
k) Probablemente el barco a vapor es.
l) ¡Menos mal que ha dejado de llover!
m) Hasta el siglo XVII se creyó en una relación entre las fases lunares y las enfermedades.
n) El inicio de la escuela es a mitad de marzo.
ñ) ¿ganamos?

2. Formalice las siguientes proposiciones

a) Mitchel estudia Economía o Administración.
b) La cerveza es bebible pero no está fría.
c) Si el concierto es público, el solista toca bien.
d) Sólo si el concierto es público, el solista toca bien.
e) Ni Napoleón, ni De Gaulle eran ingleses.
f) Sólo si un número es impar no se puede dividir por 2.
g) Rosa y César se casaron el 14 de octubre, aunque no son peruanos.
h) La puerta o está abierta o está cerrada.
i) El millonario tiene miedo que su patrimonio se reduzca, el filósofo que se acreciente su indigencia.
j) El gato captura pájaros en lugar de ratones.
k) No es suficiente que venga Andrés para que Rosario permanezca.
l) Va al cine siempre y cuando no sea película de estreno.
m) Lito toca el piano y el órgano, Manuel sin embargo, el piano y el arpa.

3. Formalizar los siguientes enunciados:

a) La sangre es un líquido de color rojo, puesto que no está constituido por plasma incluso por hematíes

b) El 12 es número par dado que no es divisible por 5, además es un número compuesto

c) Un kilómetro no equivale a 1000 metros, no obstante si voy muy rápido por la autopista implica que me
accidentaré
d) Si el agua pasa de estado líquido a sólido entonces se solidifica, asimismo si pasa de estado gaseoso a
líquido implica que se condensa

e) Es absurdo que, sea condición necesaria que Bertha sea una representante de ventas para que sea
profesora universitaria a dedicación exclusiva

f). Para que Joel tenga estudios de maestría en Gestión empresarial es condición necesaria que no sea
economista de profesión

g) Si María contesta ésta pregunta, será una pregunta fácil; sin embargo ésta pregunta es fácil y engañosa
dado que Amanda no la contestó

h) No podrá recuperarse la economía ni el riesgo país disminuirá, si los piqueteros cortan el tránsito y
aumenta la crisis financiera en Ucrania.

4. Determine el valor de verdad de cada una de las siguientes proposiciones:

a) Si 32/45= 0,5 entonces 26x3=263
b) No es verdad que: 38 + -45 =7, si y solo si 5x7 =35
c) Es falso que; si Caral, se ubica en Huancayo, entonces Cahuachi está en Ica
d) No es cierto que, 3/7 es 6/14 o que ½ + 1/3= 2/5
5. Determinar los valores de verdad de verdad de p, q y r si la proposición ¿es falsa
 UNIVERSIDAD NACIONAL “SAN LUIS GONZAGA FACULTAD DE ADMINISTRACIÓN

6. Determine el valor de verdad de las proposiciones p, q, r y s si se sabe que la siguiente proposición es

verdadera. [s → (r ¬ r)] → [( p → q ¿ ¿  s  ¬ r]

7. Dadas las proposiciones q: “4 es un número impar”, p y r cualesquiera tal que  [ (r q)  (r  p) ] es

verdadera, halle el valor de verdad de los siguientes esquemas moleculares:
a) r  ( p   q) b) [r  (p  q)]  (q  p) c) (r   p)  (q p)

8. ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:

a) [ ( q  p ) ∧  q ]  ( p ∧ q ) Falsa b) [ ( p  q )   r ] v [  q  r ] Falsa
c) {  p ∧ ( p v q ) }  [ p ⇔ q ] Verdadera

9. Construye las tablas de verdad de cada una de las proposiciones siguientes:

a) [(p  q) p] q

b) [(p q)  q]  p)  (p  q)  (p  r)

10. Demuestre por medio de tablas de verdad si las siguientes proposiciones son Tautología (T)
Contingencia (k) o Contradicción (C)
a) [(p  q) p]  q
b) [(p  q)  r]  [(p   q)  r]
c) [(p q)  (p  r)]  (q  r) es la negación de:  (p  q)

11. Si se define p  q, por la tabla

p q pq
V V F
V F V
F V F
F F F

Simplificar [(p  q)   q]  [(p  q)   p]