1) ¿Cuáles de las siguientes frases son proposiciones?

¿Cuál es el valor de verdad de

aquellas que son proposiciones?

 Cali es la capital de Colombia.

(Es una proposición y su valor es falso)

 Buenos Aires es la capital de Argentina.

(Es una proposición y su valor es verdadero)

 2+3=5.

(Es una proposición y su valor es verdadero)

 ¿qué día es hoy?

(No es una proposición)

2) ¿Cuál es la negación de cada uno de los siguientes enunciados?

 Hoy es jueves.

(Hoy no es jueves.)

 No hay polución en Bogotá.

(Hay polución es Bogotá.)

 2+1=3.

(2+1≠3)

 El verano de Villavicencio es cálido y soleado.

(El verano de Villavicencio no es cálido ni soleado)

3) Sean p y q los enunciados

p: “Está permitido nadar en la costa de Cartagena”

q: “Se han divisado tiburones cerca de la costa”

 Exprese cada una de las siguientes proposiciones en lenguaje natural.

a) q

No se han divisado tiburones cerca de la costa.

b) p ∧ q

No está permitido nadar en la costa de Cartagena y se han divisado tiburones cerca de la

costa.

c) p ∧ q

Está permitido nadar en la costa de Cartagena y se han divisado tiburones cerca de la costa.

d) p ∨ q

No está permitido nadar en la costa de Cartagena o se han divisado tiburones cerca de la

costa.

4) Sean p y q los enunciados

p: “Estamos bajo cero”

q: “Nieva”

Escriba los siguientes enunciados utilizando p, q y conectivos lógicos:

a) Estamos bajo cero y nieva.

(p ∧ q)

b) Estamos bajo cero, pero no nieva.

(p ∧q)

c) No estamos bajo cero y no nieva.

(p ∧ q)

d) Bien estamos bajo cero o bien nieva (o ambas cosas).

 (p ∨ q) ∨ (p ∧ q)

5) Sean p y q los enunciados

p: “Conduces a más de100 Km/h”

q: “Te multan por exceso de velocidad”

Escriba los siguientes enunciados utilizando p, q y conectivos lógicos:

a) No conduces a más de 100 Km/h.

(p)

b) Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad.

(p ∧q)

c)Te multarán por exceso de velocidad si conduces a más de 100 Km/h.

(q ↔p)

d) Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad.

(p → q)

e) Conducir a más de 100 Km/h es suficiente para que te multen por exceso de velocidad.

(p → q)

6) Sean p, q y r los enunciados:

p: “Se han visto osos pardos por la zona”

q: “Es seguro caminar por el sendero”

r: “Las bayas del sendero están seguras”.

Exprese los siguientes enunciados utilizando p, q, r y conectivos lógicos:

a) Las bayas del sendero están seguras, pero no se han visto osos pardos por la zona.

(r ∧  p)
 b) No se han visto osos pardos por la zona y es seguro caminar por el sendero, pero las

bayas del sendero están seguras.

( p ∧ q ) ∧ r

c) Si las bayas del sendero están seguras, es seguro caminar por el sendero si, y sólo si, no

se han visto osos pardos por la zona.

( r→ q) ↔  p)

7) Escriba cada uno de los siguientes enunciados en la forma “si p, entonces q”.

a) Nieva siempre que el viento sopla del noreste.

Si el viento sopla del noreste entonces nieva.

b) El manzano florecerá si el tiempo se mantiene cálido durante una semana.

Si el tiempo se mantiene cálido durante una semana, entonces el manzano

florecerá.

c) Que el Real Madrid gane el campeonato implica que venció al Barcelona.

Si el Real Madrid gana el campeonato, entonces venció al Barcelona.

8) Escriba cada uno de los siguientes enunciados en la forma “p si, y sólo si q”

a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor

afuera.

Hace calor afuera si y sólo si te compras un helado.

b) Para ganar la rifa es necesario y suficiente tener el número ganador.

Ganas la rifa si y sólo si tienes el número ganador.

 c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si asciendes.

Ascenderás si y solo si tienes contactos.

9) Enuncie la recíproca, la contrarrecíproca y la inversa de cada uno de los siguientes

condicionales.

a) Si un entero es par, entonces es divisible por 2.

Reciproca: si es divisible por 2 entonces, es un entero par.

Inversa: si un entero no es par, entonces no es divisible por 2.

Contrarrecíproca: si no es divisible por 2, entonces no es un entero par.

b) Voy a clases siempre que vaya a haber un control.

Reciproca: si voy a clases entonces va a haber un control

Inversa: si no va a haber un control entonces no voy a clases.

Contrarrecíproca: si no voy a clases entonces no va a haber un control.

c) Cuando me acuesto tarde, es necesario que duerma hasta el mediodía.

Recíproca: es necesario que duerma hasta el medio día, cuando me acuesto tarde.

Inversa: cuando no me acuesto tarde, no es necesario que duerma hasta el medio

día.

Contrarrecíproca: no es necesario que duerma hasta el medio día, cuando no me

acuesto tarde.

d) Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él

mismo.

Recíproca: si no tiene otros divisores distintos de 1 y él mismo entonces un

entero positivo es primo.

 Contrarrecíproca: si tiene otros divisores distintos de 1 y él mismo entonces un

entero positivo no es primo.

Inversa: un entero positivo no es primo si tiene otros divisores distintos de 1 y él

mismo.

10) Construir la tabla de verdad para:

a) p → q  ( q →  p)

p Q p q p→q ( q →  p) p → q  ( q →  p)

V V F F V V V

V F F V F F V

F V V F V V V

F F V V V V V

b) r  s→ q  (s   q)→  r

q r s q r rs r  s→ q sq (s   q)→ r r  s→ q  (s   q)→  r

