SEMANA 1

1. De las siguientes expresiones, indicar cuales son proposiciones lógicas.

▪ 4+9=20 ▪ La semana tiene y días

▪ x es el presidente del Perú. ▪ No engañes nunca a nadie
▪ 23 es un número primo. ▪ Juan es bondadoso
▪ Todo número entero es positivo. ▪ Los números racionales son inteligentes
▪ 123636369 es un número divisible por 3. ▪ Voy a la disco o estudio.
▪ !Cierra la puerta! ▪ Romeo es un personaje de una obra.
▪ El valor de ▪ 3x + 4y = 10.
▪  es un número trascedente ▪ a 2 + b2 = c 2 , a, b.c 
▪ 3x + 5 = 9
▪ ¿Puedes bajar al garaje?
▪ La casa de Javier es muy bonita y soleada.
▪ La lógica es distinta a la matemática
▪ ¡Pero quédate quieto que me mareas!
▪ ¿Me puedes ayudar a salir del coche?
▪ Buenas noches
▪ 2+2=5
▪ Cesar vallejo nació en Vallejo
▪ ¿Qué edad tienes?
▪ El día de hoy es jueves
▪ ¡Viva el Perú!
▪ 2+3<10-3
▪ Prohibido detenerse
▪ El número 1331 es divisible por 11
▪ El rio suena cuando piedras trae
▪ Si no quieres vivir en vano construye una
casa, escribe un libro y ten un hijo
▪ Todos los hombres no son mortales
▪ x es la capital del Perú
▪ Pienso luego existo
▪ La UNTRM tiene 15 años de fundada
▪ El calor dilata los cuerpos
▪ ¿Cómo se llama el rio más extenso del
mundo?
▪ La matemática es una ciencia fáctica
▪ ¡Hace calor!
▪ Ojala me gané la Tinka
▪ La gravedad de la tierra es 9.8 m/s2
▪ El Perú tiene 24 departamento
▪ Prohibido fumar.
▪ El valor de e = 2.718281...
▪ Mañana lloverá.
▪ El verano es una estación playera.
▪ ¡Silencio!
▪ Yurimaguas es capital del Alto Amazonas.
▪ El cero es un número natural.
▪ x+5=10
▪ Ten piedad de mí, por favor
▪ Todo número entero es negativo.
▪ 5x – 2 > 8.
▪ 1+x =x+1.
▪ x – 8 ≥ 4 + 6.
▪ El número 2221 es divisible por 2.
▪ 3 + 8 = 1 + 2 + 3.
▪ ¡Auxilio!
▪ Quisiera ser mi enamorada.
▪ 97 es un número primo.

José Luis Farro Quesquén 1

2. Diga si las siguientes proposiciones son atómicas o moleculares:
▪ Osama y Omar son concuñados.
▪ Toda inferencia inductiva es una inferencia en términos de probabilidad.
▪ Hace unos años se considera al computador como una gran calculadora, pero hoy se habla de sus
logros intelectuales.
▪ El oxígeno no produce óxido en presencia de metaloides.
▪ Tanto la suma como la multiplicación de números naturales son asociativas.
▪ Los peces son acuáticos puesto que respiran por branquias.
▪ La suma de los ángulos internos de un triángulo es igual a 180°.
▪ Luis y Pedro son contemporáneos.
▪ El abuelo y la abuelita obsequiaron una muñeca a su nieta.
▪ Hace aproximadamente 1 750 000 años el Homo habilis desapareció para ser reemplazado por un
individuo más fornido, conocido como Homo erectus.
▪ Una lógica se dice paraconsistente si puede ser la lógica de teorías inconsistentes pero no triviales.
▪ A la descomposición química de una sustancia en iones por la acción de la corriente eléctrica se
llama electrolisis.
▪ Los términos lenguaje objeto y metalenguaje no son absolutos sino relativos.
▪ Por razones aún no conocidas, el hombre de Neanderthal desapareció hace unos 40 mil años y
cedió el lugar a un individuo venido del este: el hombre de Cro – Magnon, nuestro ancestro directo.
▪ Decir que la inteligencia es hereditaria es defender la idea de nuestras facultades intelectuales se
transmiten de padres a hijos casi de la misma manera que el color de los ojos.
▪ “Liberalismo burgués posmoderno” fue una contribución a un simposio sobre “La responsabilidad
social de los intelectuales”, celebrado en la reunión anual de 1983 de la división oriental de la
Asociación Americana de Filosofía.
▪ Me parece que la izquierda posmarxista actual difiere de la marxista anterior principalmente en
que esta última tenía en mente una revolución concreta.
▪ La concepción que denominó “Pragmatismo” es casi la misma que la que Hilary Putnam denomina
“la concepción internalista de la filosofía”.

3. Simboliza y determina el valor de verdad de las siguientes proposiciones:

▪ Si el Bus Toribiano sufrió desperfectos en el camino entonces Felix llegará tarde a la universidad.
Pero, Felix llegará tarde a la universidad. Por lo tanto, si el Bus Toribiano sufrió desperfectos en
el camino entonces Felix viajó en colectivo.
▪ El mes de marzo tiene 31 días y el mes de febrero 30 días.
▪ El día tiene 24 horas si y solo si, una hora tiene 60 minutos.
▪ Mario Vargas llosa gano el nobel en el 2014 o Humala es el presidente del Perú.
▪ Si, 3+2=5, entonces 204 es múltiplo de 17.
▪ 10 es múltiplo de 3 y 30 es divisor de 600.
▪ ¡Llueve!
▪ Ó 99 es múltiplo de 3 ó 4 no es un número par.
▪ No es verdad que, 4+3>6 y que 10-2=8.
▪ Si Junín está en el Perú entonces rio de janeiro está en argentina.

4. Formalizar las siguientes expresiones del lenguaje natural:

a. La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía
buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos.
b. Si no pago la luz, entonces me cortarán la corriente eléctrica. Y Si pago la luz, entonces me
quedaré sin dinero o pediré prestado. Y Si me quedo sin dinero y pido prestado, entonces no
podré pagar la deuda, si solo si soy desorganizado”

c. Si Manuel es un televidente extraordinario y un pésimo estudiante, entonces sus padres no estarán

satisfechos y no le dejarán ver tanto la televisión.
d. Sólo si sigue lloviendo, no pasaremos problemas de abastecimiento de agua este verano, pero sólo
si deja de llover, no pasaremos problemas de inundaciones esta semana.

José Luis Farro Quesquén 2

 e. Si Pedro no estuvo aquí, entonces tal vez lo descubrió por otro lado o tal vez si no lo descubrió
fue por pura casualidad.
f. Te veré si llegas a tiempo

5. Si “s” y la proposición s → ( p  q) son verdaderas, indique los valores de verdad de las siguientes
proposiciones:
a) ( p  q)
b) ( p → q ) s
c) s  (q → p)
6. De la falsedad de la proposición: ( p → q)  ( r → s)
Se deduce que el valor de verdad de los esquemas moleculares:

A = ( p q)  ( q)
B = ( r  q )   ( q  r )  s 
C = ( p → q ) → ( p  q )  q 
7. De la falsedad ( p → q )  ( r → s ) , se deduce que el valor de verdad de los esquemas son:
a. ( q \ s ) p  → ( p  r )
b. ( r  s)  ( p → q)
c. p →  q → ( s → r ) 
d. ( p  s )  ( q  r )  ( p  q )
 

8. Sean p, q, r, s proposiciones. Si  p  q   ( r → p )  s  , es una proposición falsa, hallar el

valor de verdad de:
a. ( p 
q )  r  →  q  ( s → r )  ( p  q )
b.  ( p → q )  ( r  p ) → ( r  s ) s
9. Si el esquema  
( p  r ) → q   ( p  q ) s  → ( sp ) → t tiene valor de verdad, falso,
hallar el valor de verdad de los esquemas.
a. ( pq ) r  →  ( q → ( s → p ))  ( pq )
b.  ( p → q )  ( r  p ) → ( r  s ) t
c. ( p  q )  t   q → ( s → p )  ( r q)

d.  ( p → q )  ( r  p ) → ( r s )  ( t r)
10. En la proposición lógica: “Thales de Mileto fue matemático tal como filódofo”. Calvino fue
protestante si y solamente si no se sometió a la ortodoxia católica. En consecuencia Thales fue
matemático salvo que Calvino fue protestante. El número de operadores lógicos diferentes es:

José Luis Farro Quesquén 3

11. Dada la proposición
p *q = ( p → q)  ( q  p)
p # q = ( p  q)  ( q → p)

Evalúa la fórmula (
 p * q )  ( q  r )  → ( p # q)

12. Establecer si es tautología, contradicción o contingencia las siguientes proposiciones:

a. ( r  q )  ( q  p )  ( p → r )  ( q  p )
   
b. ( p q )  ( r  q )   ( r  q ) → ( p \ r ) 

c. ( p q )  ( r  q )  ( p q ) → ( q  r )
 
d.
( p → q) → [( p q) → ( p  q)]
 r  ( q \ p )   ( qr )  (p→ r ) 
e.
f.
[( p  q)  ( p → r )] → ( q  p)

g. ( p  q )  ( q  p )  ( p  q )  ( q \ p )

( p q )  ( r  q )   ( p → q ) → ( q \ r ) 
h.
( p \ q )  ( q  r )  \  ( p r )  ( q → r ) 
i.
j.
[( p  q)  r ] → [(r  p) q]
( p  q )  ( q  q )  ( p q )  p 
k.  
13. Verificar si las proposiciones dadas son tautológica, contingente o contradicción:
a. ( 
p  r ) → q    q  ( p  r )  ( p  q )  ( q r )
b. ( p q)  ( r  q )  ( p q ) → ( q  r ) 

c. ( p  r ) → q    q  ( p \ r )   ( p  q )  ( q  r )
d. ( 
p  r ) → q    q  ( p  r )  ( p  q )  ( q r)
14. Si definimos
p # q =  ( p  q ) → p 
p q = ( p  q )  ( q → p ) 

Evaluar la tabla de verdad de las siguientes proposiciones

a. ( p # q ) → p   ( p # q)
b. ( p q ) # p  # ( p q)

José Luis Farro Quesquén 4