UNIVERSIDAD NACIONAL DE CAJAMARCA

UNIDAD I: LÓGICA PROPOSICIONAL

SESIÓN 02: FORMALIZACIÓN
Apellidos y Nombres: Tasilla Tanta, Cinthia del Pilar
Identificando las proposiciones simples y conectores lógicos formaliza las siguientes
proposiciones lógicas.
1) No es verdad que haya un profesor calvo en la UNC.

∼p

2) Es innegablemente falso que varios elementos químicos son gaseosos.

∼p

3) El sodio, el oxígeno y el agua reaccionan para formar soda cáustica.

4) Trujillo está ubicado entre Chiclayo y Chimbote.

5) Si Willy ingresa a la UNT entonces será profesional.

p→q

6) O es tarde o está muy oscuro.

p△q

7) Esta noche iremos a la fiesta y no al cine.

p∧∼q

8) Los que compren diez discos tienen un derecho a un descuento del 10% o un
vale por otro monto equivalente para otra compra.

p△q

9) Ni todo texto literario es ficcional, ni todo texto ficcional es literario.

p↓q
10) Dado que los precios suben luego la demanda baja.

p ← q

11) Las calles se están mojando porque está lloviendo.

p ← q

12) Vas de compras cada vez que recibas tu sueldo.

p ← q

13) Obtener ganancias es necesario para poder invertir.

p ← q

14) Es suficiente, para aprender la lección, estar bien motivado.

p ← q

15) Trabajar diariamente es suficiente, para tener dinero.

p→q

16) Hoy es sábado dado que ayer fue viernes.

p ← q

17) Sólo si existe oferta, habrá demanda.

p ← q

18) Los cuerpos se dilatan cuando y solo cuando están sometidos al calor.

p↔q

19) No es el caso que llueva o haga viento, cuando ha terminado el invierno.

20) Castañeda fue contrincante de Toledo porque ambos eran candidatos a la

presidencia de la República.

p ← q
21) Diego no fuma si hace deporte y ahorra dinero si no fuma.

∼p

22) Percy es un jugador de ajedrez porque y sólo porque domina la deducción

lógica, sin embargo, ha perdido el campeonato.

(p ↔ q) ∧ r

23) Es imposible que, Andrés cometiera el crimen a no ser que lo hizo por
despecho. Sin embargo, nunca tuvo problemas con su esposa dado que ella
fue una mujer inteligente.

∼ [(p ← q) ∧ (r ← s) ]

24) La conjuntivitis no es una anomalía de la visión, sin embargo, la miopía si lo es.

∼p ∧ q

25) Es falso que Juan no sepa jugar ajedrez y que además no sepa jugar básquet,
puesto que es alumno del colegio Claretiano.

∼[( ∼p ∧ ∼q) ← r ]

26) Si no se puede probar la existencia de Sócrates, éste sólo fue un personaje de

Platón.

∼p

27) Si Pablo no atiende en clase o no estudia en casa, fracasará en los exámenes

y no será aplaudido.

(~𝑝  ~𝑞) → (𝑟 ⋀~ s)

28) La lógica es una ciencia formal, tiene aplicaciones prácticas, no obstante, la

lógica no estudia el contenido del pensamiento, tampoco estudia los valores.

29) Estar tranquilo es condición necesaria para rendir un buen examen. Pero saber
es condición suficiente para ingresar.
 30) Es mentira que la inflación sea un indicador de pobreza a menos que ésta sea
equivalente a un indicador poblacional.

31) Porque la luz tiene naturaleza dual, se transmite en el vacío. Sin embargo, el
sonido no se transmite en el vacío porque tiene naturaleza ondulatoria.

32) Si el oro no es un metal, por tanto es metal electropositivo; porque cuando un

elemento no es metal tiene entonces carga positiva.

33) Si es falso que, no trabajé ni estudié, es obvio que no seguiré una carrera
profesional.

34) Es falso que Carolina no sepa tocar el piano y que, además, no componga
melodías, puesto que es egresada del Instituto Nacional de Cultura.

35) Si es falso que la lógica y la matemática sean ciencias formales, ni la lógica ni

la matemática utilizan la inducción para demostrar sus principios.

EJERCICIOS DE APLICACIÓN
Simbolizar:
1) Perú y Ecuador son países fronterizos y tropicales.

2) Pedro no es ni Congresista ni político.

3) No ocurre que ni Abel es contador ni Andrés es abogado. Abel es casado y/o

Andrés es soltero.
4) Sandra y Laura celebraron su despedida de soltera y se casaron. Además las dos
viajaron a
Europa.
5) El Perú saldrá del subdesarrollo cuando tenga una política de inclusión social y de
estabilidad
monetaria.
6) Amenos que tenga dinero ,volaré a Francia o Italia. Pero no tengo dinero.
De allí que viajaré a Brasil.
7) Ni es falso que estudio cuando trabajo ni es cierto que sea suficiente para que
trabaje que no estudie.