V V V F F V V F V V

V V F F F F V F V V

V F V F V F V F V V

V F F F V F V F V V

F V V V F V F V F V
F V F V F F V F V V

F F V V V F V V V V

F F F V V F V F V V

c) p → (q → r)

p q r p q→r p → (q → r)

V V V F V V

V V F F F V

V F V F V V

V F F F V V

F V V V V V

F V F V F F

F F V V V V

F F F V V V

11) Utilizando el modus ponendus ponens, llegue a la conclusión C.

a) 𝒑𝟏 : Si hoy es domingo, entonces hay futbol

𝒑𝟐 : Hoy es domingo.

C: Hay futbol.
 b) 𝒑𝟏 : Si x es un número par, entonces 𝑥 2 es par.

𝒑𝟐 : x es un número par.

C: 𝑥 2 es par

c) 𝒑𝟏 : − p →q  s

𝒑𝟐 : − p.

C: q  s

12) Utilizando el modus tollendo tollens, llegue a la conclusión C.

a) 𝒑𝟏 : Si estoy preparado profesionalmente, entonces triunfaré en mis negocios.

𝒑𝟐 : Fracasé en los negocios.

C: No estoy preparado profesionalmente.

b) 𝒑𝟏 : S → t

𝒑𝟐 : (t)

C: S

C) 𝑷𝟏 : p  q →  r

𝑷𝟐 ∶ (r)

C:  ( p  q )

13) Traduzca de dos formas cada una de las siguientes frases a expresiones lógicas utilizando

funciones proposicionales, cuantificadores y conectivos lógicos. En primer lugar, el

dominio consistirá en los estudiantes de tu clase y, en segundo lugar, será el conjunto de

todas las personas.

  Para los siguientes ejercicios x pertenece a los alumnos de la clase, e y pertenece a

todas las personas.

𝑥 ∈ (𝑎𝑙𝑢𝑚𝑛𝑜𝑠 𝑑𝑒 𝑙𝑎 𝑐𝑙𝑎𝑠𝑒), 𝑦 ∈ (𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑝𝑒𝑟𝑠𝑜𝑛𝑎𝑠)

a) Alguien de tu clase habla inglés.

𝐼 = ℎ𝑎𝑏𝑙𝑎 𝑖𝑛𝑔𝑙𝑒𝑠 ⟹ ∃𝑥 → 𝐼𝑥

∃𝑦 → 𝐼

b) Todos en tu clase son amigables.

𝐴 = 𝑎𝑚𝑖𝑔𝑎𝑏𝑙𝑒𝑠 ⟹ ∀𝑥 → 𝐴𝑥

∀𝑦 → 𝐴

c) Hay una persona en tu clase que no nació en Bogotá.

𝐵 = 𝑛𝑎𝑐𝑖𝑜 𝑒𝑛 𝐵𝑜𝑔𝑜𝑡𝑎 ⟹ ∃𝑥 → 𝐵𝑥

∃𝑦 → 𝐵𝑦

d) Un estudiante de tu clase ha visto una película.

𝑃 = 𝑉𝑖𝑠𝑡𝑜 𝑢𝑛𝑎 𝑝𝑒𝑙𝑖𝑐𝑢𝑙𝑎 ⟹ ∃𝑥 → 𝑃𝑥

∃𝑦 → 𝑃𝑦

14) Traduzca cada una de las siguientes frases a expresiones lógicas utilizando funciones

proposicionales, cuantificadores y conectivos lógicos. El dominio es el conjunto de todas

las personas.

 Para los siguientes ejercicios x pertenece a todas las personas.

𝑥 ∈ (𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑝𝑒𝑟𝑠𝑜𝑛𝑎𝑠), 𝑦 ∈ (𝑎𝑚𝑖𝑔𝑜𝑠), 𝑃 = 𝑒𝑠 𝑝𝑒𝑟𝑓𝑒𝑐𝑡𝑜

a) Nadie es perfecto.
 ∀𝑥 → ¬p𝑥

b) No todo el mundo es perfecto.

¬∀𝑥 → p

c) Todos tus amigos son perfectos.

∀𝑦 → py

d) Cada uno de tus amigos es perfecto.

∀𝑦 → p

15) Traduzca cada una de las siguientes frases a expresiones lógicas de tres formas

diferentes, variando el dominio y utilizando funciones proposicionales con una y con dos

variables.

a) Un estudiante de tu universidad ha vivido en Cali.

𝑥 ∈ (𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑈𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑),

𝐶𝑥 = 𝑣𝑖𝑣𝑖ó 𝑒𝑛 𝑐𝑎𝑙𝑖,

𝐵𝑥 = 𝑣𝑖𝑣𝑖ó 𝑒𝑛 𝐵𝑜𝑔𝑜𝑡á

 𝐶𝑥 ∧ 𝐵𝑥

 ∃𝑥 (𝐶𝑥 ∧ 𝐵𝑥)

 ¬∀𝑥(𝐶𝑥 ∧ 𝐵𝑥)

b) Hay un estudiante de tu escuela que no habla ruso.

x ∈ (estudiantes de la escuela)

Rx = habla ruso

Ix = habla inglés
  ¬ Rx ∧ Ix

 ∃x (¬Rx ∧ Ix)

 ¬∀x(Cx ∧ ¬Ix)

c) Un estudiante de tu escuela sabe Java, Prolog y C++

x ∈ (estudiantes de la escuela),

Jx= sabe Java,

Px = sabe Prolog,

Cx = sabe C++

 Jx ∧ Px ∧ Cx

 ∃ x( Jx ∧ Px ∧ Cx )

 ¬∀ x ( ¬Jx ∧ ¬Px ∧ ¬Cx )